@inproceedings(Baeta2013, author = {Nuno Baeta and Pedro Quaresma}, year = {2013}, title = {The full angle method on the {OpenGeoProver}}, editor = {C. Lange and D. Aspinall and J. Carette and J. Davenport and A. Kohlhase and M. Kohlhase and P. Libbrecht and P. Quaresma and F. Rabe and P. Sojka and I. Whiteside and W. Windsteiger}, booktitle = {{MathUI}, {OpenMath}, {PLMMS} and {ThEdu} Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics}, series = {CEUR Workshop Proceedings}, volume = {1010}, address = {Aachen}, url = {http://ceur-ws.org/Vol-1010/paper-08.pdf}, ) @inproceedings(Baeta2020, author = {Nuno Baeta and Pedro Quaresma and Zolt\'an Kov\'acs}, year = {2020}, title = {Towards a Geometry Automated Provers Competition}, booktitle = {Proceedings 8th International Workshop on Theorem proving components for Educational software}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {313}, pages = {93--100}, doi = {10.4204/EPTCS.313.6}, note = {(ThEdu'19), Natal, Brazil, 25th August 2019,}, ) @article(Botana2015a, author = {Francisco Botana and Markus Hohenwarter and Jani\IeC{\v c}i\IeC{\'c}, Predrag and Kov\IeC{\'a}cs, Zolt\IeC{\'a}n and Petrovi\IeC{\'c}, Ivan and Tom\IeC{\'a}s Recio and Simon Weitzhofer}, year = {2015}, title = {{Automated Theorem Proving in GeoGebra: Current Achievements}}, journal = {Journal of Automated Reasoning}, volume = {55}, number = {1}, pages = {39--59}, doi = {10.1007/s10817-015-9326-4}, ) @article(Botana2020, author = {Francisco Botana and Zolt{\'{a}}n Kov{\'{a}}cs and Tom{\'{a}}s Recio}, year = {2020}, title = {A Mechanical Geometer}, journal = {Mathematics in Computer Science}, doi = {10.1007/s11786-020-00497-7}, ) @article(chou1996d, author = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang}, year = {1996}, title = {Automated Generation of Readable Proofs with Geometric Invariants, {II}. Theorem Proving With Full-Angles}, journal = {Journal of Automated Reasoning}, volume = {17}, number = {13}, pages = {349--370}, doi = {10.1007/BF00283134}, ) @article(Chou2000, author = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang}, year = {2000}, title = {A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering}, journal = {Journal of Automated Reasoning}, volume = {25}, pages = {219\IeC{\textendash}246}, doi = {10.1023/A:1006171315513}, ) @inproceedings(Han2019, author = {{The Anh} Han and {L{\'u}is Moniz} Pereira and Tom Lenaerts}, year = {2019}, title = {Modelling and Influencing the {AI} Bidding War: A Research Agenda}, booktitle = {AAAI/ACM conference on {AI}, Ethics and Society 2019}, doi = {10.1145/3306618.3314265}, url = {http://www.aies-conference.com/wp-content/papers/main/AIES- 19\_paper\_28.pdf}, ) @book(Hanna2019, editor = {Gila Hanna and David Reid and Michael de Villiers}, year = {2019}, title = {Proof Technology in Mathematics Research and Teaching}, publisher = {Springer}, doi = {10.1007/978-3-030-28483-1}, ) @inproceedings(Haralambous2014, author = {Yannis Haralambous and Pedro Quaresma}, year = {2014}, title = {Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices}, editor = {S. Watt et al.}, booktitle = {CICM 2014}, series = {LNAI}, volume = {8543}, publisher = {Springer}, pages = {298--311}, doi = {10.1007/978-3-319-08434-3\_22}, ) @inproceedings(Haralambous2018, author = {Yannis Haralambous and Pedro Quaresma}, year = {2018}, title = {Geometric Search in {TGTP}}, editor = {Hongbo Li}, booktitle = {Proceedings of the 12th International Conference on Automated Deduction in Geometry}, publisher = {SMS International}, url = {http://adg2018.cc4cm.org/ADG2018Proceedings}, ) @incollection(Janicic2006c, author = {Jani\v{c}i\'c, Predrag}, year = {2006}, title = {{GCLC} \IeC{\textemdash} {A} Tool for Constructive Euclidean Geometry and More Than That}, editor = {Andr\'es Iglesias and Nobuki Takayama}, booktitle = {Mathematical Software - ICMS 2006}, series = {Lecture Notes in Computer Science}, volume = {4151}, publisher = {Springer}, pages = {58--73}, doi = {10.1007/11832225\_6}, ) @article(Janicic2012a, author = {Jani\v{c}i\'c, Predrag and Julien Narboux and Pedro Quaresma}, year = {2012}, title = {The {A}rea {M}ethod: a Recapitulation}, journal = {Journal of Automated Reasoning}, volume = {48}, number = {4}, pages = {489--532}, doi = {10.1007/s10817-010-9209-7}, ) @inbook(Kovacs2015b, author = {Z. Kov\'acs and B. Parisse}, year = {2015}, title = {Computer algebra and polynomials}, chapter = {Giac and GeoGebra -- improved Gr\"obner basis computations}, pages = {126--138}, series = {LNCS}, volume = {8942}, publisher = {Springer Cham}, doi = {10.1007/978-3-319-15081-9\_7}, ) @article(Kovacs2019, author = {Z. Kov{\'{a}}cs and T. Recio and S{\'{o}}lyom-Gecse, C.}, year = {2019}, title = {Rewriting input expressions in complex algebraic geometry provers}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {85}, number = {2-4}, pages = {73--87}, doi = {10.1007/s10472-018-9590-1}, ) @article(Kovacs2018, author = {Zltan Kov\'acs and Tomas Recio and {Maria Pilar}. V\'elez}, year = {2018}, title = {Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry}, journal = {International Journal for Technology in Mathematics Education}, volume = {25}, number = {2}, pages = {33--50}, doi = {10.1564/tme\_v25.2.03}, ) @inproceedings(Kovacs2014, author = {Zolt{\'a}n Kov{\'a}cs}, year = {2014}, title = {The portfolio prover in GeoGebra 5}, booktitle = {Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014)}, ) @inproceedings(Kovacs2015, author = {Zolt{\'a}n Kov{\'a}cs}, year = {2015}, title = {The Relation Tool in GeoGebra 5}, editor = {Francisco Botana and Pedro Quaresma}, booktitle = {Automated Deduction in Geometry}, series = {Lecture Notes in Computer Science}, volume = {9201}, publisher = {Springer International Publishing}, pages = {53--71}, doi = {10.1007/978-3-319-21362-0\_4}, ) @article(Kovacs2019a, author = {Zolt{\'{a}}n Kov{\'{a}}cs and Tom{\'{a}}s Recio and M. Pilar V{\'{e}}lez}, year = {2019}, title = {Detecting truth, just on parts}, journal = {Revista Matem{\'{a}}tica Complutense}, volume = {32}, number = {2}, pages = {451--474}, doi = {10.1007/s13163-018-0286-1}, ) @inbook(Zoltan2022, author = {Zoltan Kov\'acs and Tomas Recio and {Maria Pilar} V\'elez}, year = {2022}, title = {Mathematics Education in the Age of Artificial Intelligence}, chapter = {Automated Reasoning Tools with GeoGebra: What are they? What are they good for?}, publisher = {Springer Nature}, note = {(to appear)}, ) @inproceedings(Kovacs2020a, author = {Kov\IeC{\'a}cs, Zolt\IeC{\'a}n and Tomas Recio}, year = {2020}, title = {GeoGebra Reasoning Tools for Humans and for Automatons}, booktitle = {Electronic Proceedings of the 25th Asian Technology Conference in Mathematics}, organization = {Radford University, Radford, Virginia, USA, and Suan Sunandha Rajabhat University, Thailand}, publisher = {Mathematics and Technology, LLC}, pages = {16--30}, doi = {10.13140/RG.2.2.26851.58407}, url = {http://atcm.mathandtech.org/EP2020/invited/21786.pdf}, ) @article(Ladra2020, author = {Manuel Ladra and P{\'{a}}ez-Guill{\'{a}}n, Pilar and Tom{\'{a}}s Recio}, year = {2020}, title = {Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick}, journal = {Revista de la Real Academia de Ciencias Exactas, F{\'{\i}}sicas y Naturales. Serie A. Matem{\'{a}}ticas}, volume = {114}, number = {4}, doi = {10.1007/s13398-020-00874-8}, ) @article(Nikolic2018, author = {Zolt{\'a}n Kov{\'a}cs \& Predrag Jani{\v c}i{\'c} Mladen Nikoli{\'c}, Vesna Marinkovi{\'c}}, year = {2019}, title = {Portfolio theorem proving and prover runtime prediction for geometry}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {85}, number = {2-4}, pages = {119--146}, doi = {10.1007/s10472-018-9598-6}, ) @article(Narboux2004, author = {Julien Narboux}, year = {2004}, title = {A Decision Procedure for Geometry in {C}oq}, journal = {Lecture Notes in Computer Science}, volume = {3223}, pages = {225--240}, doi = {10.1007/b100400}, url = {http://portal.acm.org/citation.cfm?id=1784950.1784959}, ) @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}, ) @techreport(Quaresma2019b, author = {Pedro Quaresma and Nuno Baeta}, year = {2019}, title = {Geometry Automated Theorem Provers Systems Competition 0.2 Report}, type = {techreport}, number = {1}, institution = {CISUC}, url = {https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR 2019- 01.pdf}, ) @proceedings(Quaresma2020c, editor = {Pedro Quaresma and Walther Neuper and Jo{\~{a}}o Marcos}, year = {2020}, title = {Proceedings 8th International Workshop on Theorem Proving Components for Educational Software}, volume = {313}, publisher = {Open Publishing Association}, doi = {10.4204/EPTCS.313}, ) @article(Quaresma2018c, author = {Pedro Quaresma and Vanda Santos and Nuno Baeta}, year = {2018}, title = {Exchange of Geometric Information Between Applications}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {267}, pages = {108--119}, doi = {10.4204/eptcs.267.7}, ) @article(Quaresma2018a, author = {Pedro Quaresma and Vanda Santos and Milena Mari{\'{c}}}, year = {2018}, title = {{WGL}, a web laboratory for geometry}, journal = {Education and Information Technologies}, volume = {23}, number = {1}, pages = {237--252}, doi = {10.1007/s10639-017-9597-y}, ) @article(Recio1999, author = {T. Recio and M. P. V\'{e}lez}, year = {1999}, title = {Automatic Discovery of Theorems in Elementary Geometry}, journal = {J. Autom. Reason.}, volume = {23}, pages = {63--82}, doi = {10.1023/A:1006135322108}, url = {http://dl.acm.org/citation.cfm?id=594128.594243}, ) @article(Sutcliffe2017, author = {G. Sutcliffe}, year = {2017}, title = {{The {TPTP} Problem Library and Associated Infrastructure. From {CNF} to {TH0}, {TPTP} v6.4.0}}, journal = {Journal of Automated Reasoning}, volume = {59}, number = {4}, pages = {483--502}, doi = {10.1007/s10817-017-9407-7}, ) @inproceedings(VajdaKovacs2020, author = {R\'obert Vajda and Zolt\'an Kov\'acs}, year = {2020}, title = {{G}eo{G}ebra and the {\itshape realgeom} Reasoning Tool}, editor = {P. Fontaine and K. Korovin and I. S. Kotsireas and P. R\"ummer and S. Tourret}, booktitle = {PAAR+SC-Square 2020. Workshop on Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Work shop 2020}, pages = {204--219}, eprint = {http://ceur-ws.org/Vol-2752/paper15.pdf}, ) @inproceedings(Weidenbach2017, author = {Christoph Weidenbach}, year = {2017}, title = {Do Portfolio Solvers Harm?}, editor = {Giles Reger and Dmitriy Traytel}, booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements}, series = {EPiC Series in Computing}, volume = {51}, publisher = {{EasyChair}}, pages = {76--81}, doi = {10.29007/vpxm}, )