Software Packages
Geometry Expert
- X.S. Gao, J. Z. Zhang, and S.C. Chou,
Geometry Expert (in Chinese),
Nine Chapters Pub., Taiwan, 1998.
- S.C. Chou, X.S. Gao, and Z. Ye,
Java Geometry Expert, to appear in, Proc. ATCM 2005, 2005.
-
X.S. Gao and Q. Lin,
MMP/Geometer - A Software Package for Automated Geometry Reasoning,
Automated Deduction in Geometry, (ed. F. Winkler), 44-66, Springer, Berlin, 2004.
-
X.S. Gao, W.Q. Yang, and L. Huang,
Intelligent Dynamic Geometry,
Proc. ATCM'2000, ATCM Inc, Thailand, pp.162-171.
-
S.C. Chou, X.S. Gao, and J.Z. Zhang,
An Introduction to Geometry Expert,
Proc. CADE-13, p. 235-239, 1996, L.N.A.I. No. 1104,
(eds. M. A. McRobbie and J. K. Slaney), Springer-Verlag.
-
X.S. Gao, C. C. Zhu, and Y. Huang,
Building Dynamic Mathematical Models with Geometry Expert,
I. Geometric Transformations, Functions and Plane Curves,
Proceedings of the Third Asian Technology Conference in Mathematics,
eds W.C. Yang, pp. 216-224, Springer, 1998.
-
X.S. Gao, C. C. Zhu, and Y. Huang,
Building Dynamic Mathematical Models with Geometry Expert, II. Linkages,
Proc. of the Third Asian Symposium on Computer
Mathematics, eds Z. B. Li, pp. 15-22, LanZhou University Press, 1998.
-
X.S. Gao,
Building Dynamic Mathematical Models with Geometry Expert,
III. A Geometry Deductive Database
Proc. Of ATCM'99, 153-162, 1999, ATCM Inc., USA.
Java Geometry Expert
- Z. Ye, S.C. Chou, X.S. Gao,
Visually Dynamic Presentation of Proofs
in Plane Geometry, Part 1. Basic Features and the Manual Input
Method, Journal of Automated Reasoning, 45, 213-241, 2010.
- Z. Ye, S.C. Chou, X.S. 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, Journal of Automated Reasoning, 45, 213-241, 2010.
MMP: Platform for Mathematics Mechanization
- X.S. Gao, D.K. Wang, Z. Qiu, and H. Yang,
Equation Solving and Machien Proving - Problem Solving with
MMP (in Chinese ), Science Press, Beijing, 2006.
Evolutional Computing