Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. - Shang-Ching Chou; Xiao-Shan Gao (CADE, 1990)

Methods for Mechanical Geometry Formula Deriving. - Shang-Ching Chou; Xiao-Shan Gao (ISSAC, 1990)

Transcendental Functions and Mechanical Theorem Proving in Elemantary Geometries. - Xiao-Shan Gao (J. Autom. Reason., 1990)

Computations with Parametric Equations. - Xiao-Shan Gao; Shang-Ching Chou (ISSAC, 1991)

On the normal parametrization of curves and surfaces. - Xiao-Shan Gao; Shang-Ching Chou (Int. J. Comput. Geom. Appl., 1991)

Proving Geometry Statements of Constructive Type. - Shang-Ching Chou; Xiao-Shan Gao (CADE, 1992)

Solving Parametric Algebraic Systems. - Xiao-Shan Gao; Shang-Ching Chou (ISSAC, 1992)

Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. - Shang-Ching Chou; Xiao-Shan Gao (IWAR, 1992)

An Introduction to Wu's Method of Mechanical Geometry Theorem Proving. - Xiao-Shan Gao (IWAR, 1992)

On the Parameterization of Algebraic Curves. - Xiao-Shan Gao; Shang-Ching Chou (Appl. Algebra Eng. Commun. Comput., 1992)

Implicitization of Rational Parametric Equations. - Xiao-Shan Gao; Shang-Ching Chou (J. Symb. Comput., 1992)

Automated Geometry Theorem Proving by Vector Calculation. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (ISSAC, 1993)

Automated Production of Traditional Proofs for Constructive Geometry Theorems - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (LICS, 1993)

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of Ritt-Wu's Decomposition Algorithm. - Shang-Ching Chou; Xiao-Shan Gao (J. Autom. Reason., 1993)

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving. - Shang-Ching Chou; Xiao-Shan Gao (J. Autom. Reason., 1993)

A Zero Structure Theorem for Differential Parametric Systems. - Xiao-Shan Gao; Shang-Ching Chou (J. Symb. Comput., 1993)

Machine proofs in geometry - automated production of readable proofs for geometry theorems. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (World Scientific, 1994)

Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. - Nicholas Freitag McPhee; Shang-Ching Chou; Xiao-Shan Gao (CADE, 1994)

Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. - Jing-Zhong Zhang; Shang-Ching Chou; Xiao-Shan Gao (Ann. Math. Artif. Intell., 1995)

Automated Production of Traditional Proofs in Solid Geometry. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (J. Autom. Reason., 1995)

Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. - Lu Yang; Xiao-Shan Gao; Shang-Ching Chou; Jing-Zhong Zhang (Automated Deduction in Geometry, 1996)

An Introduction to Geometry Expert. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (CADE, 1996)

Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. - Shang-Ching Chou; Xiao-Shan Gao (J. Autom. Reason., 1996)

Automated Generation of Readable Proofs with Geometric Invariants. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (J. Autom. Reason., 1996)

Automated Geometry Diagram Construction and Engineering Geometry. - Xiao-Shan Gao (Automated Deduction in Geometry, 1998)

Solving geometric constraint systems. I. A global propagation approach. - Xiao-Shan Gao; Shang-Ching Chou (Comput. Aided Des., 1998)

Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility. - Xiao-Shan Gao; Shang-Ching Chou (Comput. Aided Des., 1998)

Geometric constraint satisfaction using optimization methods. - Jian-Xin Ge; Shang-Ching Chou; Xiao-Shan Gao (Comput. Aided Des., 1999)

Automated generation of Kempe linkage and its complexity. - Xiao-Shan Gao; Changcai Zhu (J. Comput. Sci. Technol., 1999)

A Hybrid Method for Solving Geometric Constraint Problems. - Xiao-Shan Gao; Lei-Dong Huang; Kun Jiang (Automated Deduction in Geometry, 2000)

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. - Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang (J. Autom. Reason., 2000)

Automated Reasoning in Geometry. - Shang-Ching Chou; Xiao-Shan Gao (Handbook of Automated Reasoning, 2001)

