@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},
)