1. Computer-aided mechanism design: a symbolic-computing approach;Dhingra;Comput. Aided Des.,1993
2. Modern Mathematical Methods of Optimization,1993
3. X.S. Gao, Automated geometry diagram construction and engineering geometry, Automated Deduction in Geometry, Springer, Berlin, 1999, 226–252
4. X.S. Gao, J.Z. Zhang, S.C. Chou, Geometry Expert, Nine Chapter Publications, 1998, Taiwan (in Chinese)
5. X.S. Gao, C.C. Zhu, Geometric constraint solving with linkages, MM-Research Preprints No. 18, 1999, pp. 48–58