Geometric constraint solving with geometric transformation. - Xiao-Shan Gao; Lei-Dong Huang; Kun Jiang (Sci. China Ser. F Inf. Sci., 2001)

New Algorithms for the Perspective-Three-Point Problem. - Xiao-Shan Gao; Hangfei Chen (J. Comput. Sci. Technol., 2001)

MMP/Geometer - A Software Package for Automated Geometric Reasoning. - Xiao-Shan Gao; Qiang Lin (Automated Deduction in Geometry, 2002)

Construct Piecewise Hermite Interpolation Surface with Blending Methods. - Xiao-Shan Gao; Ming Li 017 (GMP, 2002)

Geometric constraint solving with conics and linkages. - Xiao-Shan Gao; Kun Jiang; Chang-Cai Zhu (Comput. Aided Des., 2002)

Geometric constraint solving via C-tree decomposition. - Xiao-Shan Gao; Gui-Fang Zhang (Symposium on Solid Modeling and Applications, 2003)

Classification and Solving of Merge Patterns in Geometric Constraint Solving. - Xiao-Shan Gao; Gui-Fang Zhang (Shape Modeling International, 2003)

Polynomial solutions for first order ODEs with constant coefficients. - Ruyong Feng; Xiao-Shan Gao (SIGSAM Bull., 2003)

Implicitization of differential rational parametric equations. - Xiao-Shan Gao (J. Symb. Comput., 2003)

Complete Solution Classification for the Perspective-Three-Point Problem. - Xiao-Shan Gao; Xiaorong Hou; Jianliang Tang; Hang-Fei Cheng (IEEE Trans. Pattern Anal. Mach. Intell., 2003)

Planar Generalized Stewart Platforms and Their Direct Kinematics. - Gui-Fang Zhang; Xiao-Shan Gao (Automated Deduction in Geometry, 2004)

Polynomial General Solutions for First Order Autonomous ODEs. - Ruyong Feng; Xiao-Shan Gao (IWMM/GIAE, 2004)

Rational Quadratic Approximation to Real Plane Algebraic Curves. - Xiao-Shan Gao; Ming Li 017 (GMP, 2004)

Rational general solutions of algebraic ordinary differential equations. - Ruyong Feng; Xiao-Shan Gao (ISSAC, 2004)

Decomposition of differential polynomials with constant coefficients. - Xiao-Shan Gao; Mingbo Zhang (ISSAC, 2004)

A Hybrid Genetic Algorithm Based on Simulated Annealing and Applications to Optimization and SAT Problems. - Xinchao Zhao; Xiao-Shan Gao (SNPD, 2004)

Solving spatial basic geometric constraint configurations with locus intersection. - Xiao-Shan Gao; Christoph M. Hoffmann; Wei-Qiang Yang (Comput. Aided Des., 2004)

Rational quadratic approximation to real algebraic curves. - Xiao-Shan Gao; Ming Li 017 (Comput. Aided Geom. Des., 2004)

An algorithm for solving partial differential parametric systems. - Jimin Wang; Xiao-Shan Gao (Discret. Appl. Math., 2004)

Editorial. - Arjeh M. Cohen; Xiao-Shan Gao; Nobuki Takayama (J. Symb. Comput., 2004)

Determining the Topology of Real Algebraic Surfaces. - Jin-San Cheng; Xiao-Shan Gao; Ming Li 017 (IMA Conference on the Mathematics of Surfaces, 2005)

Algebraic general solutions of algebraic ordinary differential equations. - J. M. Aroca; J. Cano; Ruyong Feng; Xiao-Shan Gao (ISSAC, 2005)

Intrinsic topological representation of real algebraic surfaces. - Jin-San Cheng; Xiao-Shan Gao; Ming Li 017 (SIGSAM Bull., 2005)

2D and 3D generalized Stewart Platforms. - Xiao-Shan Gao; Gui-Fang Zhang (SIGSAM Bull., 2005)

Generating Symbolic Interpolants for Scattered Data with Normal Vectors. - Ming Li 017; Xiao-Shan Gao; Jin-San Cheng (J. Comput. Sci. Technol., 2005)

