- X. Chen and D. Wang. Management of geometric knowledge in textbooks. Data & Knowledge Engineering, 73:43--57, 2012. Google ScholarDigital Library
- S.-C. Chou. Mechanical Geometry Theorem Proving. Reidel, Dordrecht, 1988. Google ScholarDigital Library
- H. S. M. Coxeter and S. L. Greitzers. Geometry Revisited. The Mathematical Association of America, Washington, D.C., 1967.Google Scholar
- GeoData, http://geo.cc4cm.org/data/.Google Scholar
- GeoDraw, http://geo.cc4cm.org/draw/.Google Scholar
- GeoGebra, http://www.geogebra.org/cms/.Google Scholar
- GEOTHER --- geometry theorem prover, http://www-polsys.lip6.fr/~wang/GEOTHER/.Google Scholar
- J. Hadamard. Lessons in Geometry I. Plane Geometry. American Mathematical Society, Providence, RI, 2008.Google ScholarCross Ref
- JDesktop Integration Components, http://www.javadesktop.org/articles/jdic/.Google Scholar
- Prefuse --- information visualization toolkit, http://prefuse.org/.Google Scholar
- Saxon XSLT processor, http://saxon.sourceforge.net/.Google Scholar
Index Terms
- GeoText: an intelligent dynamic geometry textbook
Comments