@misc(Chou2011,
 author       = "Shang-Ching Chou and Xiao-Shan Gao and Zheng Ye",
 year         = "2004",
 title        = "Java Geometry Expert",
 howpublished = "\url {http://www.cs.wichita.edu/~ye/}",
)
@article(Chou96,
 author       = "Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang",
 year         = "1996",
 title        = "Automated Generation of Readable Proofs with Geometric Invariants, {I}. Multiple and Shortest Proof Generation",
 journal      = "Journal of Automated Reasoning",
 volume       = "17",
 pages        = "325--347",
 doi          = "10.1007/BF00283134",
)
@manual(Drepper2010,
 author       = "Ulrich Drepper and Jim Meyering and Fran{\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ç}intopreamble]}ois Pinard and Bruno Haible",
 year         = "2010",
 title        = "GNU gettext tools, version 0.18",
 edition      = "0.18",
 organization = "Free Software Foundation, Inc.",
)
@techreport(MatematicaA2011,
 author       = "Departamento do Ensino Secund\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{á}intopreamble]rio",
 year         = "2011",
 title        = "Matem\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{á}intopreamble]tica A, Cursos Gerais de Ci\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ê}intopreamble]ncias Naturais, Ci\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ê}intopreamble]ncias e Tecnologias, Ci\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ê}intopreamble]ncias S\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ó}intopreamble]cio-Econ\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ó}intopreamble]micas",
 type         = "Technical Report",
 institution  = "Minist\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{é}intopreamble]rio da Educa\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ç}intopreamble]\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ã}intopreamble]o, Rep\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ú}intopreamble]blica Portuguesa",
)
@misc(CaR2011,
 author       = "Ren\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{é}intopreamble] Grothmann",
 year         = "2011",
 title        = "About C.a.R.",
 howpublished = "\url {http://compute.ku-eichstaett.de/MGF/wikis/caruser/doku.php?id=history}",
)
@mastersthesis(hohenwarter2002,
 author       = "M Hohenwarter",
 year         = "2002",
 title        = "GeoGebra - a software system for dynamic geometry and algebra in the plane",
 school       = "University of Salzburg",
 address      = "Austria",
)
@inproceedings(Iglezakisd04,
 author       = "Dorothea Iglezakis",
 year         = "2004",
 title        = "Adaptive Help for Webbased Applications",
 booktitle    = "Adaptive Hypermedia and Adaptive Web-based systems",
 series       = "LNCS",
 volume       = "3137",
 publisher    = "Springer-Verlag",
 pages        = "304--307",
 doi          = "10.1007/978-3-540-27780-4\_38",
)
@inbook(Inoue10,
 author       = "Tomoo Inoue and Naoko Yoshimura",
 year         = "2010",
 title        = "EduWiki: A knowledge Construction System for Collaborative Learning",
 chapter      = "11",
 pages        = "167--176",
 volume       = "Advances in Learning Processes",
 publisher    = "I-Tech Education and Publishing KG, Vienna, Austria",
)
@book(Jackiw2001,
 author       = "N Jackiw",
 year         = "2001",
 title        = "The Geometer's Sketchpad v4.0",
 publisher    = "Key Curriculum Press",
)
@inproceedings(Janicic06b,
 author       = "Predrag Jani{\v c}i{\' c} and Pedro Quaresma",
 year         = "2007",
 title        = "Automatic Verification of Regular Constructions in Dynamic Geometry Systems",
 booktitle    = "Automated Deduction in Geometry",
 series       = "LNAI",
 volume       = "4869",
 publisher    = "Springer",
 address      = "Berlin / Heidelberg",
 pages        = "39--51",
 doi          = "10.1007/978-3-540-77356-6\_3",
 note         = "6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers",
)
@article(Janicic2010,
 author       = "P. Jani\v {c}i\'c and J. Narboux and P. Quaresma",
 year         = "2011",
 title        = "The {A}rea {M}ethod: a Recapitulation",
 journal      = "Journal of Automated Reasoning",
 number       = "to appear",
 doi          = "10.1007/s10817-010-9209-7",
)
@article(Janicic06c,
 author       = "Predrag Jani\v {c}i\'c",
 year         = "2006",
 title        = "{GCLC} --- A Tool for Constructive Euclidean Geometry and More Than That",
 journal      = "Lecture Notes in Computer Science",
 volume       = "4151",
 pages        = "58--73",
 doi          = "10.1007/11832225\_6",
)
@inproceedings(Janicic06a,
 author       = "Predrag Jani\v {c}i\'c and Pedro Quaresma",
 year         = "2006",
 title        = "{S}ystem {D}escription: {GCLC}prover + {G}eo{T}hms",
 editor       = "Ulrich Furbach and Natarajan Shankar",
 booktitle    = "Automated Reasoning",
 series       = "LNAI",
 volume       = "4130",
 publisher    = "Springer",
 pages        = "145--150",
 doi          = "10.1007/11814771\_13",
)
@article(Kapur86,
 author       = "Deepak Kapur",
 year         = "1986",
 title        = "Using {G}r\"obner bases to reason about geometry problems",
 journal      = "Journal of Symbolic Computation",
 volume       = "2",
 number       = "4",
 pages        = "399--408",
 doi          = "10.1016/S0747-7171(86)80007-4",
)
@article(Laborde90,
 author       = "J. M. Laborde and R. Str{\"a}sser",
 year         = "1990",
 title        = "Cabri-G{\'e}om{\`e}tre: A microworld of geometry guided discovery learning",
 journal      = "International reviews on mathematical education- Zentralblatt fuer didaktik der mathematik",
 volume       = "90",
 number       = "5",
 pages        = "171--177",
)
@inproceedings(Mora2001,
 author       = "Miguel Angel Mora and Roberto Moriy\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ó}intopreamble]n",
 year         = "2001",
 title        = "Collaborative analysis and tutoring: the FACT framework",
 booktitle    = "Advanced Learning Technologies, 2001. Proceedings. IEEE International Conference on",
 pages        = "82 --85",
 doi          = "10.1109/ICALT.2001.943861",
)
@inbook(Moriyon2008,
 author       = "R Moriy\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{ó}intopreamble]n and F Saiz and M Mora",
 year         = "2008",
 title        = "GeoThink: An Environment for Guided Collaborative Learning of Geometry",
 pages        = "198--206",
 series       = "Nuevas Ideas en Inform\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{á}intopreamble]tica Educativa",
 volume       = "4",
 publisher    = "J. S\begingroup \let \relax \relax \endgroup [Pleaseinsert\PrerenderUnicode{á}intopreamble]nchez (ed)",
 address      = "Santiago de Chile",
)
@inbook(Quaresma08,
 author       = "P. Quaresma and Toma\v {s}evi\'c J. Jani\v {c}i\'c, P. and M. V.-Jani\v {c}i\'c and D. To\v {s}i\'c",
 year         = "2008",
 title        = "Communicating Mathematics in The Digital Era",
 chapter      = "XML-Bases Format for Descriptions of Geometric Constructions and Proofs",
 pages        = "183--197",
 publisher    = "A. K. Peters, Ltd.",
)
@inproceedings(Quaresma2011,
 author       = "Pedro Quaresma",
 year         = "2011",
 title        = "Thousands of Geometric problems for geometric Theorem Provers (TGTP)",
 editor       = "P. Schreck and J. Narboux and J. Richter-Gebert",
 booktitle    = "ADG 2010",
 series       = "LNAI",
 volume       = "6877",
 publisher    = "Springer",
 address      = "Heidelberg",
 pages        = "168--180",
 doi          = "10.1007/978-3-642-25070-5\_10",
)
@inproceedings(Quaresma06d,
 author       = "Pedro Quaresma and Predrag Jani\v {c}i\'c",
 year         = "2006",
 title        = "Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories",
 editor       = "Jonathan {M. Borwein} and William {M. Farmer}",
 booktitle    = "Mathematical Knowledge Management",
 series       = "Lecture Notes in Artificial Intelligence",
 volume       = "4108",
 publisher    = "Springer",
 pages        = "280--294",
 doi          = "10.1007/11812289\_22",
)
@book(Richter-Gebert99,
 author       = "J{\"u}rgen Richter-Gebert and Ulrich Kortenkamp",
 year         = "1999",
 title        = "The Interactive Geometry Software Cinderella",
 publisher    = "Springer",
)
@techreport(Santiago2010,
 author       = "E. Santiago and Maxim Hendriks and Yves Kreis and Ulrich Kortenkamp and Daniel Marqu\`es",
 year         = "2010",
 title        = "{\sc i2g} {C}ommon {F}ile {F}ormat {F}inal {V}ersion",
 type         = "Technical Report",
 number       = "D3.10",
 institution  = "The Intergeo Consortium",
 url          = "http://i2geo.net/xwiki/bin/view/I2GFormat/",
)
@inproceedings(Santos08,
 author       = "Vanda Santos and Pedro Quaresma",
 year         = "2008",
 title        = "e\-{L}earning Course for {E}uclidean {G}eometry",
 booktitle    = "Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, July 1st- July 5th, 2008, Santander, Cantabria, Spain",
 pages        = "387--388",
 doi          = "10.1109/ICALT.2008.156",
)
@inproceedings(Wu00,
 author       = "W.-T. Wu",
 year         = "2000",
 title        = "The characteristic set method and its application",
 editor       = "X.-S. Gao and D. Wang",
 booktitle    = "Mathematics Mechanization and Applications",
 publisher    = "Academic Press",
 address      = "San Diego, CA",
 pages        = "3--41",
)