Generalized Stewart-Gough platforms and their direct kinematics. - Xiao-Shan Gao; Deli Lei; Qizheng Liao; Gui-Fang Zhang (IEEE Trans. Robotics, 2005)

Decomposition of Differential Polynomials. - Xiao-Shan Gao; Mingbo Zhang (Challenges in Symbolic Computation Software, 2006)

Resolvent systems of difference polynomial ideals. - Xiao-Shan Gao; Chun-Ming Yuan (ISSAC, 2006)

Editorial message: technical track on geometric computing and reasoning. - Xiao-Shan Gao; Dominique Michelucci; Pascal Schreck (SAC, 2006)

Spatial geometric constraint solving based on k-connected graph decomposition. - Gui-Fang Zhang; Xiao-Shan Gao (SAC, 2006)

A C-tree decomposition algorithm for 2D and 3D geometric constraint solving. - Xiao-Shan Gao; Qiang Lin; Gui-Fang Zhang (Comput. Aided Des., 2006)

Inherently improper surface parametric supports. - Eng-Wee Chionh; Xiao-Shan Gao; Liyong Shen (Comput. Aided Geom. Des., 2006)

Wen-Tsun Wu's academic career. - Xiao-Shan Gao (ACM Commun. Comput. Algebra, 2006)

Guest Editors' Foreword. - Xiao-Shan Gao; Dominique Michelucci (Int. J. Comput. Geom. Appl., 2006)

Well-constrained Completion and Decomposition for under-constrained Geometric Constraint Problems. - Gui-Fang Zhang; Xiao-Shan Gao (Int. J. Comput. Geom. Appl., 2006)

Automated Reasoning and Equation Solving with the Characteristic Set Method. - Wen-tsun Wu; Xiao-Shan Gao (J. Comput. Sci. Technol., 2006)

On the Probability of the Number of Solutions for the P4P Problem. - Xiao-Shan Gao; Jianliang Tang (J. Math. Imaging Vis., 2006)

The Proper Parametrization of a Special Class of Rational Parametric Equations. - Jia Li 023; Xiao-Shan Gao (J. Syst. Sci. Complex., 2006)

A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs. - Ruyong Feng; Xiao-Shan Gao (J. Symb. Comput., 2006)

Quadratic approximation to plane parametric curves and its application in approximate implicitization. - Ming Li 017; Xiao-Shan Gao; Shang-Ching Chou (Vis. Comput., 2006)

A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals. - Jia Li 023; Xiao-Shan Gao (ASCM, 2007)

Properties of Ascending Chains for Partial Difference Polynomial Systems. - Gui-Lin Zhang; Xiao-Shan Gao (ASCM, 2007)

Complete numerical isolation of real zeros in zero-dimensional triangular systems. - Jin-San Cheng; Xiao-Shan Gao; Chee-Keng Yap (ISSAC, 2007)

Evolutionary programming based on non-uniform mutation. - Xinchao Zhao; Xiao-Shan Gao; Ze-Chun Hu (Appl. Math. Comput., 2007)

Mathematics mechanization and applications after thirty years. - Wenjun Wu 003; Xiao-Shan Gao (Frontiers Comput. Sci. China, 2007)

Affinity genetic algorithm. - Xinchao Zhao; Xiao-Shan Gao (J. Heuristics, 2007)

An Introduction to Java Geometry Expert - (Extended Abstract). - Zheng Ye; Shang-Ching Chou; Xiao-Shan Gao (Automated Deduction in Geometry, 2008)

Special track on Geometric Constraints and Reasoning: editorial message. - Xiao-Shan Gao; Dominique Michelucci; Pascal Schreck (SAC, 2008)

Decomposition of ordinary differential polynomials. - Xiao-Shan Gao; Mingbo Zhang (Appl. Algebra Eng. Commun. Comput., 2008)

A characteristic set method for equation solving over finite fields. - Xiao-Shan Gao; Zhenyu Huang 004 (ACM Commun. Comput. Algebra, 2008)

AI in China: A Survey. - Xiao-Shan Gao; Dantong Ouyang; Ji-gui Sun; Sanjiang Li; Tian-shun Yao; Ruzhan Lu; Chun-Yi Shi; Zhangang Han; Jue Wang 004; Cun-gen Cao 001; Ruqian Lu (IEEE Intell. Syst., 2008)

