| 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 | 1496 | 2003 |
| Machine proofs in geometry: Automated production of readable proofs for geometry theorems SC Chou, XS Gao, J Zhang World Scientific, 1994 | 314 | 1994 |
| Automated generation of readable proofs with geometric invariants: I. Multiple and shortest proof generation SC Chou, XS Gao, JZ Zhang Journal of Automated Reasoning 17 (3), 325-347, 1996 | 181* | 1996 |
| 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 | 171 | 2005 |
| Evolutionary programming based on non-uniform mutation X Zhao, XS Gao, ZC Hu Applied mathematics and computation 192 (1), 1-11, 2007 | 148 | 2007 |
| Ritt-Wu's decomposition algorithm and geometry theorem proving SC Chou, XS Gao International Conference on Automated Deduction, 207-220, 1990 | 146 | 1990 |
| 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 | 143 | 1998 |
| Geometric constraint satisfaction using optimization methods JX Ge, SC Chou, XS Gao Computer-Aided Design 31 (14), 867-879, 1999 | 134 | 1999 |
| Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus C Zhao, XS Gao Quantum 5, 466, 2021 | 132 | 2021 |
| 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 | 132 | 2000 |
| Solving geometric constraint systems. I. A global propagation approach XS Gao, SC Chou Computer-Aided Design 30 (1), 47-54, 1998 | 115 | 1998 |
| 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 | 112 | 2012 |
| Implicitization of rational parametric equations XS Gao, SC Chou Journal of symbolic computation 14 (5), 459-470, 1992 | 108 | 1992 |
| 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 | 106 | 2013 |
| Solving parametric algebraic systems XS Gao, SC Chou Papers from the international symposium on Symbolic and algebraic …, 1992 | 104 | 1992 |
| 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 | 100 | 2012 |
| Rational general solutions of algebraic ordinary differential equations R Feng, X Gao Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004 | 99 | 2004 |
| An introduction to java geometry expert Z Ye, SC Chou, XS Gao International workshop on automated deduction in geometry, 189-195, 2008 | 90 | 2008 |
| 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 | 90 | 2006 |
| Linear programming and windowing based feedrate optimization for spline toolpaths K Erkorkmaz, QGC Chen, MY Zhao, X Beudaert, XS Gao CIRP Annals 66 (1), 393-396, 2017 | 88 | 2017 |
Li-Yong ShenSchool of Mathematical Sciences, University of the Chinese Academy of SciencesVerified email at ucas.ac.cn
