Xiao-Shan Gao

Xiao-Shan Gao, Christoph M. Hoffmann, Robert Joan-Arinyo: Editorial message. Computer Aided Geometric Design 29(1): 1 (2012)

Liyong Shen, Chun-Ming Yuan, Xiao-Shan Gao: Certified approximation of parametric space curves with cubic B-spline curves. Computer Aided Geometric Design 29(8): 648-663 (2012)

Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci: Special issue on geometric constraints and reasoning. Comput. Geom. 45(8): 383-384 (2012)

Xiao-Shan Gao, Deepak Kapur: Preface. J. Symb. Comput. 47(6): 583-585 (2012)

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

Xiao-Shan Gao, Zhenyu Huang: Characteristic set algorithms for equation solving in finite fields. J. Symb. Comput. 47(6): 655-679 (2012)

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

Hongbo Li, Xiao-Shan Gao, Lixian Zhang, Ruiyong Sun: Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations. Mathematics in Computer Science 6(3): 327-344 (2012)

Liyong Shen, Chun-Ming Yuan, Xiao-Shan Gao: Certified Approximation of Parametric Space Curves with Cubic B-spline Curves. CoRR abs/1203.0478 (2012)

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

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

Wei Li, Chun-Ming Yuan, Xiao-Shan Gao: Sparse Difference Resultant. CoRR abs/1212.3090 (2012)

Wei Li, Xiao-Shan Gao, Cum-Ming Yuan: Sparse differential resultant. ISSAC 2011: 225-232

Jin-San Cheng, Xiao-Shan Gao: Multiplicity Preserving Triangular Set Decomposition of Two Polynomials. CoRR abs/1101.3603 (2011)

Jin-San Cheng, Xiao-Shan Gao, Leilei Guo: Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation. CoRR abs/1102.4681 (2011)

Wei Li, Xiao-Shan Gao: Differential Chow Form for Projective Differential Variety. CoRR abs/1107.3205 (2011)

Wei Li, Chun-Ming Yuan, Xiao-Shan Gao: Sparse Differential Resultant for Laurent Differential Polynomials. CoRR abs/1111.1084 (2011)

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

Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao: 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. J. Autom. Reasoning 45(3): 243-266 (2010)

Li Han, Xiao-Shan Gao: Articulation-constrained Skeleton Extraction. IPCV 2010: 441-446

Xiao-Shan Gao, Wei Li, Chun-Ming Yuan: Intersection Theory for Generic Differential Polynomials and Differential Chow Form. CoRR abs/1009.0148 (2010)

Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao: On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization. CoRR abs/1011.5545 (2010)

Xiao-Shan Gao, Zhenyu Huang: Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis. CoRR abs/1011.6505 (2010)

Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao: On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization. IACR Cryptology ePrint Archive 2010: 604 (2010)

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

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

Xiao-Shan Gao, J. Van der Hoeven, Cum-Ming Yuan, Gui-Lin Zhang: Characteristic set method for differential-difference polynomial systems. J. Symb. Comput. 44(9): 1137-1163 (2009)

Mingbo Zhang, Xiao-Shan Gao: Decomposition of ordinary difference polynomials. J. Symb. Comput. 44(10): 1394-1409 (2009)

Shang-Wei Zhao, Xiao-Shan Gao: Minimal achievable approximation ratio for MAX-MQ in finite fields. Theor. Comput. Sci. 410(21-23): 2285-2290 (2009)

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

Jin-San Cheng, Xiao-Shan Gao, Jia Li: Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. CASC 2009: 89-93

Jin-San Cheng, Xiao-Shan Gao, Jia Li: Root isolation for bivariate polynomial systems with local generic position method. ISSAC 2009: 103-110

Jin-San Cheng, Xiao-Shan Gao, Jia Li: Topology determination and isolation for implicit plane curves. SAC 2009: 1140-1141

Jin-San Cheng, Xiao-Shan Gao, Jia Li: Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities. CoRR abs/0903.3524 (2009)

Xiao-Shan Gao, Zhenyu Huang: Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers. IACR Cryptology ePrint Archive 2009: 637 (2009)

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

Jia Li, Liyong Shen, Xiao-Shan Gao: Proper Reparametrization of Rational Ruled Surface. J. Comput. Sci. Technol. 23(2): 290-297 (2008)

Ruyong Feng, Xiao-Shan Gao, Zhenyu Huang: Rational solutions of ordinary difference equations. J. Symb. Comput. 43(10): 746-763 (2008)

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

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