Proper Reparametrization of Rational Ruled Surface. - Jia Li 023; Liyong Shen; Xiao-Shan Gao (J. Comput. Sci. Technol., 2008)

A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers. - Fengjuan Chai; Xiao-Shan Gao; Chun-Ming Yuan (J. Syst. Sci. Complex., 2008)

Rational solutions of ordinary difference equations. - Ruyong Feng; Xiao-Shan Gao; Zhenyu Huang 004 (J. Symb. Comput., 2008)

Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection. - Li Han; Xiao-Shan Gao; Hongbo Li 012; Lixian Zhang; Jie Liu (CAD/Graphics, 2009)

Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. - Jin-San Cheng; Xiao-Shan Gao; Jia Li 023 (CASC, 2009)

Root isolation for bivariate polynomial systems with local generic position method. - Jin-San Cheng; Xiao-Shan Gao; Jia Li 023 (ISSAC, 2009)

Topology determination and isolation for implicit plane curves. - Jin-San Cheng; Xiao-Shan Gao; Jia Li 023 (SAC, 2009)

Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities - Jin-San Cheng; Xiao-Shan Gao; Jia Li 023 (CoRR, 2009)

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers. - Xiao-Shan Gao; Zhenyu Huang 004 (IACR Cryptol. ePrint Arch., 2009)

A criterion for testing whether a difference ideal is prime. - Chun-Ming Yuan; Xiao-Shan Gao (J. Syst. Sci. Complex., 2009)

Complete numerical isolation of real roots in zero-dimensional triangular systems. - Jin-San Cheng; Xiao-Shan Gao; Chee-Keng Yap (J. Symb. Comput., 2009)

Characteristic set method for differential-difference polynomial systems. - Xiao-Shan Gao; Joris van der Hoeven; Chun-Ming Yuan; Gui-Lin Zhang (J. Symb. Comput., 2009)

A characteristic set method for ordinary difference polynomial systems. - Xiao-Shan Gao; Yong Luo; Chun-Ming Yuan (J. Symb. Comput., 2009)

Decomposition of ordinary difference polynomials. - Mingbo Zhang; Xiao-Shan Gao (J. Symb. Comput., 2009)

Minimal achievable approximation ratio for MAX-MQ in finite fields. - Shang-Wei Zhao; Xiao-Shan Gao (Theor. Comput. Sci., 2009)

Articulation-constrained Skeleton Extraction. - Li Han; Xiao-Shan Gao (IPCV, 2010)

Intersection Theory for Generic Differential Polynomials and Differential Chow Form - Xiao-Shan Gao; Wei Li 056; Chun-Ming Yuan (CoRR, 2010)

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis - Xiao-Shan Gao; Zhenyu Huang 004 (CoRR, 2010)

Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input Method. - Zheng Ye; Shang-Ching Chou; Xiao-Shan Gao (J. Autom. Reason., 2010)

Visually Dynamic Presentation of Proofs in Plane Geometry - Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method. - Zheng Ye; Shang-Ching Chou; Xiao-Shan Gao (J. Autom. Reason., 2010)

Sparse differential resultant. - Wei Li 056; Xiao-Shan Gao; Chun-Ming Yuan (ISSAC, 2011)

Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines. - Mei Zhang; Wei Yan; Chun-Ming Yuan; Dingkang Wang; Xiao-Shan Gao (Sci. China Inf. Sci., 2011)

Differential Chow Form for Projective Differential Variety - Wei Li 056; Xiao-Shan Gao (CoRR, 2011)

Proper reparametrization for inherently improper unirational varieties. - Liyong Shen; Eng-Wee Chionh; Xiao-Shan Gao; Jia Li 023 (J. Syst. Sci. Complex., 2011)

Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials. - Zhi-Yong Zhang; Chun-Ming Yuan; Xiao-Shan Gao (ASCM, 2012)

Editorial message. - Xiao-Shan Gao; Christoph M. Hoffmann; Robert Joan-Arinyo (Comput. Aided Geom. Des., 2012)

