Xiao-Shan Gao

	2012
108		Liyong Shen, Chun-Ming Yuan, Xiao-Shan Gao: Certified Approximation of Parametric Space Curves with Cubic B-spline Curves CoRR abs/1203.0478: (2012)
107		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)
106		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)
105		Xiao-Shan Gao, Christoph M. Hoffmann, Robert Joan-Arinyo: Editorial message. Computer Aided Geometric Design 29(1): 1 (2012)
104		Xiao-Shan Gao, Deepak Kapur: Preface. J. Symb. Comput. 47(6): 583-585 (2012)
103		Xiao-Shan Gao, Deepak Kapur: A brief introduction to Wen-Tsun Wu's academic career. J. Symb. Comput. 47(6): 586-588 (2012)
102		Xiao-Shan Gao, Zhenyu Huang: Characteristic set algorithms for equation solving in finite fields. J. Symb. Comput. 47(6): 655-679 (2012)
101		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)
	2011
100		Wei Li, Xiao-Shan Gao, Cum-Ming Yuan: Sparse differential resultant. ISSAC 2011: 225-232
99		Jin-San Cheng, Xiao-Shan Gao: Multiplicity Preserving Triangular Set Decomposition of Two Polynomials CoRR abs/1101.3603: (2011)
98		Jin-San Cheng, Xiao-Shan Gao, Leilei Guo: Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation CoRR abs/1102.4681: (2011)
97		Wei Li, Xiao-Shan Gao: Differential Chow Form for Projective Differential Variety CoRR abs/1107.3205: (2011)
96		Wei Li, Chun-Ming Yuan, Xiao-Shan Gao: Sparse Differential Resultant for Laurent Differential Polynomials CoRR abs/1111.1084: (2011)
	2010
95		Li Han, Xiao-Shan Gao: Articulation-constrained Skeleton Extraction. IPCV 2010: 441-446
94		Xiao-Shan Gao, Wei Li, Chun-Ming Yuan: Intersection Theory for Generic Differential Polynomials and Differential Chow Form CoRR abs/1009.0148: (2010)
93		Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao: On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization CoRR abs/1011.5545: (2010)
92		Xiao-Shan Gao, Zhenyu Huang: Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis CoRR abs/1011.6505: (2010)
91		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)
90		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)
89		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)
	2009
88		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
87		Jin-San Cheng, Xiao-Shan Gao, Jia Li: Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. CASC 2009: 89-93
86		Jin-San Cheng, Xiao-Shan Gao, Jia Li: Root isolation for bivariate polynomial systems with local generic position method. ISSAC 2009: 103-110
85		Jin-San Cheng, Xiao-Shan Gao, Jia Li: Topology determination and isolation for implicit plane curves. SAC 2009: 1140-1141
84		Jin-San Cheng, Xiao-Shan Gao, Jia Li: Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities CoRR abs/0903.3524: (2009)
83		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)
82		Mingbo Zhang, Xiao-Shan Gao: Decomposition of ordinary difference polynomials. J. Symb. Comput. 44(10): 1394-1409 (2009)
81		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)
80		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)
79		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)
78		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
77		Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao: An Introduction to Java Geometry Expert - (Extended Abstract). Automated Deduction in Geometry 2008: 189-195
76		Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck: Special track on Geometric Constraints and Reasoning: editorial message. SAC 2008: 1814-1815
75		Xiao-Shan Gao, Mingbo Zhang: Decomposition of ordinary differential polynomials. Appl. Algebra Eng. Commun. Comput. 19(1): 1-25 (2008)
74		Jia Li, Liyong Shen, Xiao-Shan Gao: Proper Reparametrization of Rational Ruled Surface. J. Comput. Sci. Technol. 23(2): 290-297 (2008)
73		Ruyong Feng, Xiao-Shan Gao, Zhenyu Huang: Rational solutions of ordinary difference equations. J. Symb. Comput. 43(10): 746-763 (2008)
	2007
