C. W. Brown (2003):
An Overview of QEPCAD B: a Tool for Real Quantifier Elimination and Formula Simplification.
Journal of Japan Society for Symbolic and Algebraic Computation 10(1),
pp. 13–22.
William Chapple (1746):
An essay on the properties of triangles inscribed in and circumscribed about two given circles.
Miscellanea Curiosa Mathematica 4,
pp. 117–124.
S. C. Chou (1988):
Mechanical Geometry Theorem Proving.
D. Reidel Publishing Company, Dordrecht, Netherlands.
Thierry Dana-Picard & Zoltán Kovács (2018):
Automated determination of isoptics with dynamic geometry.
In: F. Rabe, W. Farmer, G. Passmore & A. Youssef: Intelligent Computer Mathematics,
Lecture Notes in Artificial Intelligence 11006.
Springer International Publishing,
pp. 1–16,
doi:10.1007/978-3-319-96812-4_6.
J. H. Davenport (2017):
What Does ``Without Loss of Generality'' Mean, and How Do We Detect It.
Mathematics in Computer Science 11,
pp. 297–303,
doi:10.1007/s11786-017-0316-2.
Philip J. Davis (1995):
The Rise, Fall, and Possible Transfiguration of Triangle Geometry: A Mini-History.
The American Mathematical Monthly 102(3),
pp. 204–211,
doi:10.1080/00029890.1995.11990561.
Adam Adamandy Kochański (1685):
Observationes Cyclometricae adfacilitandam Praxin accomodatae.
Acta Eruditorum 4,
pp. 394–398.
Zoltán Kovács (2015):
The Relation Tool in GeoGebra 5.
In: Francisco Botana & Pedro Quaresma: Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers.
Springer International Publishing,
Cham,
pp. 53–71,
doi:10.1007/978-3-319-21362-0_4.
Zoltán Kovács (2020):
Automated Detection of Interesting Properties in Regular Polygons.
Mathematics in Computer Science 14,
pp. 727–755,
doi:10.1007/s11786-020-00491-z.
Zoltán Kovács (2020):
GeoGebra Discovery.
A GitHub project.
https://github.com/kovzol/geogebra-discovery.
Zoltán Kovács & Bernard Parisse (2015):
Giac and GeoGebra – Improved Gröbner Basis Computations.
In: Jaime Gutierrez, Josef Schicho & Martin Weimann: Computer Algebra and Polynomials,
Lecture Notes in Computer Science.
Springer,
pp. 126–138,
doi:10.1007/978-3-319-15081-9_7.
R. Losada, T. Recio & J. L. Valcarce (2011):
Equal Bisectors at a Vertex of a Triangle.
In: Beniamino Murgante, Osvaldo Gervasi, Andrés Iglesias, David Taniar & Bernady O. Apduhan: Computational Science and Its Applications - ICCSA 2011.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 328–341,
doi:10.1007/978-3-642-21898-9_29.
L. J. Mordell & D. F. Barrow (1937):
Solution to 3740.
American Mathematical Monthly 44,
pp. 252–254,
doi:10.2307/2300713.
J.L. Rabinowitsch (1929):
Zum Hilbertschen Nullstellensatz.
Mathematische Annalen 102(1),
pp. 520,
doi:10.1007/BF01782361.
Tomás Recio & M. Pilar Vélez (1999):
Automatic discovery of theorems in elementary geometry.
Journal of Automated Reasoning 23,
pp. 63–82,
doi:10.1023/A:1006135322108.
Thomas Sturm & Volker Weispfenning (1996):
Computational geometry problems in REDLOG.
In: International Workshop on Automated Deduction in Geometry. LNCS, vol. 1360.
Springer, Berlin, Heidelberg,
doi:10.1007/BFb0022720.
Róbert Vajda & Zoltán Kovács (2018):
realgeom, a tool to solve problems in real geometry.
A GitHub project.
https://github.com/kovzol/realgeom.
Róbert Vajda & Zoltán Kovács (2020):
GeoGebra and theıtshape realgeom Reasoning Tool.
In: Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer & Sophie Tourret: PAAR+SC-Square 2020. Workshop on Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020,
pp. 204–219.
F. Vale-Enriquez & C.W. Brown (2018):
Polynomial Constraints and Unsat Cores in Tarski.
In: Mathematical Software – ICMS 2018. LNCS, vol. 10931.
Springer, Cham,
pp. 466–474,
doi:10.1007/978-3-319-96418-8_55.
Wolfram Research, Inc. (2020):
Mathematica, Version 12.1.
Champaign, IL.
W. T. Wu (1978):
On the decision problem and the mechanization of theorem proving in elementary geometry.
Scientia Sinica 21,
pp. 157–179.