Shang-Ching Chou, Xiao-Shan Gao & Jing-Zhong Zhang (1996):
Automated Generation of Readable Proofs with Geometric Invariants, I. Multiple and Shortest Proof Generation.
Journal of Automated Reasoning 17,
pp. 325–347,
doi:10.1007/BF00283134.
Ulrich Drepper, Jim Meyering, Fran\begingroupłet [Pleaseinsert\PrerenderUnicodeçintopreamble]ois Pinard & Bruno Haible (2010):
GNU gettext tools, version 0.18,
0.18 edition.
Free Software Foundation, Inc..
Departamento do Ensino Secund\begingroupłet [Pleaseinsert\PrerenderUnicodeáintopreamble]rio (2011):
Matem\begingroupłet [Pleaseinsert\PrerenderUnicodeáintopreamble]tica A, Cursos Gerais de Ci\begingroupłet [Pleaseinsert\PrerenderUnicodeêintopreamble]ncias Naturais, Ci\begingroupłet [Pleaseinsert\PrerenderUnicodeêintopreamble]ncias e Tecnologias, Ci\begingroupłet [Pleaseinsert\PrerenderUnicodeêintopreamble]ncias S\begingroupłet [Pleaseinsert\PrerenderUnicodeóintopreamble]cio-Econ\begingroupłet [Pleaseinsert\PrerenderUnicodeóintopreamble]micas.
Technical Report.
Minist\begingroupłet [Pleaseinsert\PrerenderUnicodeéintopreamble]rio da Educa\begingroupłet [Pleaseinsert\PrerenderUnicodeçintopreamble]\begingroupłet [Pleaseinsert\PrerenderUnicodeãintopreamble]o, Rep\begingroupłet [Pleaseinsert\PrerenderUnicodeúintopreamble]blica Portuguesa.
Ren\begingroupłet [Pleaseinsert\PrerenderUnicodeéintopreamble] Grothmann (2011):
About C.a.R..
http://compute.ku-eichstaett.de/MGF/wikis/caruser/doku.php?id=history.
M Hohenwarter (2002):
GeoGebra - a software system for dynamic geometry and algebra in the plane.
University of Salzburg,
Austria.
Dorothea Iglezakis (2004):
Adaptive Help for Webbased Applications.
In: Adaptive Hypermedia and Adaptive Web-based systems,
LNCS 3137.
Springer-Verlag,
pp. 304–307,
doi:10.1007/978-3-540-27780-4_38.
Tomoo Inoue & Naoko Yoshimura (2010):
EduWiki: A knowledge Construction System for Collaborative Learning, chapter 11,
pp. 167–176 Advances in Learning Processes.
I-Tech Education and Publishing KG, Vienna, Austria.
N Jackiw (2001):
The Geometer's Sketchpad v4.0.
Key Curriculum Press.
Predrag Janičić & Pedro Quaresma (2007):
Automatic Verification of Regular Constructions in Dynamic Geometry Systems.
In: Automated Deduction in Geometry,
LNAI 4869.
Springer,
Berlin / Heidelberg,
pp. 39–51,
doi:10.1007/978-3-540-77356-6_3.
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers.
P. Janiči\'c, J. Narboux & P. Quaresma (2011):
The Area Method: a Recapitulation.
Journal of Automated Reasoning to appear,
doi:10.1007/s10817-010-9209-7.
Predrag Janiči\'c (2006):
GCLC — A Tool for Constructive Euclidean Geometry and More Than That.
Lecture Notes in Computer Science 4151,
pp. 58–73,
doi:10.1007/11832225_6.
Predrag Janiči\'c & Pedro Quaresma (2006):
System Description: GCLCprover + GeoThms.
In: Ulrich Furbach & Natarajan Shankar: Automated Reasoning,
LNAI 4130.
Springer,
pp. 145–150,
doi:10.1007/11814771_13.
Deepak Kapur (1986):
Using Gröbner bases to reason about geometry problems.
Journal of Symbolic Computation 2(4),
pp. 399–408,
doi:10.1016/S0747-7171(86)80007-4.
J. M. Laborde & R. Strässer (1990):
Cabri-Géomètre: A microworld of geometry guided discovery learning.
International reviews on mathematical education- Zentralblatt fuer didaktik der mathematik 90(5),
pp. 171–177.
Miguel Angel Mora & Roberto Moriy\begingroupłet [Pleaseinsert\PrerenderUnicodeóintopreamble]n (2001):
Collaborative analysis and tutoring: the FACT framework.
In: Advanced Learning Technologies, 2001. Proceedings. IEEE International Conference on,
pp. 82 –85,
doi:10.1109/ICALT.2001.943861.
R Moriy\begingroupłet [Pleaseinsert\PrerenderUnicodeóintopreamble]n, F Saiz & M Mora (2008):
GeoThink: An Environment for Guided Collaborative Learning of Geometry,
pp. 198–206,
Nuevas Ideas en Inform\begingroupłet [Pleaseinsert\PrerenderUnicodeáintopreamble]tica Educativa 4.
J. S\begingroupłet [Pleaseinsert\PrerenderUnicodeáintopreamble]nchez (ed),
Santiago de Chile.
P. Quaresma, Tomaševi\'c J. Janiči\'c, P., M. V.-Janiči\'c & D. Toši\'c (2008):
Communicating Mathematics in The Digital Era, chapter XML-Bases Format for Descriptions of Geometric Constructions and Proofs,
pp. 183–197.
A. K. Peters, Ltd..
Pedro Quaresma (2011):
Thousands of Geometric problems for geometric Theorem Provers (TGTP).
In: P. Schreck, J. Narboux & J. Richter-Gebert: ADG 2010,
LNAI 6877.
Springer,
Heidelberg,
pp. 168–180,
doi:10.1007/978-3-642-25070-5_10.
Pedro Quaresma & Predrag Janiči\'c (2006):
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.
In: Jonathan M. Borwein & William M. Farmer: Mathematical Knowledge Management,
Lecture Notes in Artificial Intelligence 4108.
Springer,
pp. 280–294,
doi:10.1007/11812289_22.
Jürgen Richter-Gebert & Ulrich Kortenkamp (1999):
The Interactive Geometry Software Cinderella.
Springer.
E. Santiago, Maxim Hendriks, Yves Kreis, Ulrich Kortenkamp & Daniel Marquès (2010):
i2g Common File Format Final Version.
Technical Report D3.10.
The Intergeo Consortium.
Available at http://i2geo.net/xwiki/bin/view/I2GFormat/.
Vanda Santos & Pedro Quaresma (2008):
eLearning Course for Euclidean Geometry.
In: Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, July 1st- July 5th, 2008, Santander, Cantabria, Spain,
pp. 387–388,
doi:10.1109/ICALT.2008.156.
W.-T. Wu (2000):
The characteristic set method and its application.
In: X.-S. Gao & D. Wang: Mathematics Mechanization and Applications.
Academic Press,
San Diego, CA,
pp. 3–41.
eptcs@eptcs.org