Xinchao Zhao, Xiao-Shan Gao, Ze-Chun Hu: Evolutionary programming based on non-uniform mutation. Applied Mathematics and Computation 192(1): 1-11 (2007)

Xinchao Zhao, Xiao-Shan Gao: Affinity genetic algorithm. J. Heuristics 13(2): 133-150 (2007)

Jia Li, Xiao-Shan Gao: A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals. ASCM 2007: 246-262

Gui-Lin Zhang, Xiao-Shan Gao: Properties of Ascending Chains for Partial Difference Polynomial Systems. ASCM 2007: 307-321

Jia Li, Liyong Shen, Xiao-Shan Gao: Proper Reparametrization of Rational Ruled Surface. CAD/Graphics 2007: 26

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

Xiao-Shan Gao, Qiang Lin, Gui-Fang Zhang: A C-tree decomposition algorithm for 2D and 3D geometric constraint solving. Computer-Aided Design 38(1): 1-13 (2006)

Eng-Wee Chionh, Xiao-Shan Gao, Liyong Shen: Inherently improper surface parametric supports. Computer Aided Geometric Design 23(8): 629-639 (2006)

Xiao-Shan Gao, Dominique Michelucci: Guest Editors' Foreword. Int. J. Comput. Geometry Appl. 16(5-6): 377-378 (2006)

Gui-Fang Zhang, Xiao-Shan Gao: Well-constrained Completion and Decomposition for under-constrained Geometric Constraint Problems. Int. J. Comput. Geometry Appl. 16(5-6): 461-478 (2006)

Wen-Tsun Wu, Xiao-Shan Gao: Automated Reasoning and Equation Solving with the Characteristic Set Method. J. Comput. Sci. Technol. 21(5): 756-764 (2006)

Xiao-Shan Gao, Jianliang Tang: On the Probability of the Number of Solutions for the P4P Problem. Journal of Mathematical Imaging and Vision 25(1): 79-86 (2006)

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

Ming Li, Xiao-Shan Gao, Shang-Ching Chou: Quadratic approximation to plane parametric curves and its application in approximate implicitization. The Visual Computer 22(9-11): 906-917 (2006)

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

Xiao-Shan Gao, Chun-Ming Yuan: Resolvent systems of difference polynomial ideals. ISSAC 2006: 101-108

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

Gui-Fang Zhang, Xiao-Shan Gao: Spatial geometric constraint solving based on k-connected graph decomposition. SAC 2006: 979-983

Ming Li, Xiao-Shan Gao, Jin-San Cheng: Generating Symbolic Interpolants for Scattered Data with Normal Vectors. J. Comput. Sci. Technol. 20(6): 861-874 (2005)

Xiao-Shan Gao, Deli Lei, Qizheng Liao, Gui-Fang Zhang: Generalized Stewart-Gough platforms and their direct kinematics. IEEE Transactions on Robotics 21(2): 141-151 (2005)

Jin-San Cheng, Xiao-Shan Gao, Ming Li: Determining the Topology of Real Algebraic Surfaces. IMA Conference on the Mathematics of Surfaces 2005: 121-146

J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao: Algebraic general solutions of algebraic ordinary differential equations. ISSAC 2005: 29-36

Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang: Solving spatial basic geometric constraint configurations with locus intersection. Computer-Aided Design 36(2): 111-122 (2004)

Xiao-Shan Gao, Ming Li: Rational quadratic approximation to real algebraic curves. Computer Aided Geometric Design 21: 805-828 (2004)

Jimin Wang, Xiao-Shan Gao: An algorithm for solving partial differential parametric systems. Discrete Applied Mathematics 136(1): 105-116 (2004)

Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama: Editorial. J. Symb. Comput. 38(4): 1167-1168 (2004)

Gui-Fang Zhang, Xiao-Shan Gao: Planar Generalized Stewart Platforms and Their Direct Kinematics. Automated Deduction in Geometry 2004: 198-211

Ruyong Feng, Xiao-Shan Gao: Polynomial General Solutions for First Order Autonomous ODEs. IWMM/GIAE 2004: 5-17

Xiao-Shan Gao, Ming Li: Rational Quadratic Approximation to Real Plane Algebraic Curves. GMP 2004: 93-102

Ruyong Feng, Xiao-Shan Gao: Rational general solutions of algebraic ordinary differential equations. ISSAC 2004: 155-162