Certified approximation of parametric space curves with cubic B-spline curves. - Liyong Shen; Chun-Ming Yuan; Xiao-Shan Gao (Comput. Aided Geom. Des., 2012)

Special issue on geometric constraints and reasoning. - Xiao-Shan Gao; Robert Joan-Arinyo; Dominique Michelucci (Comput. Geom., 2012)

Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method - Jin-San Cheng; Kai Jin; Xiao-Shan Gao; Daniel Lazard (CoRR, 2012)

Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials - Zhi-Yong Zhang; Chun-Ming Yuan; Xiao-Shan Gao (CoRR, 2012)

On functional decomposition of multivariate polynomials with differentiation and homogenization. - Shang-Wei Zhao; Ruyong Feng; Xiao-Shan Gao (J. Syst. Sci. Complex., 2012)

Root isolation of zero-dimensional polynomial systems with linear univariate representation. - Jin-San Cheng; Xiao-Shan Gao; Leilei Guo (J. Symb. Comput., 2012)

Characteristic set algorithms for equation solving in finite fields. - Xiao-Shan Gao; Zhenyu Huang 004 (J. Symb. Comput., 2012)

Preface. - Xiao-Shan Gao; Deepak Kapur (J. Symb. Comput., 2012)

A brief introduction to Wen-Tsun Wu's academic career. - Xiao-Shan Gao; Deepak Kapur (J. Symb. Comput., 2012)

Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations. - Hongbo Li 012; Xiao-Shan Gao; Lixian Zhang; Ruiyong Sun (Math. Comput. Sci., 2012)

Practical smooth minimum time trajectory planning for path following robotic manipulators. - Qiang Zhang; Shurong Li; Xiao-Shan Gao (ACC, 2013)

Efficient time-optimal feedrate planning under dynamic constraints for a high-order CNC servo system. - Jian-Xin Guo; Ke Zhang; Qiang Zhang; Xiao-Shan Gao (Comput. Aided Des., 2013)

Tracking error reduction in CNC machining by reshaping the kinematic trajectory. - Jian-Xin Guo; Qiang Zhang; Xiao-Shan Gao (J. Syst. Sci. Complex., 2013)

Binomial Difference Ideal and Toric Difference Variety. - Xiao-Shan Gao; Zhang Huang; Chun-Ming Yuan (CoRR, 2014)

Multiplicity-preserving triangular set decomposition of two polynomials. - Jin-San Cheng; Xiao-Shan Gao (J. Syst. Sci. Complex., 2014)

On the Topology and Visualization of Plane Algebraic Curves. - Kai Jin; Jin-San Cheng; Xiao-Shan Gao (CASC, 2015)

Curve fitting and optimal interpolation for CNC machining under confined error using quadratic B-splines. - Zhengyuan Yang; Liyong Shen; Chun-Ming Yuan; Xiao-Shan Gao (Comput. Aided Des., 2015)

Binomial difference ideal and toric difference variety. - Xiao-Shan Gao (ACM Commun. Comput. Algebra, 2015)

Sparse Differential Resultant for Laurent Differential Polynomials. - Wei Li 056; Chun-Ming Yuan; Xiao-Shan Gao (Found. Comput. Math., 2015)

Tractable Algorithm for Robust Time-Optimal Trajectory Planning of Robotic Manipulators under Confined Torque. - Qiang Zhang; Shurong Li; Jian-Xin Guo; Xiao-Shan Gao (Int. J. Comput. Commun. Control, 2015)

Time optimal feedrate generation with confined tracking error based on linear programming. - Jian-Xin Guo; Qiang Zhang; Xiao-Shan Gao; Hongbo Li 012 (J. Syst. Sci. Complex., 2015)

Sparse difference resultant. - Wei Li 056; Chun-Ming Yuan; Xiao-Shan Gao (J. Symb. Comput., 2015)

Practical feedrate optimization for planar high precision contouring. - Qiang Zhang; Xiao-Shan Gao (ICIA, 2016)

Solving Boolean equation systems and applications in cryptanalysis. - Xiao-Shan Gao; Zhenyu Huang 004 (Sci. China Inf. Sci., 2016)

