| 2009 |
|---|
| 76 | EE | Jin-San Cheng,
Xiao-Shan Gao,
Jia Li:
Topology determination and isolation for implicit plane curves.
SAC 2009: 1140-1141 |
| 75 | EE | Jin-San Cheng,
Xiao-Shan Gao,
Jia Li:
Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities
CoRR abs/0903.3524: (2009) |
| 74 | EE | 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) |
| 2008 |
|---|
| 73 | EE | Xiao-Shan Gao,
Dominique Michelucci,
Pascal Schreck:
Special track on Geometric Constraints and Reasoning: editorial message.
SAC 2008: 1814-1815 |
| 72 | EE | Xiao-Shan Gao,
Mingbo Zhang:
Decomposition of ordinary differential polynomials.
Appl. Algebra Eng. Commun. Comput. 19(1): 1-25 (2008) |
| 71 | EE | Jia Li,
Liyong Shen,
Xiao-Shan Gao:
Proper Reparametrization of Rational Ruled Surface.
J. Comput. Sci. Technol. 23(2): 290-297 (2008) |
| 70 | EE | Ruyong Feng,
Xiao-Shan Gao,
Zhenyu Huang:
Rational solutions of ordinary difference equations.
J. Symb. Comput. 43(10): 746-763 (2008) |
| 2007 |
|---|
| 69 | EE | Jia Li,
Xiao-Shan Gao:
A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals.
ASCM 2007: 246-262 |
| 68 | EE | Gui-Lin Zhang,
Xiao-Shan Gao:
Properties of Ascending Chains for Partial Difference Polynomial Systems.
ASCM 2007: 307-321 |
| 67 | EE | Jin-San Cheng,
Xiao-Shan Gao,
Chee-Keng Yap:
Complete numerical isolation of real zeros in zero-dimensional triangular systems.
ISSAC 2007: 92-99 |
| 66 | EE | Xinchao Zhao,
Xiao-Shan Gao,
Ze-Chun Hu:
Evolutionary programming based on non-uniform mutation.
Applied Mathematics and Computation 192(1): 1-11 (2007) |
| 65 | EE | Xinchao Zhao,
Xiao-Shan Gao:
Affinity genetic algorithm.
J. Heuristics 13(2): 133-150 (2007) |
| 2006 |
|---|
| 64 | EE | Xiao-Shan Gao,
Mingbo Zhang:
Decomposition of Differential Polynomials.
Challenges in Symbolic Computation Software 2006 |
| 63 | EE | Xiao-Shan Gao,
Chun-Ming Yuan:
Resolvent systems of difference polynomial ideals.
ISSAC 2006: 101-108 |
| 62 | EE | Xiao-Shan Gao,
Dominique Michelucci,
Pascal Schreck:
Editorial message: technical track on geometric computing and reasoning.
SAC 2006: 962 |
| 61 | EE | Gui-Fang Zhang,
Xiao-Shan Gao:
Spatial geometric constraint solving based on k-connected graph decomposition.
SAC 2006: 979-983 |
| 60 | EE | Eng-Wee Chionh,
Xiao-Shan Gao,
Liyong Shen:
Inherently improper surface parametric supports.
Computer Aided Geometric Design 23(8): 629-639 (2006) |
| 59 | EE | 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) |
| 58 | EE | Xiao-Shan Gao,
Dominique Michelucci:
Guest Editors' Foreword.
Int. J. Comput. Geometry Appl. 16(5-6): 377-378 (2006) |
| 57 | EE | 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) |
| 56 | EE | 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) |
| 55 | EE | 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) |
| 54 | EE | 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) |
| 2005 |
|---|
| 53 | EE | 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 |
| 52 | EE | J. M. Aroca,
J. Cano,
Ruyong Feng,
Xiao-Shan Gao:
Algebraic general solutions of algebraic ordinary differential equations.
ISSAC 2005: 29-36 |
| 51 | EE | 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) |
| 2004 |
|---|
| 50 | EE | Gui-Fang Zhang,
Xiao-Shan Gao:
Planar Generalized Stewart Platforms and Their Direct Kinematics.
Automated Deduction in Geometry 2004: 198-211 |
| 49 | EE | Xiao-Shan Gao,
Ming Li:
Rational quadratic approximation to real algebraic curves.
Computer Aided Geometric Design 2004: 805-828 |
| 48 | EE | Xiao-Shan Gao,
Ming Li:
Rational Quadratic Approximation to Real Plane Algebraic Curves.
GMP 2004: 93-102 |
| 47 | EE | Ruyong Feng,
Xiao-Shan Gao:
Rational general solutions of algebraic ordinary differential equations.
ISSAC 2004: 155-162 |
| 46 | EE | Xiao-Shan Gao,
Mingbo Zhang:
Decomposition of differential polynomials with constant coefficients.
ISSAC 2004: 175-182 |
| 45 | EE | Ruyong Feng,
Xiao-Shan Gao:
Polynomial General Solutions for First Order Autonomous ODEs.
IWMM/GIAE 2004: 5-17 |
| 44 | | Xinchao Zhao,
Xiao-Shan Gao:
A Hybrid Genetic Algorithm Based on Simulated Annealing and Applications to Optimization and SAT Problems.
SNPD 2004: 12-18 |
| 43 | EE | 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) |
| 42 | EE | Jimin Wang,
Xiao-Shan Gao:
An algorithm for solving partial differential parametric systems.
Discrete Applied Mathematics 136(1): 105-116 (2004) |
| 41 | EE | Arjeh M. Cohen,
Xiao-Shan Gao,
Nobuki Takayama:
Editorial.
J. Symb. Comput. 38(4): 1167-1168 (2004) |
| 2003 |
|---|
| 40 | EE | Xiao-Shan Gao,
Gui-Fang Zhang:
Classification and Solving of Merge Patterns in Geometric Constraint Solving.
Shape Modeling International 2003: 89-98 |
| 39 | EE | Xiao-Shan Gao,
Gui-Fang Zhang:
Geometric constraint solving via C-tree decomposition.
Symposium on Solid Modeling and Applications 2003: 45-55 |
| 38 | EE | 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) |
| 37 | EE | Xiao-Shan Gao:
Implicitization of differential rational parametric equations.
J. Symb. Comput. 36(5): 811-824 (2003) |
| 2002 |
|---|
| 36 | EE | Xiao-Shan Gao,
Qiang Lin:
MMP/Geometer - A Software Package for Automated Geometric Reasoning.
Automated Deduction in Geometry 2002: 44-66 |
| 35 | EE | Xiao-Shan Gao,
Ming Li:
Construct Piecewise Hermite Interpolation Surface with Blending Methods.
GMP 2002: 53-59 |
| 34 | EE | 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 |
| 33 | EE | Xiao-Shan Gao,
Kun Jiang,
Chang-Cai Zhu:
Geometric constraint solving with conics and linkages.
Computer-Aided Design 34(6): 421-433 (2002) |
| 2001 |
|---|
| 32 | | Shang-Ching Chou,
Xiao-Shan Gao:
Automated Reasoning in Geometry.
Handbook of Automated Reasoning 2001: 707-749 |
| 31 | EE | Xiao-Shan Gao,
Hangfei Chen:
New Algorithms for the Perspective-Three-Point Problem.
J. Comput. Sci. Technol. 16(3): 194-207 (2001) |
| 2000 |
|---|
| 30 | EE | Xiao-Shan Gao,
Lei-Dong Huang,
Kun Jiang:
A Hybrid Method for Solving Geometric Constraint Problems.
Automated Deduction in Geometry 2000: 16-25 |
| 29 | | 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) |
| 1999 |
|---|
| 28 | | Xiao-Shan Gao,
Dongming Wang,
Lu Yang:
Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Springer 1999 |
| 27 | EE | Jian-Xin Ge,
Shang-Ching Chou,
Xiao-Shan Gao:
Geometric constraint satisfaction using optimization methods.
Computer-Aided Design 31(14): 867-879 (1999) |
| 1998 |
|---|
| 26 | EE | Xiao-Shan Gao:
Automated Geometry Diagram Construction and Engineering Geometry.
Automated Deduction in Geometry 1998: 232-257 |
| 25 | EE | Xiao-Shan Gao,
Shang-Ching Chou:
Solving geometric constraint systems. I. A global propagation approach.
Computer-Aided Design 30(1): 47-54 (1998) |
| 24 | EE | 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) |
| 1996 |
|---|
| 23 | | 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 |
| 22 | | Shang-Ching Chou,
Xiao-Shan Gao,
Jing-Zhong Zhang:
An Introduction to Geometry Expert.
CADE 1996: 235-239 |
| 21 | | 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) |
| 20 | | 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) |
| 1995 |
|---|
| 19 | | 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) |
| 18 | | 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) |
| 1994 |
|---|
| 17 | | 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 |
| 1993 |
|---|
| 16 | EE | Shang-Ching Chou,
Xiao-Shan Gao,
Jing-Zhong Zhang:
Automated Geometry Theorem Proving by Vector Calculation.
ISSAC 1993: 284-291 |
| 15 | | Shang-Ching Chou,
Xiao-Shan Gao,
Jing-Zhong Zhang:
Automated Production of Traditional Proofs for Constructive Geometry Theorems
LICS 1993: 48-56 |
| 14 | | 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) |
| 13 | | 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) |
| 12 | | Xiao-Shan Gao,
Shang-Ching Chou:
A Zero Structure Theorem for Differential Parametric Systems.
J. Symb. Comput. 16(6): 585-595 (1993) |
| 1992 |
|---|
| 11 | | Shang-Ching Chou,
Xiao-Shan Gao:
Proving Geometry Statements of Constructive Type.
CADE 1992: 20-34 |
| 10 | EE | Xiao-Shan Gao,
Shang-Ching Chou:
Solving Parametric Algebraic Systems.
ISSAC 1992: 335-341 |
| 9 | | Shang-Ching Chou,
Xiao-Shan Gao:
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method.
IWAR 1992: 1-12 |
| 8 | | Xiao-Shan Gao:
An Introduction to Wu's Method of Mechanical Geometry Theorem Proving.
IWAR 1992: 13-22 |
| 7 | | Xiao-Shan Gao,
Shang-Ching Chou:
On the Parameteriation of Algebraic Curves.
Appl. Algebra Eng. Commun. Comput. 3: 27-38 (1992) |
| 6 | | Xiao-Shan Gao,
Shang-Ching Chou:
Implicitization of Rational Parametric Equations.
J. Symb. Comput. 14(5): 459-470 (1992) |
| 1991 |
|---|
| 5 | EE | Xiao-Shan Gao,
Shang-Ching Chou:
Computations with Parametric Equations.
ISSAC 1991: 122-127 |
| 4 | | Xiao-Shan Gao,
Shang-Ching Chou:
On the normal parametrization of curves and surfaces.
Int. J. Comput. Geometry Appl. 1(2): 125-136 (1991) |
| 1990 |
|---|
| 3 | | Shang-Ching Chou,
Xiao-Shan Gao:
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving.
CADE 1990: 207-220 |
| 2 | EE | Shang-Ching Chou,
Xiao-Shan Gao:
Methods for Mechanical Geometry Formula Deriving.
ISSAC 1990: 265-270 |
| 1 | | Xiao-Shan Gao:
Transcendental Functions and Mechanical Theorem Proving in Elemantary Geometries.
J. Autom. Reasoning 6(4): 403-417 (1990) |
