References

References

 [CGZ93]

Shang-Ching Chou, Xiao-Shan Gao, and Jing-Zhong Zhang. Automated production of traditional proofs for constructive geometry theorems. In Moshe Vardi, editor, Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science LICS, pages 48-56. IEEE Computer Society Press, June 1993.

 [CGZ96]

Shang-Ching Chou, Xiao-Shan Gao, and Jing-Zhong Zhang. Automated generation of readable proofs with geometric invariants, I. multiple and shortest proof generation. Journal of Automated Reasoning, 17:325-347, 1996.

 [DJ04]

Mirjana Djoric and Predrag Janicic. Constructions, instructions, interactions. Teaching Mathematics and its Applications, 23(2):69-88, 2004.

 [JT03]

Predrag Janicic and Ivan Trajkovic. Wingclc -- a workbench for formally describing figures. In Proceedings of the 18th Spring Conference on Computer Graphics (SCCG 2003), pages 251-256. ACM Press, New York, USA, April, 24-26 2003.

 [Nar04]

Julien Narboux. A decision procedure for geometry in coq. In Proceedings TPHOLS 2004, volume 3223 of Lecture Notes in Computer Science. Springer, 2004.

 [Obr]

Christiam Obrecht. Eukleides. http://www.eukleides.org/.

 [QJ06]

Pedro Quaresma and Predrag Janicic. Framework for constructive geometry (based on the area method). Technical Report 2006/001, Centre for Informatics and Systems of the University of Coimbra, 2006.

 [QP06]

Pedro Quaresma and Ana Pereira. Visualização de construções geométricas. Gazeta de Matemática, 2006. accepted for publication.

 [ZCG95]

Jing-Zhong Zhang, Shang-Ching Chou, and Xiao-Shan Gao. Automated production of traditional proofs for theorems in euclidean geometry i. the hilbert intersection point theorems. Annals of Mathematics and Artificial Intelligenze, 13:109-137, 1995.

References