Follow
Xiao-Shan Gao
Xiao-Shan Gao
AMSS, CAS
Verified email at mmrc.iss.ac.cn - Homepage
Title
Cited by
Cited by
Year
Complete solution classification for the perspective-three-point problem
XS Gao, XR Hou, J Tang, HF Cheng
IEEE transactions on pattern analysis and machine intelligence 25 (8), 930-943, 2003
9942003
Machine proofs in geometry: Automated production of readable proofs for geometry theorems
SC Chou, XS Gao, J Zhang
World Scientific, 1994
2771994
Generalized Stewart-Gough platforms and their direct kinematics
XS Gao, D Lei, Q Liao, GF Zhang
IEEE Transactions on Robotics 21 (2), 141-151, 2005
1462005
Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility
XS Gao, SC Chou
Computer-aided design 30 (2), 115-122, 1998
1401998
Ritt-Wu's decomposition algorithm and geometry theorem proving
SC Chou, XS Gao
International Conference on Automated Deduction, 207-220, 1990
1331990
Automated generation of readable proofs with geometric invariants
SC Chou, XS Gao, JZ Zhang
Journal of Automated Reasoning 17 (3), 325-347, 1996
128*1996
Geometric constraint satisfaction using optimization methods
JX Ge, SC Chou, XS Gao
Computer-Aided Design 31 (14), 867-879, 1999
1271999
Evolutionary programming based on non-uniform mutation
X Zhao, XS Gao, ZC Hu
Applied mathematics and computation 192 (1), 1-11, 2007
1242007
Solving geometric constraint systems. I. A global propagation approach
XS Gao, SC Chou
Computer-Aided Design 30 (1), 47-54, 1998
1121998
Implicitization of rational parametric equations
XS Gao, SC Chou
Journal of symbolic computation 14 (5), 459-470, 1992
971992
Solving parametric algebraic systems
XS Gao, SC Chou
Papers from the international symposium on Symbolic and algebraic …, 1992
931992
A deductive database approach to automated geometry theorem proving and discovering
SC Chou, XS Gao, JZ Zhang
Journal of Automated Reasoning 25 (3), 219-246, 2000
922000
A greedy algorithm for feedrate planning of CNC machines along curved tool paths with confined jerk
K Zhang, CM Yuan, XS Gao, H Li
Robotics and Computer-Integrated Manufacturing 28 (4), 472-483, 2012
822012
Rational general solutions of algebraic ordinary differential equations
R Feng, X Gao
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
822004
Solving spatial basic geometric constraint configurations with locus intersection
XS Gao, CM Hoffmann, WQ Yang
Proceedings of the seventh acm symposium on solid modeling and applications …, 2002
812002
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs
R Feng, XS Gao
Journal of Symbolic computation 41 (7), 739-762, 2006
802006
Interpolation of parametric CNC machining path under confined jounce
W Fan, XS Gao, W Yan, CM Yuan
The International Journal of Advanced Manufacturing Technology 62 (5), 719-739, 2012
792012
Automated production of traditional proofs for constructive geometry theorems
SC Chou, XS Gao, JZ Zhang
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993
761993
Time-optimal interpolation for five-axis CNC machining along parametric tool path based on linear programming
W Fan, XS Gao, CH Lee, K Zhang, Q Zhang
The International Journal of Advanced Manufacturing Technology 69 (5), 1373-1388, 2013
702013
Geometry expert
XS Gao, JZ Zhang, SC Chou
Nine Chapters, Taiwan, 1998
671998
The system can't perform the operation now. Try again later.
Articles 1–20