A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x]. - Rui-Juan Jing; Chun-Ming Yuan; Xiao-Shan Gao (CoRR, 2016)

Time-optimal path tracking for robots under dynamics constraints based on convex optimization. - Qiang Zhang; Shurong Li; Jian-Xin Guo; Xiao-Shan Gao (Robotica, 2016)

Characteristic Set Method for Laurent Differential Polynomial Systems. - Youren Hu; Xiao-Shan Gao (CASC, 2017)

Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. - Qiao-Long Huang; Xiao-Shan Gao (CASC, 2017)

Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals. - Yu-Ao Chen; Xiao-Shan Gao (ISSAC, 2017)

Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients. - Qiao-Long Huang; Xiao-Shan Gao (MACIS, 2017)

Wen-Tsun Wu: His Life and Legacy. - Xiao-Shan Gao (ACM Commun. Comput. Algebra, 2017)

Criteria for Finite Difference Groebner Bases of Normal Binomial Difference Ideals. - Yu-Ao Chen; Xiao-Shan Gao (CoRR, 2017)

Faster Deterministic Sparse Interpolation Algorithms for Straight-Line Program Multivariate Polynomials. - Qiao-Long Huang; Xiao-Shan Gao (CoRR, 2017)

Sparse Interpolation of Black-box Multivariate Polynomials using Kronecker Type Substitutions. - Qiao-Long Huang; Xiao-Shan Gao (CoRR, 2017)

Revisit Randomized Kronecker Substitution based Sparse Polynomial Interpolation. - Qiao-Long Huang; Xiao-Shan Gao (CoRR, 2017)

Preface - Special issue to celebrate the 30th anniversary of Journal of Systems Science and Complexity. - Xiao-Shan Gao; Jie Chen; Jun Shao; Shouyang Wang (J. Syst. Sci. Complex., 2017)

Toric difference variety. - Xiao-Shan Gao; Zhang Huang; Jie Wang 037; Chun-Ming Yuan (J. Syst. Sci. Complex., 2017)

A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity. - Wei Zhu; Xiao-Shan Gao (J. Syst. Sci. Complex., 2017)

Binomial difference ideals. - Xiao-Shan Gao; Zhang Huang; Chun-Ming Yuan (J. Symb. Comput., 2017)

An efficient stochastic approach for robust time-optimal trajectory planning of robotic manipulators under limited actuation. - Ming-Yong Zhao; Xiao-Shan Gao; Qiang Zhang (Robotica, 2017)

Quantum Algorithms for Optimization and Polynomial Systems Solving over Finite Fields. - Yu-Ao Chen; Xiao-Shan Gao; Chun-Ming Yuan (CoRR, 2018)

Quantum Algorithms for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems. - Yu-Ao Chen; Xiao-Shan Gao (IACR Cryptol. ePrint Arch., 2018)

Preface. - Xiao-Shan Gao (J. Symb. Comput., 2018)

Revisit Sparse Polynomial Interpolation Based on Randomized Kronecker Substitution. - Qiao-Long Huang; Xiao-Shan Gao (CASC, 2019)

Tropical Differential Groebner Basis. - Youren Hu; Xiao-Shan Gao (CoRR, 2019)

QDNN: DNN with Quantum Neural Network Layers. - Chen Zhao; Xiao-Shan Gao (CoRR, 2019)

Foreword to the Special Issue. - Xiao-Shan Gao; Hongbo Li 012; Dongming Wang 001 (J. Syst. Sci. Complex., 2019)

Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems. - Youren Hu; Xiao-Shan Gao (J. Syst. Sci. Complex., 2019)

A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x]. - Rui-Juan Jing; Chun-Ming Yuan; Xiao-Shan Gao (Theor. Comput. Sci., 2019)

Prove Costa's Entropy Power Inequality and High Order Inequality for Differential Entropy with Semidefinite Programming. - Laigang Guo; Chun-Ming Yuan; Xiao-Shan Gao (CoRR, 2020)

Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs. - Qiao-Long Huang; Xiao-Shan Gao (J. Symb. Comput., 2020)