72		Jia Li, Xiao-Shan Gao: A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals. ASCM 2007: 246-262
71		Gui-Lin Zhang, Xiao-Shan Gao: Properties of Ascending Chains for Partial Difference Polynomial Systems. ASCM 2007: 307-321
70		Jia Li, Liyong Shen, Xiao-Shan Gao: Proper Reparametrization of Rational Ruled Surface. CAD/Graphics 2007: 26
69		Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap: Complete numerical isolation of real zeros in zero-dimensional triangular systems. ISSAC 2007: 92-99
68		Xinchao Zhao, Xiao-Shan Gao, Ze-Chun Hu: Evolutionary programming based on non-uniform mutation. Applied Mathematics and Computation 192(1): 1-11 (2007)
67		Xinchao Zhao, Xiao-Shan Gao: Affinity genetic algorithm. J. Heuristics 13(2): 133-150 (2007)
	2006
66		Xiao-Shan Gao, Mingbo Zhang: Decomposition of Differential Polynomials. Challenges in Symbolic Computation Software 2006
65		Xiao-Shan Gao, Chun-Ming Yuan: Resolvent systems of difference polynomial ideals. ISSAC 2006: 101-108
64		Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck: Editorial message: technical track on geometric computing and reasoning. SAC 2006: 962
63		Gui-Fang Zhang, Xiao-Shan Gao: Spatial geometric constraint solving based on k-connected graph decomposition. SAC 2006: 979-983
62		Eng-Wee Chionh, Xiao-Shan Gao, Liyong Shen: Inherently improper surface parametric supports. Computer Aided Geometric Design 23(8): 629-639 (2006)
61		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)
60		Xiao-Shan Gao, Dominique Michelucci: Guest Editors' Foreword. Int. J. Comput. Geometry Appl. 16(5-6): 377-378 (2006)
59		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)
58		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)
57		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)
56		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)
55		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
54		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
53		J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao: Algebraic general solutions of algebraic ordinary differential equations. ISSAC 2005: 29-36
52		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)
51		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		Gui-Fang Zhang, Xiao-Shan Gao: Planar Generalized Stewart Platforms and Their Direct Kinematics. Automated Deduction in Geometry 2004: 198-211
49		Xiao-Shan Gao, Ming Li: Rational Quadratic Approximation to Real Plane Algebraic Curves. GMP 2004: 93-102
48		Ruyong Feng, Xiao-Shan Gao: Rational general solutions of algebraic ordinary differential equations. ISSAC 2004: 155-162
47		Xiao-Shan Gao, Mingbo Zhang: Decomposition of differential polynomials with constant coefficients. ISSAC 2004: 175-182
46		Ruyong Feng, Xiao-Shan Gao: Polynomial General Solutions for First Order Autonomous ODEs. IWMM/GIAE 2004: 5-17
45		Xinchao Zhao, Xiao-Shan Gao: A Hybrid Genetic Algorithm Based on Simulated Annealing and Applications to Optimization and SAT Problems. SNPD 2004: 12-18
44		Xiao-Shan Gao, Ming Li: Rational quadratic approximation to real algebraic curves. Computer Aided Geometric Design 21: 805-828 (2004)
43		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		Jimin Wang, Xiao-Shan Gao: An algorithm for solving partial differential parametric systems. Discrete Applied Mathematics 136(1): 105-116 (2004)
41		Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama: Editorial. J. Symb. Comput. 38(4): 1167-1168 (2004)
	2003
40		Xiao-Shan Gao, Gui-Fang Zhang: Classification and Solving of Merge Patterns in Geometric Constraint Solving. Shape Modeling International 2003: 89-98
39		Xiao-Shan Gao, Gui-Fang Zhang: Geometric constraint solving via C-tree decomposition. Symposium on Solid Modeling and Applications 2003: 45-55
38		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		Xiao-Shan Gao: Implicitization of differential rational parametric equations. J. Symb. Comput. 36(5): 811-824 (2003)
	2002