Xiao-Shan Gao, Mingbo Zhang: Decomposition of differential polynomials with constant coefficients. ISSAC 2004: 175-182

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

Xiao-Shan Gao: Implicitization of differential rational parametric equations. J. Symb. Comput. 36(5): 811-824 (2003)

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

Xiao-Shan Gao, Gui-Fang Zhang: Geometric constraint solving via C-tree decomposition. Symposium on Solid Modeling and Applications 2003: 45-55

Xiao-Shan Gao, Gui-Fang Zhang: Classification and Solving of Merge Patterns in Geometric Constraint Solving. Shape Modeling International 2003: 89-98

Xiao-Shan Gao, Kun Jiang, Chang-Cai Zhu: Geometric constraint solving with conics and linkages. Computer-Aided Design 34(6): 421-433 (2002)

Xiao-Shan Gao, Qiang Lin: MMP/Geometer - A Software Package for Automated Geometric Reasoning. Automated Deduction in Geometry 2002: 44-66

Xiao-Shan Gao, Ming Li: Construct Piecewise Hermite Interpolation Surface with Blending Methods. GMP 2002: 53-59

Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang: Solving spatial basic geometric constraint configurations with locus intersection. Symposium on Solid Modeling and Applications 2002: 95-104

Xiao-Shan Gao, Hangfei Chen: New Algorithms for the Perspective-Three-Point Problem. J. Comput. Sci. Technol. 16(3): 194-207 (2001)

Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Geometry. Handbook of Automated Reasoning 2001: 707-749

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. J. Autom. Reasoning 25(3): 219-246 (2000)

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

Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao: Geometric constraint satisfaction using optimization methods. Computer-Aided Design 31(14): 867-879 (1999)

Xiao-Shan Gao, Dongming Wang, Lu Yang (Eds.): Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings. Lecture Notes in Computer Science 1669, Springer 1999, isbn 3-540-66672-9

Xiao-Shan Gao, Shang-Ching Chou: Solving geometric constraint systems. I. A global propagation approach. Computer-Aided Design 30(1): 47-54 (1998)

Xiao-Shan Gao, Shang-Ching Chou: Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility. Computer-Aided Design 30(2): 115-122 (1998)

Xiao-Shan Gao: Automated Geometry Diagram Construction and Engineering Geometry. Automated Deduction in Geometry 1998: 232-257

Shang-Ching Chou, Xiao-Shan Gao: Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. J. Autom. Reasoning 17(3): 325-347 (1996)

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Generation of Readable Proofs with Geometric Invariants. J. Autom. Reasoning 17(3): 349-370 (1996)

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

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: An Introduction to Geometry Expert. CADE 1996: 235-239

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

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Production of Traditional Proofs in Solid Geometry. J. Autom. Reasoning 14(2): 257-291 (1995)

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

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

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

Xiao-Shan Gao, Shang-Ching Chou: A Zero Structure Theorem for Differential Parametric Systems. J. Symb. Comput. 16(6): 585-595 (1993)

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Geometry Theorem Proving by Vector Calculation. ISSAC 1993: 284-291

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Production of Traditional Proofs for Constructive Geometry Theorems. LICS 1993: 48-56

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

Xiao-Shan Gao, Shang-Ching Chou: Implicitization of Rational Parametric Equations. J. Symb. Comput. 14(5): 459-470 (1992)

Shang-Ching Chou, Xiao-Shan Gao: Proving Geometry Statements of Constructive Type. CADE 1992: 20-34

Xiao-Shan Gao, Shang-Ching Chou: Solving Parametric Algebraic Systems. ISSAC 1992: 335-341

Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. IWAR 1992: 1-12

Xiao-Shan Gao: An Introduction to Wu's Method of Mechanical Geometry Theorem Proving. IWAR 1992: 13-22

Xiao-Shan Gao, Shang-Ching Chou: On the normal parametrization of curves and surfaces. Int. J. Comput. Geometry Appl. 1(2): 125-136 (1991)

Xiao-Shan Gao, Shang-Ching Chou: Computations with Parametric Equations. ISSAC 1991: 122-127

Xiao-Shan Gao: Transcendental Functions and Mechanical Theorem Proving in Elemantary Geometries. J. Autom. Reasoning 6(4): 403-417 (1990)

Shang-Ching Chou, Xiao-Shan Gao: Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. CADE 1990: 207-220

Shang-Ching Chou, Xiao-Shan Gao: Methods for Mechanical Geometry Formula Deriving. ISSAC 1990: 265-270