@book(Bottema69,
author = {O. Bottema and R.Z. Djordjevic and R.R. Janic and D.S. Mitrinovic and P.M. Vasic},
year = {1969},
title = {Geometric Inequalities},
publisher = {Wolters-Noordhoff Publishing, Groningen},
)
@article(Brown03,
author = {C. W. Brown},
year = {2003},
title = {An Overview of {QEPCAD} {B}: a Tool for Real Quantifier Elimination and Formula Simplification},
journal = {Journal of Japan Society for Symbolic and Algebraic Computation},
volume = {10},
number = {1},
pages = {13--22},
)
@article(Chapple1746,
author = {William Chapple},
year = {1746},
title = {An essay on the properties of triangles inscribed in and circumscribed about two given circles},
journal = {Miscellanea Curiosa Mathematica},
volume = {4},
pages = {117--124},
)
@book(Chou88,
author = {S. C. Chou},
year = {1988},
title = {Mechanical Geometry Theorem Proving},
publisher = {D. Reidel Publishing Company, Dordrecht, Netherlands},
)
@inproceedings(LNAI11006-isoptics,
author = {Dana-Picard, Thierry and Zolt\'an Kov\'acs},
year = {2018},
title = {Automated determination of isoptics with dynamic geometry},
editor = {F. Rabe and W. Farmer and G. Passmore and A. Youssef},
booktitle = {Intelligent Computer Mathematics},
series = {Lecture Notes in Artificial Intelligence},
volume = {11006},
publisher = {Springer International Publishing},
pages = {1--16},
doi = {10.1007/978-3-319-96812-4\_6},
)
@article(Davenport2017,
author = {J. H. Davenport},
year = {2017},
title = {What Does ``Without Loss of Generality'' Mean, and How Do We Detect It},
journal = {Mathematics in Computer Science},
volume = {11},
pages = {297--303},
doi = {10.1007/s11786-017-0316-2},
)
@article(Davis95,
author = {Philip J. Davis},
year = {1995},
title = {The Rise, Fall, and Possible Transfiguration of Triangle Geometry: A Mini-History},
journal = {The American Mathematical Monthly},
volume = {102},
number = {3},
pages = {204--211},
doi = {10.1080/00029890.1995.11990561},
)
@article(Kochanski,
author = {Adam Adamandy Kocha\'nski},
year = {1685},
title = {Observationes Cyclometricae adfacilitandam Praxin accomodatae},
journal = {Acta Eruditorum},
volume = {4},
pages = {394--398},
)
@incollection(RelTool-ADG2014,
author = {Zolt{\'a}n Kov{\'a}cs},
year = {2015},
title = {The {R}elation {T}ool in {G}eo{G}ebra 5},
editor = {Francisco Botana and Pedro Quaresma},
booktitle = {Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
publisher = {Springer International Publishing},
address = {Cham},
pages = {53--71},
doi = {10.1007/978-3-319-21362-0\_4},
)
@article(mcs2020,
author = {Zolt\'an Kov\'acs},
year = {2020},
title = {Automated Detection of Interesting Properties in Regular Polygons},
journal = {Mathematics in Computer Science},
volume = {14},
pages = {727--755},
doi = {10.1007/s11786-020-00491-z},
)
@booklet(geogebra-discovery,
author = {Zolt\'an Kov\'acs},
year = {2020},
title = {{GeoGebra} {Discovery}},
howpublished = {A GitHub project},
note = {\url{https://github.com/kovzol/geogebra-discovery}},
)
@incollection(GiacGG-RICAM2013,
author = {Zolt\'an Kov\'acs and Bernard Parisse},
year = {2015},
title = {Giac and {G}eo{G}ebra -- Improved {G}r\"obner Basis Computations},
editor = {Jaime Gutierrez and Josef Schicho and Martin Weimann},
booktitle = {Computer Algebra and Polynomials},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
pages = {126--138},
doi = {10.1007/978-3-319-15081-9\_7},
)
@inproceedings(LRV2011,
author = {R. Losada and T. Recio and J. L. Valcarce},
year = {2011},
title = {Equal Bisectors at a Vertex of a Triangle},
editor = {Beniamino Murgante and Osvaldo Gervasi and Andr{\'e}s Iglesias and David Taniar and Bernady O. Apduhan},
booktitle = {Computational Science and Its Applications - ICCSA 2011},
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
pages = {328--341},
doi = {10.1007/978-3-642-21898-9\_29},
)
@article(Mordell1937,
author = {L. J. Mordell and D. F. Barrow},
year = {1937},
title = {Solution to 3740},
journal = {American Mathematical Monthly},
volume = {44},
pages = {252--254},
doi = {10.2307/2300713},
)
@article(Rabinowitsch1929,
author = {J.L. Rabinowitsch},
year = {1929},
title = {Zum {H}ilbertschen {N}ullstellensatz},
journal = {Mathematische Annalen},
volume = {102},
number = {1},
pages = {520},
doi = {10.1007/BF01782361},
)
@article(RecioVelez99,
author = {Tom\'as Recio and M. Pilar V\'elez},
year = {1999},
title = {Automatic discovery of theorems in elementary geometry},
journal = {Journal of Automated Reasoning},
volume = {23},
pages = {63--82},
doi = {10.1023/A:1006135322108},
)
@inproceedings(SturmWeispfenning96,
author = {Thomas Sturm and Volker Weispfenning},
year = {1996},
title = {Computational geometry problems in {REDLOG}},
booktitle = {International Workshop on Automated Deduction in Geometry. LNCS, vol. 1360},
publisher = {Springer, Berlin, Heidelberg},
doi = {10.1007/BFb0022720},
)
@booklet(realgeom,
author = {R\'obert Vajda and Zolt\'an Kov\'acs},
year = {2018},
title = {realgeom, a tool to solve problems in real geometry},
howpublished = {A GitHub project},
note = {\url{https://github.com/kovzol/realgeom}},
)
@inproceedings(scsc-2020,
author = {R\'obert Vajda and Zolt\'an Kov\'acs},
year = {2020},
title = {{G}eo{G}ebra and the {\itshape realgeom} Reasoning Tool},
editor = {Pascal Fontaine and Konstantin Korovin and Ilias S. Kotsireas and Philipp R\"ummer and Sophie Tourret},
booktitle = {PAAR+SC-Square 2020. Workshop on Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020},
pages = {204--219},
)
@inproceedings(ValeEnriquez-Brown,
author = {Vale-Enriquez, F. and C.W. Brown},
year = {2018},
title = {Polynomial Constraints and Unsat Cores in \textsc{Tarski}},
booktitle = {Mathematical Software -- ICMS 2018. LNCS, vol.~10931},
publisher = {Springer, Cham},
pages = {466--474},
doi = {10.1007/978-3-319-96418-8\_55},
)
@misc(Mathematica,
author = {{Wolfram Research, Inc.}},
year = {2020},
title = {Mathematica, Version 12.1},
note = {{Champaign}, {IL}},
)
@article(Wu78,
author = {W. T. Wu},
year = {1978},
title = {On the decision problem and the mechanization of theorem proving in elementary geometry},
journal = {Scientia Sinica},
volume = {21},
pages = {157--179},
)