Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 2009 | |
---|---|---|

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

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

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

77 | EE | 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) |

76 | EE | 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) |

75 | EE | Xiao-Shan Gao, J. Van der Hoeven, C. M. Yuan, Gui-Lin Zhang: Characteristic set method for differential-difference polynomial systems. J. Symb. Comput. 44(9): 1137-1163 (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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |