dblp.uni-trier.dewww.uni-trier.de

Xiao-Shan Gao Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
80EEJin-San Cheng, Xiao-Shan Gao, Jia Li: Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. CASC 2009: 89-93
79EEJin-San Cheng, Xiao-Shan Gao, Jia Li: Topology determination and isolation for implicit plane curves. SAC 2009: 1140-1141
78EEJin-San Cheng, Xiao-Shan Gao, Jia Li: Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities CoRR abs/0903.3524: (2009)
77EEXiao-Shan Gao, Yong Luo, Chun-Ming Yuan: A characteristic set method for ordinary difference polynomial systems. J. Symb. Comput. 44(3): 242-260 (2009)
76EEJin-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)
75EEXiao-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)
74EEShang-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
73EEXiao-Shan Gao, Dominique Michelucci, Pascal Schreck: Special track on Geometric Constraints and Reasoning: editorial message. SAC 2008: 1814-1815
72EEXiao-Shan Gao, Mingbo Zhang: Decomposition of ordinary differential polynomials. Appl. Algebra Eng. Commun. Comput. 19(1): 1-25 (2008)
71EEJia Li, Liyong Shen, Xiao-Shan Gao: Proper Reparametrization of Rational Ruled Surface. J. Comput. Sci. Technol. 23(2): 290-297 (2008)
70EERuyong Feng, Xiao-Shan Gao, Zhenyu Huang: Rational solutions of ordinary difference equations. J. Symb. Comput. 43(10): 746-763 (2008)
2007
69EEJia Li, Xiao-Shan Gao: A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals. ASCM 2007: 246-262
68EEGui-Lin Zhang, Xiao-Shan Gao: Properties of Ascending Chains for Partial Difference Polynomial Systems. ASCM 2007: 307-321
67EEJin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap: Complete numerical isolation of real zeros in zero-dimensional triangular systems. ISSAC 2007: 92-99
66EEXinchao Zhao, Xiao-Shan Gao, Ze-Chun Hu: Evolutionary programming based on non-uniform mutation. Applied Mathematics and Computation 192(1): 1-11 (2007)
65EEXinchao Zhao, Xiao-Shan Gao: Affinity genetic algorithm. J. Heuristics 13(2): 133-150 (2007)
2006
64EEXiao-Shan Gao, Mingbo Zhang: Decomposition of Differential Polynomials. Challenges in Symbolic Computation Software 2006
63EEXiao-Shan Gao, Chun-Ming Yuan: Resolvent systems of difference polynomial ideals. ISSAC 2006: 101-108
62EEXiao-Shan Gao, Dominique Michelucci, Pascal Schreck: Editorial message: technical track on geometric computing and reasoning. SAC 2006: 962
61EEGui-Fang Zhang, Xiao-Shan Gao: Spatial geometric constraint solving based on k-connected graph decomposition. SAC 2006: 979-983
60EEEng-Wee Chionh, Xiao-Shan Gao, Liyong Shen: Inherently improper surface parametric supports. Computer Aided Geometric Design 23(8): 629-639 (2006)
59EEXiao-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)
58EEXiao-Shan Gao, Dominique Michelucci: Guest Editors' Foreword. Int. J. Comput. Geometry Appl. 16(5-6): 377-378 (2006)
57EEGui-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)
56EEWen-Tsun Wu, Xiao-Shan Gao: Automated Reasoning and Equation Solving with the Characteristic Set Method. J. Comput. Sci. Technol. 21(5): 756-764 (2006)
55EERuyong 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)
54EEMing 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
53EEJin-San Cheng, Xiao-Shan Gao, Ming Li: Determining the Topology of Real Algebraic Surfaces. IMA Conference on the Mathematics of Surfaces 2005: 121-146
52EEJ. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao: Algebraic general solutions of algebraic ordinary differential equations. ISSAC 2005: 29-36
51EEMing 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
50EEGui-Fang Zhang, Xiao-Shan Gao: Planar Generalized Stewart Platforms and Their Direct Kinematics. Automated Deduction in Geometry 2004: 198-211
49EEXiao-Shan Gao, Ming Li: Rational quadratic approximation to real algebraic curves. Computer Aided Geometric Design 2004: 805-828
48EEXiao-Shan Gao, Ming Li: Rational Quadratic Approximation to Real Plane Algebraic Curves. GMP 2004: 93-102
47EERuyong Feng, Xiao-Shan Gao: Rational general solutions of algebraic ordinary differential equations. ISSAC 2004: 155-162
46EEXiao-Shan Gao, Mingbo Zhang: Decomposition of differential polynomials with constant coefficients. ISSAC 2004: 175-182
45EERuyong 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
43EEXiao-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)
42EEJimin Wang, Xiao-Shan Gao: An algorithm for solving partial differential parametric systems. Discrete Applied Mathematics 136(1): 105-116 (2004)
41EEArjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama: Editorial. J. Symb. Comput. 38(4): 1167-1168 (2004)
2003
40EEXiao-Shan Gao, Gui-Fang Zhang: Classification and Solving of Merge Patterns in Geometric Constraint Solving. Shape Modeling International 2003: 89-98
39EEXiao-Shan Gao, Gui-Fang Zhang: Geometric constraint solving via C-tree decomposition. Symposium on Solid Modeling and Applications 2003: 45-55
38EEXiao-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)
37EEXiao-Shan Gao: Implicitization of differential rational parametric equations. J. Symb. Comput. 36(5): 811-824 (2003)
2002
36EEXiao-Shan Gao, Qiang Lin: MMP/Geometer - A Software Package for Automated Geometric Reasoning. Automated Deduction in Geometry 2002: 44-66
35EEXiao-Shan Gao, Ming Li: Construct Piecewise Hermite Interpolation Surface with Blending Methods. GMP 2002: 53-59
34EEXiao-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
33EEXiao-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
31EEXiao-Shan Gao, Hangfei Chen: New Algorithms for the Perspective-Three-Point Problem. J. Comput. Sci. Technol. 16(3): 194-207 (2001)
2000
30EEXiao-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
27EEJian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao: Geometric constraint satisfaction using optimization methods. Computer-Aided Design 31(14): 867-879 (1999)
1998
26EEXiao-Shan Gao: Automated Geometry Diagram Construction and Engineering Geometry. Automated Deduction in Geometry 1998: 232-257
25EEXiao-Shan Gao, Shang-Ching Chou: Solving geometric constraint systems. I. A global propagation approach. Computer-Aided Design 30(1): 47-54 (1998)
24EEXiao-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
22EEShang-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
17EENicholas 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
16EEShang-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
11EEShang-Ching Chou, Xiao-Shan Gao: Proving Geometry Statements of Constructive Type. CADE 1992: 20-34
10EEXiao-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
5EEXiao-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
3EEShang-Ching Chou, Xiao-Shan Gao: Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. CADE 1990: 207-220
2EEShang-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)

Coauthor Index

1J. M. Aroca [52]
2J. Cano [52]
3Hangfei Chen [31]
4Hang-Fei Cheng [38]
5Jin-San Cheng [51] [53] [67] [76] [78] [79] [80]
6Eng-Wee Chionh [60]
7Shang-Ching Chou [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [27] [29] [32] [54]
8Arjeh M. Cohen [41]
9Ruyong Feng [45] [47] [52] [55] [70]
10Jian-Xin Ge [27]
11J. Van der Hoeven [75]
12Christoph M. Hoffmann [34] [43]
13Xiaorong Hou [38]
14Ze-Chun Hu [66]
15Lei-Dong Huang [30]
16Zhenyu Huang [70]
17Kun Jiang [30] [33]
18Jia Li [69] [71] [78] [79] [80]
19Ming Li [35] [48] [49] [51] [53] [54]
20Qiang Lin [36] [59]
21Yong Luo [77]
22Nicholas Freitag McPhee [17]
23Dominique Michelucci [58] [62] [73]
24Pascal Schreck [62] [73]
25Liyong Shen [60] [71]
26Nobuki Takayama [41]
27Jianliang Tang [38]
28Dongming Wang [28]
29Jimin Wang [42]
30Wen-Tsun Wu [56]
31Lu Yang [23] [28]
32Wei-Qiang Yang [34] [43]
33Chee-Keng Yap (Chee Yap) [67] [76]
34C. M. Yuan [75]
35Chun-Ming Yuan [63] [77]
36Gui-Fang Zhang [39] [40] [50] [57] [59] [61]
37Gui-Lin Zhang [68] [75]
38Jing-Zhong Zhang [15] [16] [18] [19] [20] [22] [23] [29]
39Mingbo Zhang [46] [64] [72]
40Shang-Wei Zhao [74]
41Xinchao Zhao [44] [65] [66]
42Chang-Cai Zhu [33]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)