36		Xiao-Shan Gao, Qiang Lin: MMP/Geometer - A Software Package for Automated Geometric Reasoning. Automated Deduction in Geometry 2002: 44-66
35		Xiao-Shan Gao, Ming Li: Construct Piecewise Hermite Interpolation Surface with Blending Methods. GMP 2002: 53-59
34		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		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		Xiao-Shan Gao, Hangfei Chen: New Algorithms for the Perspective-Three-Point Problem. J. Comput. Sci. Technol. 16(3): 194-207 (2001)
	2000
30		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		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		Xiao-Shan Gao: Automated Geometry Diagram Construction and Engineering Geometry. Automated Deduction in Geometry 1998: 232-257
25		Xiao-Shan Gao, Shang-Ching Chou: Solving geometric constraint systems. I. A global propagation approach. Computer-Aided Design 30(1): 47-54 (1998)
24		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		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		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 Parameterization 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		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		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)

Coauthor Index

1	J. M. Aroca	[53]
2	J. Cano	[53]
3	Hangfei Chen	[31]
4	Hang-Fei Cheng	[38]
5	Jin-San Cheng	[51] [54] [69] [80] [84] [85] [86] [87] [98] [99] [101] [107]
6	Eng-Wee Chionh	[62]
7	Shang-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] [55] [77] [89] [90]
8	Arjeh M. Cohen	[41]
9	Ruyong Feng	[46] [48] [53] [57] [73] [91] [93]
10	Jian-Xin Ge	[27]
11	Leilei Guo	[98] [101]
12	Li Han	[88] [95]
13	J. Van der Hoeven	[79]
14	Christoph M. Hoffmann	[34] [43] [105]
15	Xiaorong Hou	[38]
16	Ze-Chun Hu	[68]
17	Lei-Dong Huang	[30]
18	Zhenyu Huang	[73] [83] [92] [102]
19	Kun Jiang	[30] [33]
20	Kai Jin	[107]
21	Robert Joan-Arinyo	[105]
22	Deepak Kapur	[103] [104]
23	Daniel Lazard	[107]
24	Deli Lei	[52]
25	Hongbo Li	[88]
26	Jia Li	[70] [72] [74] [84] [85] [86] [87]
27	Ming Li	[35] [44] [49] [51] [54] [55]
28	Wei Li	[94] [96] [97] [100]
29	Qizheng Liao	[52]
30	Qiang Lin	[36] [61]
31	Jie Liu	[88]
32	Yong Luo	[81]
33	Nicholas Freitag McPhee	[17]
34	Dominique Michelucci	[60] [64] [76]
35	Pascal Schreck	[64] [76]
36	Liyong Shen	[62] [70] [74] [108]
37	Nobuki Takayama	[41]
38	Jianliang Tang	[38] [56]
39	Dongming Wang	[28]
40	Jimin Wang	[42]
41	Wen-Tsun Wu	[58]
42	Lu Yang	[23] [28]
43	Wei-Qiang Yang	[34] [43]
44	Chee-Keng Yap (Chee Yap)	[69] [80]
45	Zheng Ye	[77] [89] [90]
46	Chun-Ming Yuan	[65] [81] [94] [96] [106] [108]
47	Cum-Ming Yuan	[79] [100]
48	Gui-Fang Zhang	[39] [40] [50] [52] [59] [61] [63]
49	Gui-Lin Zhang	[71] [79]
50	Jing-Zhong Zhang	[15] [16] [18] [19] [20] [22] [23] [29]
51	Lixian Zhang	[88]
52	Mingbo Zhang	[47] [66] [75] [82]
53	Zhi-Yong Zhang	[106]
54	Shang-Wei Zhao	[78] [91] [93]
55	Xinchao Zhao	[45] [67] [68]
56	Chang-Cai Zhu	[33]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page