Lower Bound for Derivatives of Costa's Differential Entropy. - Laigang Guo; Chun-Ming Yuan; Xiao-Shan Gao (ISIT, 2021)

New Developments of Mathematics Mechanization. - Xiao-Shan Gao (ISSAC, 2021)

Analyzing the barren plateau phenomenon in training quantum neural network with the ZX-calculus. - Chen Zhao; Xiao-Shan Gao (CoRR, 2021)

A Generalization of the Concavity of Rényi Entropy Powe. - Laigang Guo; Chun-Ming Yuan; Xiao-Shan Gao (CoRR, 2021)

A Robust Classification-autoencoder to Defend Outliers and Adversaries. - Lijia Yu; Xiao-Shan Gao (CoRR, 2021)

Robust and Information-theoretically Safe Bias Classifier against Adversarial Attacks. - Lijia Yu; Xiao-Shan Gao (CoRR, 2021)

A Generalization of the Concavity of Rényi Entropy Power. - Laigang Guo; Chun-Ming Yuan; Xiao-Shan Gao (Entropy, 2021)

Tropical Differential Gröbner Bases. - Youren Hu; Xiao-Shan Gao (Math. Comput. Sci., 2021)

QDNN: deep neural networks with quantum layers. - Chen Zhao; Xiao-Shan Gao (Quantum Mach. Intell., 2021)

Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus. - Chen Zhao; Xiao-Shan Gao (Quantum, 2021)

Isometric 3D Adversarial Examples in the Physical World. - Yibo Miao; Yinpeng Dong; Jun Zhu 001; Xiao-Shan Gao (NeurIPS, 2022)

Skew-sparse matrix multiplication. - Qiao-Long Huang; Ke Ye; Xiao-Shan Gao (CoRR, 2022)

Achieve Optimal Adversarial Accuracy for Adversarial Deep Learning using Stackelberg Game. - Xiao-Shan Gao; Shuang Liu; Lijia Yu (CoRR, 2022)

Bit Complexity of Polynomial GCD on Sparse Representation. - Qiao-Long Huang; Xiao-Shan Gao (CoRR, 2022)

Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy. - Laigang Guo; Chun-Ming Yuan; Xiao-Shan Gao (Entropy, 2022)

Optimal feedrate planning on a five-axis parametric tool path with global geometric and kinematic constraints. - Hong-Yu Ma; Chun-Ming Yuan; Li-Yong Shen; Xiao-Shan Gao (J. Comput. Des. Eng., 2022)

Quantum Algorithm for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems. - Yu-Ao Chen; Xiao-Shan Gao (J. Syst. Sci. Complex., 2022)

Adversarial Parameter Attack on Deep Neural Networks. - Lijia Yu; Yihan Wang; Xiao-Shan Gao (ICML, 2023)

Restore Translation Using Equivariant Neural Networks. - Yihan Wang; Lijia Yu; Xiao-Shan Gao (ICONIP (8), 2023)

New Sparse Multivariate Polynomial Factorization Algorithms over Integers. - Qiao-Long Huang; Xiao-Shan Gao (ISSAC, 2023)

Improve Robustness and Accuracy of Deep Neural Network with L2,∞ Normalization. - Lijia Yu; Xiao-Shan Gao (J. Syst. Sci. Complex., 2023)

Proving Information Inequalities and Identities With Symbolic Computation. - Laigang Guo; Raymond W. Yeung; Xiao-Shan Gao (IEEE Trans. Inf. Theory, 2023)

Cubic time-spline fitting and interpolation for five-axis CNC machining. - Qin Wu; Chun-Ming Yuan; Li-Yong Shen; Shitao He; Xiao-Shan Gao (J. Comput. Des. Eng., 2023)

Game-Theoretic Unlearnable Example Generator. - Shuang Liu; Yihan Wang; Xiao-Shan Gao (AAAI, 2024)

Detection and Defense of Unlearnable Examples. - Yifan Zhu; Lijia Yu; Xiao-Shan Gao (AAAI, 2024)

Optimal robust Memorization with ReLU Neural Networks. - Lijia Yu; Xiao-Shan Gao; Lijun Zhang (ICLR, 2024)

