@article(Botana2015a,
 author       = {Francisco Botana and Markus Hohenwarter and Jani{\v{c}}i{\'c}, Predrag and Zolt{\'a}n Kov{\'a}cs and Ivan Petrovi{\'c} and Tom{\'a}s Recio and Simon Weitzhofer},
 year         = {2015},
 title        = {Automated {T}heorem {P}roving in {G}eo{G}ebra: {C}urrent {A}chievements},
 journal      = {Journal of Automated Reasoning},
 volume       = {55},
 number       = {1},
 pages        = {39--59},
 doi          = {10.1007/s10817-015-9326-4},
)
@proceedings(Botana2015,
 editor       = {Francisco Botana and Pedro Quaresma},
 year         = {2015},
 title        = {Automated Deduction in Geometry, 10th International Workshop, ADG 2014},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {9201},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-21362-0},
)
@inproceedings(boutry2014a,
 author       = {Pierre Boutry and Julien Narboux and Pascal Schreck and Gabriel Braun},
 year         = {2014},
 title        = {Using small scale automation to improve both accessibility and readability of formal proofs in geometry},
 editor       = {Francisco Botana and Pedro Quaresma},
 booktitle    = {Preliminary Proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG~2014, Coimbra, Portugal, 9--11~July, 2014},
 series       = {CISUC Tech Reports},
 volume       = {TR 2014/01},
 pages        = {31--49},
 url          = {https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR 2014-01.pdf},
)
@inbook(debruijn1994a,
 author       = {Nicolaas~Govert de~Bruijn},
 year         = {1994},
 title        = {A {S}urvey of the {P}roject {A}utomath},
 chapter      = {A {S}urvey of the {P}roject {A}utomath},
 pages        = {141--161},
 series       = {Studies in Logic and the Foundations of Mathematics},
 volume       = {133},
 publisher    = {North Holland},
 doi          = {10.1016/S0049-237X(08)70203-9},
)
@phdthesis(Chou1985,
 author       = {S.C. Chou},
 year         = {1985},
 title        = {Proving and discovering geometry theorems using {W}u's method},
 school       = {The University of Texas, Austin},
)
@book(chou1988a,
 author       = {Shang-Ching Chou},
 year         = {1988},
 title        = {Mechanical Geometry Theorem Proving},
 series       = {Mathematics and Its Applications},
 volume       = {41},
 publisher    = {D.~Reidel Publishing Company},
)
@techreport(Chou1994b,
 author       = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang},
 year         = {1994},
 title        = {A {C}ollection of 110 {G}eometry {T}heorems and {T}heir {M}achine {P}roduced {P}roofs {U}sing {F}ull-{A}ngles},
 type         = {Technical Report},
 number       = {TR-94-4},
 institution  = {Department of Computer Science, Wichita State University},
 url          = {https://www.researchgate.net/publication/239564904},
)
@book(chou1994a,
 author       = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang},
 year         = {1994},
 title        = {Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Problems},
 series       = {Applied Mathematics},
 volume       = {6},
 publisher    = {World Scientific},
 doi          = {10.1142/9789812798152},
 url          = {https://www.researchgate.net/publication/240102887},
)
@article(Chou1996a,
 author       = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang},
 year         = {1996},
 title        = {Automated {G}eneration of {R}eadable {P}roofs with {G}eometric {I}nvariants: {I}. {M}ultiple and {S}hortest {P}roof {G}eneration},
 journal      = {Journal of Automated Reasoning},
 volume       = {17},
 number       = {3},
 pages        = {325--347},
 doi          = {10.1007/bf00283133},
)
@article(Chou1996b,
 author       = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang},
 year         = {1996},
 title        = {Automated {G}eneration of {R}eadable {P}roofs with {G}eometric {I}nvariants: {II}. {T}heorem {P}roving {W}ith {F}ull-{A}ngles},
 journal      = {Journal of Automated Reasoning},
 volume       = {17},
 number       = {3},
 pages        = {349--370},
 doi          = {10.1007/BF00283134},
)
@article(chou2000a,
 author       = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang},
 year         = {2000},
 title        = {A {D}eductive {D}atabase {A}pproach to {A}utomated {G}eometry {T}heorem {P}roving and {D}iscovering},
 journal      = {Journal of Automated Reasoning},
 volume       = {25},
 number       = {3},
 pages        = {219--246},
 doi          = {10.1023/A:1006171315513},
)
@article(coelho1986a,
 author       = {Helder Coelho and Luis~Moniz Pereira},
 year         = {1986},
 title        = {Automated {R}easoning in {G}eometry {T}heorem {P}roving with {P}rolog},
 journal      = {Journal of Automated Reasoning},
 volume       = {2},
 number       = {4},
 pages        = {329--390},
 doi          = {10.1007/BF00248249},
)
@inproceedings(Gelertner1959,
 author       = {H.~Gelernter},
 year         = {1995},
 title        = {Realization of a geometry-theorem proving machine},
 booktitle    = {Computers \& thought},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
 pages        = {134--152},
 isbn = {ISBN: 0-262-56092-5},
)
@article(Janicic2012a,
 author       = {Jani{\v{c}}i{\'c}, Predrag and Julien Narboux and Pedro Quaresma},
 year         = {2012},
 title        = {The {A}rea {M}ethod: {A} {R}ecapitulation},
 journal      = {Journal of Automated Reasoning},
 volume       = {48},
 number       = {4},
 pages        = {489--532},
 doi          = {10.1007/s10817-010-9209-7},
)
@inproceedings(Janicic2006a,
 author       = {Jani{\v{c}}i{\'c}, Predrag and Pedro Quaresma},
 year         = {2006},
 title        = {System {D}escription: {GCLC}prover + {G}eo{T}hms},
 editor       = {Ulrich Furbach and Natarajan Shankar},
 booktitle    = {Automated Reasoning: Third International Joint Conference, IJCAR~2006, Seattle, WA, USA, August~17--20, 2006, Proceedings},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {4130},
 publisher    = {Springer},
 pages        = {145--150},
 doi          = {10.1007/11814771\_13},
)
@inproceedings(Janicic2007a,
 author       = {Jani{\v{c}}i{\'c}, Predrag and Pedro Quaresma},
 year         = {2007},
 title        = {Automatic {V}erification of {R}egular {C}onstructions in {D}ynamic {G}eometry {S}ystems},
 editor       = {Francisco Botana and Tom{\'a}s Recio},
 booktitle    = {Automated Deduction in Geometry: 6th International Workshop, ADG~2006, Pontevedra, Spain, August~31--September~2, 2006, Revised Papers},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {4869},
 publisher    = {Springer},
 pages        = {39--51},
 doi          = {10.1007/978-3-540-77356-6\_3},
)
@article(Jiang2012,
 author       = {Jianguo Jiang and Jingzhong Zhang},
 year         = {2012},
 title        = {A review and prospect of readable machine proofs for geometry theorems},
 journal      = {Journal of Systems Science and Complexity},
 volume       = {25},
 number       = {4},
 pages        = {802--820},
 doi          = {10.1007/s11424-012-2048-3},
)
@article(Kapur1986,
 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},
)
@inbook(Kovacs2015,
 author       = {Zolt{\'a}n Kov{\'a}cs},
 year         = {2015},
 title        = {The Relation Tool in GeoGebra 5},
 pages        = {53--71},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {9201},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-319-21362-0\_4},
)
@inproceedings(Li2000,
 author       = {H.~Li},
 year         = {2000},
 title        = {Clifford algebra approaches to mechanical geometry theorem proving},
 editor       = {X.-S. Gao and D.~Wang},
 booktitle    = {Mathematics Mechanization and Applications},
 publisher    = {Academic Press},
 address      = {San Diego, CA},
 pages        = {205--299},
 doi          = {10.1016/B978-012734760-8/50009-0},
)
@misc(NarbouxContribArea,
 author       = {Julien Narboux},
 year         = {2009},
 title        = {Formalization of the Area Method},
 howpublished = {Coq user contribution},
 note         = {\url{http://dpt-info.u-strasbg.fr/~narboux/area_method.html}},
)
@inproceedings(Paneque2016,
 author       = {Juan Paneque and Pedro Cobo and Josep Fortuny and {R. Richard}, Philippe},
 year         = {2016},
 title        = {Argumentative Effects of a Geometric Construction Tutorial System in Solving Problems of Proof},
 booktitle    = {Proceedings of the 4th International Workshop on Theorem proving components for Educational software July 15, 2015 Washington, D.C., USA},
 series       = {CISUC Technical Reports},
 volume       = {2016-001},
 pages        = {13--35},
 url          = {https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR 2016-01.pdf},
)
@incollection(Quaresma2011,
 author       = {Pedro Quaresma},
 year         = {2011},
 title        = {{T}housands of {G}eometric Problems for Geometric {T}heorem {P}rovers ({TGTP})},
 editor       = {Pascal Schreck and Julien Narboux and Richter-Gebert, J{\"u}rgen},
 booktitle    = {Automated Deduction in Geometry},
 series       = {Lecture Notes in Computer Science},
 volume       = {6877},
 publisher    = {Springer},
 pages        = {169--181},
 doi          = {10.1007/978-3-642-25070-5\_10},
)
@article(Quaresma2017a,
 author       = {Pedro Quaresma},
 year         = {2017},
 title        = {Towards an {I}ntelligent and {D}ynamic {G}eometry {B}ook},
 journal      = {Mathematics in Computer Science},
 volume       = {11},
 number       = {3--4},
 pages        = {427--437},
 doi          = {10.1007/s11786-017-0302-8},
)
@inproceedings(Quaresma2015a,
 author       = {Pedro Quaresma and Nuno Baeta},
 year         = {2015},
 title        = {Current {S}tatus of the {I2GATP} {C}ommon {F}ormat},
 editor       = {Francisco Botana and Pedro Quaresma},
 booktitle    = {Automated Deduction in Geometry: 10th International Workshop, ADG~2014, Coimbra, Portugal, July~9--1, 2014, Revised Selected Papers},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {9201},
 publisher    = {Springer},
 pages        = {119--128},
 doi          = {10.1007/978-3-319-21362-0\_8},
)
@article(Quaresma2019,
 author       = {Pedro Quaresma and Vanda Santos and Pierluigi Graziani and Nuno Baeta},
 year         = {2019},
 title        = {Taxonomies of geometric problems},
 journal      = {Journal of Symbolic Computation},
 note         = {(in press)},
 doi          = {10.1016/j.jsc.2018.12.004},
)
@article(Richard2009,
 author       = {Philippe Richard and Pedro Cobo and Josep Fortuny and Markus Hohenwarter},
 year         = {2009},
 title        = {Training teachers to manage problem-solving classes with computer support},
 journal      = {Revista de Inform\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{á}intopreamble]tica Aplicada / Journal of Applied Computing},
 volume       = {5},
 number       = {1},
 pages        = {38--50},
 doi          = {10.13037/rasvol5n1},
)
@techreport(Rowe1972,
 author       = {Mary~Budd Rowe},
 year         = {1972},
 title        = {Wait-Time and Rewards as Instructional Variables: Their Influence on Language, Logic, and Fate Control},
 type         = {Technical Report},
 institution  = {National Association for Research in Science Teaching},
 url          = {https://files.eric.ed.gov/fulltext/ED061103.pdf},
)
@techreport(Stahl1994,
 author       = {Robert~J. Stahl},
 year         = {1994},
 title        = {Using ''Think-Time'' and ''Wait-Time'' Skillfully in the Classroom},
 type         = {Technical Report},
 institution  = {ERIC Digest},
 url          = {http://files.eric.ed.gov/fulltext/ED370885.pdf},
)
@inproceedings(Stojanovic2011a,
 author       = {Sana Stojanovi{\'c} and Vesna Pavlovi{\'c} and Jani{\v{c}}i{\'c}, Predrag},
 year         = {2011},
 title        = {A {C}oherent {L}ogic {B}ased {G}eometry {T}heorem {P}rover {C}apable of {P}roducing {F}ormal and {R}eadable {P}roofs},
 editor       = {Pascal Schreck and Julien Narboux and Richter-Gebert, J{\"u}rgen},
 booktitle    = {Automated Deduction in Geometry: 8th International Workshop, ADG~2010, Munich, Germany, July~22-24, 2010, Revised Selected Papers},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {6877},
 publisher    = {Springer},
 pages        = {201--220},
 doi          = {10.1007/978-3-642-25070-5\_12},
)
@article(Sutcliffe2018,
 author       = {Geoffrey Sutcliffe},
 year         = {2016},
 title        = {The 8th IJCAR automated theorem proving system competition - CASC-J8},
 journal      = {AI Communications},
 volume       = {29},
 number       = {5},
 pages        = {607--619},
 doi          = {10.3233/AIC-160709},
)
@inproceedings(Wang95,
 author       = {D.~Wang},
 year         = {1995},
 title        = {Reasoning about geometric problems using an elimination method},
 editor       = {J.~Pfalzgraf and D.~Wang},
 booktitle    = {Automated Pratical Reasoning},
 publisher    = {Springer},
 address      = {New York},
 pages        = {147--185},
 doi          = {10.1007/978-3-7091-6604-8\_8},
)
@misc(Wiedijk2000,
 author       = {Freek Wiedijk},
 year         = {2000},
 title        = {The {de Bruijn} factor},
 howpublished = {Poster at International Conference on Theorem Proving in Higher Order Logics (TPHOL2000)},
 note         = {Portland, Oregon, USA, 14-18 August 2000},
)
@inbook(Wu1984,
 author       = {W.T. Wu},
 year         = {1984},
 title        = {Automated Theorem Proving: After 25 Years},
 chapter      = {On the decision problem and the mechanization of theorem proving in elementary geometry},
 pages        = {213--234},
 volume       = {29},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/conm/029},
)
@article(ye2010a,
 author       = {Zheng Ye and Shang-Ching Chou and Xiao-Shan Gao},
 year         = {2010},
 title        = {Visually {D}ynamic {P}resentation of {P}roofs in {P}lane {G}eometry: {P}art 1. {B}asic {F}eatures and the {M}anual {I}nput {M}ethod},
 journal      = {Journal of Automated Reasoning},
 volume       = {45},
 number       = {3},
 pages        = {213--241},
 doi          = {10.1007/s10817-009-9162-5},
)
@article(ye2010b,
 author       = {Zheng Ye and Shang-Ching Chou and Xiao-Shan Gao},
 year         = {2010},
 title        = {Visually {D}ynamic {P}resentation of {P}roofs in {P}lane {G}eometry: {P}art 2. {A}utomated {G}eneration of {V}isually {D}ynamic {P}resentations with the {F}ull-{A}ngle {M}ethod and the {D}eductive {D}atabase {M}ethod},
 journal      = {Journal of Automated Reasoning},
 volume       = {45},
 number       = {3},
 pages        = {243--266},
 doi          = {10.1007/s10817-009-9163-4},
)
@incollection(Ye2011,
 author       = {Zheng Ye and Shang-Ching Chou and Xiao-Shan Gao},
 year         = {2011},
 title        = {An Introduction to Java Geometry Expert},
 editor       = {Thomas Sturm and Christoph Zengler},
 booktitle    = {Automated Deduction in Geometry},
 series       = {Lecture Notes in Computer Science},
 volume       = {6301},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {189--195},
 doi          = {10.1007/978-3-642-21046-4\_10},
)
@article(zhang1995a,
 author       = {Jing-Zhong Zhang and Shang-Ching Chou and Xiao-Shan Gao},
 year         = {1995},
 title        = {Automated production of traditional proofs for theorems in {E}uclidean geometry: {I}. {T}he {H}ilbert intersection point theorems},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {13},
 number       = {1--2},
 pages        = {109--137},
 doi          = {10.1007/BF01531326},
)