|  |  | 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