Nuno Baeta
Pedro Quaresma
2013
The full angle method on the OpenGeoProver
Christoph Lange
David Aspinall
Jacques Carette
James Davenport
Andrea Kohlhase
Michael Kohlhase
Paul Libbrecht
Pedro Quaresma
Florian Rabe
Petr Sojka
Iain Whiteside
Wolfgang Windsteiger
MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics
CEUR Workshop Proceedings
1010
Aachen
http://ceur-ws.org/Vol-1010/paper-08.pdf
Nuno Baeta
Pedro Quaresma
2019
Towards Ranking Geometric Automated Theorem Provers
Pedro Quaresma
Walther Neuper
Proceedings 7th International Workshop on
Electronic Proceedings in Theoretical Computer Science
290
Open Publishing Association
30–37
10.4204/EPTCS.290.3
Ezio Bartocci
Dirk Beyer
Paul E. Black
Grigory Fedyukovich
Hubert Garavel
Arnd Hartmanns
Marieke Huisman
Fabrice Kordon
Julian Nagele
Mihaela Sighireanu
Bernhard Steffen
Martin Suda
Geoff Sutcliffe
Tjark Weber
Akihisa Yamada
2019
TOOLympics 2019: An Overview of Competitions in Formal Methods
Dirk Beyer
Marieke Huisman
Fabrice Kordon
Bernhard Steffen
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science
11429
Springer International Publishing
3–24
10.1007/978-3-030-17502-3_1
Dirk Beyer
Marieke Huisman
Fabrice Kordon
Bernhard Steffen
2019
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics
LNCS
11429
Springer
10.1007/978-3-030-17462-0
Francisco Botana
Markus Hohenwarter
Predrag Janiči\'c
Zoltán Kovács
Ivan Petrovi\'c
Tomás Recio
Simon Weitzhofer
2015
Automated Theorem Proving in GeoGebra: Current Achievements
Journal of Automated Reasoning
55
1
39–59
10.1007/s10817-015-9326-4
Francisco Botana
Zoltán Kovács
2014
A Singular web service for geometric computations
Annals of Mathematics and Artificial Intelligence
1–12
10.1007/s10472-014-9438-2
Francisco Botana
Zoltán Kovács
Simon Weitzhofer
2012
Implementing theorem proving in GeoGebra by using a Singular webservice
Proceedings EACA 2012, Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones
Universidad de Alcalá
67–70
https://www.researchgate.net/publication/277475035_Implementing_Theorem_Proving_in_GeoGebra_by_Using_a_Singular_Webservice
David Braun
Nicolas Magaud
Pascal Schreck
2018
Formalizing Some ``Small'' Finite Models of Projective Geometry in Coq
Jacques Fleuriot
Dongming Wang
Jacques Calmet
Artificial Intelligence and Symbolic Computation
LNCS
11110
54–69
Springer
Cham
10.1007/978-3-319-99957-9_4
Shang-Ching Chou
Xiao-Shan Gao
Jing-Zhong Zhang
1994
Machine Proofs in Geometry
World Scientific
10.1142/2196
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
13
325–347
10.1007/BF00283133
Shang-Ching Chou
Xiao-Shan Gao
Jing-Zhong Zhang
1996
Automated Generation of Readable Proofs with Geometric Invariants, II. Theorem Proving With Full-Angles
Journal of Automated Reasoning
17
13
349–370
10.1007/BF00283134
Xiao-Shan Gao
1999
Building Dynamic Mathematical Models with Geometry Expert, III. A Geometry Deductive Database
Proceedings Of ATCM'99
ATCM Inc., USA
153–162
Xiao-Shan Gao
C. C. Zhu
Y. Huang
1998.
Building Dynamic Mathematical Models with Geometry Expert, II. Linkage
Z. B. Li
Proceedings of the Third Asian Symposium on Computer Mathematics
LanZhou University Press
15–22
Xiao-Shan Gao
Qiang Lin
2004
MMP/Geometer - A Software Package for Automated Geometric Reasoning
Lecture Notes in Computer Science
2930
44–66
10.1007/978-3-540-24616-9_4
Xiao-Shan Gao
C. C. Zhu
Y. Huang
1998
Building Dynamic Visual and Logic Models with Geometry Expert I
W.C. Yang
Proceedings of the Third Asian Technology Conference in Mathematics
Springer
216–226
Jean-David Génevaux
Julien Narboux
Pascal Schreck
2011
Formalization of Wu's Simple Method in Coq
Jean-Pierre Jouannaud
Zhong Shao
Certified Programs and Proofs
Springer Berlin Heidelberg
Berlin, Heidelberg
71–86
10.1007/978-3-642-25379-9_8
Benjamin Grégoire
Loïc Pottier
Laurent Théry
2011
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
Thomas Sturm
Christoph Zengler
Automated Deduction in Geometry
Springer Berlin Heidelberg
Berlin, Heidelberg
42–59
10.1007/978-3-642-21046-4_3
Predrag Janiči\'c
2006
GCLC \begingroupłet [Pleaseinsert\PrerenderUnicode—intopreamble] A Tool for Constructive Euclidean Geometry and More Than That
Andrés Iglesias
Nobuki Takayama
Mathematical Software - ICMS 2006
Lecture Notes in Computer Science
4151
Springer
58–73
10.1007/11832225_6
Predrag Janiči\'c
Julien Narboux
Pedro Quaresma
2012
The Area Method: a Recapitulation
Journal of Automated Reasoning
48
4
489–532
10.1007/s10817-010-9209-7
Zoltán Kovács
2015
The Relation Tool in GeoGebra 5
Francisco Botana
Pedro Quaresma
Automated Deduction in Geometry
Lecture Notes in Computer Science
9201
Springer
53–71
10.1007/978-3-319-21362-0_4
Zoltán Kovács
Bernard Parisse
2015
Giac and GeoGebra – Improved Gröbner Basis Computations
Jaime Gutierrez
Josef Schicho
Martin Weimann
Computer Algebra and Polynomials
Lecture Notes in Computer Science
Springer
126–138
10.1007/978-3-319-15081-9_7
Zoltán Kovács
Tomás Recio
Simon Weitzhofer
2012
Implementing theorem proving in GeoGebra by using exact check of a statement in a bounded number of test cases
Proceedings EACA 2012, Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones
Universidad de Alcalá
123–126
https://www.researchgate.net/publication/265059624_Implementing_Theorem_Proving_in_GeoGebra_by_Exact_Check_of_a_Statement_in_a_Bounded_Number_of_Test_Cases
Julien Narboux
2009
Formalization of the Area Method
Coq user contribution
http://dpt-info.u-strasbg.fr/~narboux/area_method.html
Mladen Nikoli\'c
Vesna Marinkovi\'c
Zoltán Kovács
Predrag Janiči\'c
2018
Portfolio theorem proving and prover runtime prediction for geometry
Annals of Mathematics and Artificial Intelligence
1–28
10.1007/s10472-018-9598-6
Ivan Petrovi\'c
Predrag Janiči\'c
2012
Integration of OpenGeoProver with GeoGebra
http://argo.matf.bg.ac.rs/events/2012/fatpa2012/slides/IvanPetrovic.pdf
Loïc Pottier
Laurent Théry
1998
gbcoq
http://www-sop.inria.fr/croap/CFC/Gbcoq.html.
Loïc Pottier
2008
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics
Knowledge Exchange: Automated Provers and Proof Assistants
418
http://arxiv.org/abs/1007.3615
Pedro Quaresma
2011
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
Pascal Schreck
Julien Narboux
Jürgen Richter-Gebert
Automated Deduction in Geometry
Lecture Notes in Computer Science
6877
Springer
169–181
10.1007/978-3-642-25070-5_10
Pedro Quaresma
Nuno Baeta
2015
Current Status of the I2GATP Common Format
Francisco Botana
Pedro Quaresma
Automated Deduction in Geometry
Lecture Notes in Artificial Intelligence
9201
Springer
119–128
10.1007/978-3-319-21362-0_8
Pedro Quaresma
Vanda Santos
2019
Proof Technology in Mathematics Research and Teaching
Computer-generated geometry proofs in a learning context
Springer
10.1007/978-3-030-28483-1
Pedro Quaresma
Vanda Santos
Pierluigi Graziani
Nuno Baeta
2019
Taxonomies of geometric problems
Journal of Symbolic Computation
97
31–55
Elsevier
10.1016/j.jsc.2018.12.004
Mary Budd Rowe
1972
Wait-Time and Rewards as Instructional Variables: Their Influence on Language, Logic, and Fate Control
Technical Report
National Association for Research in Science Teaching
https://files.eric.ed.gov/fulltext/ED061103.pdf
Robert J. Stahl
1994
Using ``Think-Time'' and ``Wait-Time'' Skillfully in the Classroom
Technical Report
ERIC Digest
http://files.eric.ed.gov/fulltext/ED370885.pdf
Sana Stojanovi\begingroupłet [Pleaseinsert\PrerenderUnicodećintopreamble]
Vesna Pavlovi\begingroupłet [Pleaseinsert\PrerenderUnicodećintopreamble]
Predrag Jani\begingroupłet [Pleaseinsert\PrerenderUnicodečintopreamble]i\begingroupłet [Pleaseinsert\PrerenderUnicodećintopreamble]
2011
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
Pascal Schreck
Julien Narboux
Jürgen Richter-Gebert
Automated Deduction in Geometry
Lecture Notes in Computer Science
6877
Springer Berlin Heidelberg
201–220
10.1007/978-3-642-25070-5_12
Aaron Stump
Geoff Sutcliffe
Cesare Tinelli
2014
StarExec: A Cross-Community Infrastructure for Logic Solving
Stéphane Demri
Deepak Kapur
Christoph Weidenbach
Automated Reasoning
Springer International Publishing
Cham
367–373
10.1007/978-3-319-08587-6_28
Dongming Wang
2004
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically
Franz Winkler
Automated Deduction in Geometry
Lecture Notes in Computer Science
2930
Springer
Berlin, Heidelberg
194–215
10.1007/978-3-540-24616-9_12
Freek Wiedijk
2000
The de Bruijn factor
Poster at International Conference on Theorem Proving in Higher Order Logics (TPHOL2000)
Portland, Oregon, USA, 14-18 August 2000
Wen-Tsun Wu
1984
Automated Theorem Proving: After 25 Years
On the decision problem and the mechanization of theorem proving in elementary geometry
213–234
Contemporary Mathematics
29
American Mathematical Society
10.1090/conm/029/12
Zheng Ye
Shang-Ching Chou
Xiao-Shan Gao
2011
An Introduction to Java Geometry Expert
Thomas Sturm
Christoph Zengler
Automated Deduction in Geometry
Lecture Notes in Computer Science
6301
Springer
Berlin Heidelberg
189–195
10.1007/978-3-642-21046-4_10