| 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 | 1308 | 2003 |
| Machine proofs in geometry: Automated production of readable proofs for geometry theorems SC Chou, X Gao, JZ Zhang World Scientific, 1994 | 295 | 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 | 168* | 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 | 163 | 2005 |
| 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 | 144 | 1998 |
| Evolutionary programming based on non-uniform mutation X Zhao, XS Gao, ZC Hu Applied mathematics and computation 192 (1), 1-11, 2007 | 143 | 2007 |
| Ritt-Wu's decomposition algorithm and geometry theorem proving SC Chou, XS Gao 10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990 | 140 | 1990 |
| Geometric constraint satisfaction using optimization methods JX Ge, SC Chou, XS Gao Computer-Aided Design 31 (14), 867-879, 1999 | 132 | 1999 |
| 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 | 114 | 2000 |
| Solving geometric constraint systems. I. A global propagation approach XS Gao, SC Chou Computer-Aided Design 30 (1), 47-54, 1998 | 113 | 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, 719-739, 2012 | 107 | 2012 |
| Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus C Zhao, XS Gao Quantum 5, 466, 2021 | 106 | 2021 |
| Implicitization of rational parametric equations XS Gao, SC Chou Journal of symbolic computation 14 (5), 459-470, 1992 | 105 | 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 |
| Solving parametric algebraic systems XS Gao, SC Chou Papers from the international symposium on Symbolic and algebraic …, 1992 | 99 | 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, 1373-1388, 2013 | 89 | 2013 |
| 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 | 88 | 2006 |
| 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 | 86 | 2002 |
| 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 | 80 | 1993 |