Efficient Black-box Adversarial Attacks via Bayesian Optimization Guided by a Function Prior. - Shuyu Cheng; Yibo Miao; Yinpeng Dong; Xiao Yang; Xiao-Shan Gao; Jun Zhu 001 (ICML, 2024)

Generalization Bound and New Algorithm for Clean-Label Backdoor Attack. - Lijia Yu; Shuang Liu; Yibo Miao; Xiao-Shan Gao; Lijun Zhang (ICML, 2024)

Toward Availability Attacks in 3D Point Clouds. - Yifan Zhu; Yibo Miao; Yinpeng Dong; Xiao-Shan Gao (ICML, 2024)

Improving Robustness of 3D Point Cloud Recognition from a Fourier Perspective. - Yibo Miao; Yinpeng Dong; Jinlai Zhang; Lijia Yu; Xiao Yang; Xiao-Shan Gao (NeurIPS, 2024)

T2VSafetyBench: Evaluating the Safety of Text-to-Video Generative Models. - Yibo Miao; Yifan Zhu; Lijia Yu; Jun Zhu 001; Xiao-Shan Gao; Yinpeng Dong (NeurIPS, 2024)

Efficient Availability Attacks against Supervised and Contrastive Learning Simultaneously. - Yihan Wang; Yifan Zhu; Xiao-Shan Gao (NeurIPS, 2024)

Generalizablity of Memorization Neural Network. - Lijia Yu; Xiao-Shan Gao; Lijun Zhang; Yibo Miao (NeurIPS, 2024)

Alignment Calibration: Machine Unlearning for Contrastive Learning under Auditing. - Yihan Wang; Yiwei Lu 001; Guojun Zhang; Franziska Boenisch; Adam Dziedzic; Yaoliang Yu; Xiao-Shan Gao (CoRR, 2024)

Generalizability of Memorization Neural Networks. - Lijia Yu; Xiao-Shan Gao; Lijun Zhang; Yibo Miao (CoRR, 2024)

BridgePure: Revealing the Fragility of Black-box Data Protection. - Yihan Wang; Yiwei Lu 001; Xiao-Shan Gao; Gautam Kamath 001; Yaoliang Yu (CoRR, 2024)

Skew-polynomial-sparse matrix multiplication. - Qiao-Long Huang; Ke Ye; Xiao-Shan Gao (J. Symb. Comput., 2024)

PowerMLP: An Efficient Version of KAN. - Ruichen Qiu; Yibo Miao; Shiwen Wang; Yifan Zhu; Lijia Yu; Xiao-Shan Gao (AAAI, 2025)

Provable Robust Overfitting Mitigation in Wasserstein Distributionally Robust Optimization. - Shuang Liu; Yihan Wang; Yifan Zhu; Yibo Miao; Xiao-Shan Gao (ICLR, 2025)

Generalizability of Neural Networks Minimizing Empirical Risk Based on Expressive Power. - Lijia Yu; Yibo Miao; Yifan Zhu; Xiao-Shan Gao; Lijun Zhang (ICLR, 2025)

Data-dependent stability analysis of adversarial training. - Yihan Wang; Shuang Liu; Xiao-Shan Gao (Neural Networks, 2025)

MUC: Machine Unlearning for Contrastive Learning with Black-box Evaluation. - Yihan Wang; Yiwei Lu 001; Guojun Zhang; Franziska Boenisch; Adam Dziedzic; Yaoliang Yu; Xiao-Shan Gao (Trans. Mach. Learn. Res., 2025)

Generalizability of Neural Networks Minimizing Empirical Risk Based on Expressive Ability. - Lijia Yu; Yibo Miao; Yifan Zhu; Xiao-Shan Gao; Lijun Zhang (CoRR, 2025)

Proving Information Inequalities by Gaussian Elimination. - Laigang Guo; Raymond W. Yeung; Xiao-Shan Gao (IEEE Trans. Inf. Theory, 2025)

Red-Teaming Text-to-Image Systems by Rule-based Preference Modeling. - Yichuan Cao; Yibo Miao; Xiao-Shan Gao; Yinpeng Dong (CoRR, 2025)