@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},
)
@misc(BowmanAzzalini,
 author       = {A. W. Bowman and A. Azzalini},
 year         = {2013},
 title        = {Package sm: non-parametric smoothing methods (version 2.2-5)},
 url          = {http://www.stats.gla.ac.uk/~adrian/sm},
)
@inproceedings(BrownDavenport2007,
 author       = {C. Brown and J.H. Davenport},
 year         = {2007},
 title        = {The complexity of quantifier elimination and cylindrical algebraic decomposition},
 booktitle    = {Proceedings of ISSAC '07},
 publisher    = {ACM},
 pages        = {54--60},
 doi          = {10.1145/1277548.1277557},
)
@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},
)
@booklet(saclib-gh,
 author       = {Christopher W. Brown},
 year         = {2021},
 title        = {Saclib},
 howpublished = {A GitHub project},
 note         = {\url{https://github.com/chriswestbrown/saclib}},
)
@article(ChenMaza16,
 author       = {C. Chen and M. M. Maza},
 year         = {2016},
 title        = {Quantifier Elimination by Cylindrical Algebraic Decomposition based on Regular Chains},
 journal      = {Journal of Symbolic Computation},
 volume       = {75},
 pages        = {74--93},
 doi          = {10.1016/j.jsc.2015.11.008},
)
@book(Chou88,
 author       = {S. C. Chou},
 year         = {1988},
 title        = {Mechanical Geometry Theorem Proving},
 publisher    = {D. Reidel Publishing Company, Dordrecht, Netherlands},
)
@article(ChouGaoZhang2000,
 author       = {S. C. Chou and X. S. Gao and J. Z. Zhang},
 year         = {2000},
 title        = {A Deductive Database Approach To Automated Geometry Theorem Proving and Discovering},
 journal      = {Journal of Automated Reasoning},
 volume       = {25},
 number       = {3},
 pages        = {219--246},
 doi          = {10.1023/A:1006171315513},
)
@article(CollinsHong91,
 author       = {G. E. Collins and H. Hong},
 year         = {1991},
 title        = {Partial Cylindrical Algebraic Decomposition for Quantifier Elimination},
 journal      = {Journal of Symbolic Computation},
 volume       = {12},
 pages        = {299--328},
 doi          = {10.1016/S0747-7171(08)80152-6},
)
@article(DavenportHeintz1988,
 author       = {J.H. Davenport and J. Heintz},
 year         = {1988},
 title        = {Real quantifier elimination is doubly exponential},
 journal      = {Journal of Symbolic Computation},
 volume       = {5},
 number       = {1-2},
 pages        = {29--35},
 doi          = {10.1016/S0747-7171(88)80004-X},
)
@article(DolzmannSturm97,
 author       = {A. Dolzmann and T. Sturm},
 year         = {1997},
 title        = {Redlog: Computer Algebra Meets Computer Logic},
 journal      = {ACM SIGSAM Bulletin},
 volume       = {31},
 number       = {2},
 pages        = {2--9},
 doi          = {10.1145/261320.261324},
)
@inproceedings(synrac2014,
 author       = {H. Iwane and H. Yanami and H Anai},
 year         = {2014},
 title        = {{SyNRAC}: a toolbox for solving real algebraic constraints},
 booktitle    = {Proceedings of ICMS-2014. LNCS, vol.~8592},
 publisher    = {Springer, Heidelberg},
 pages        = {518--522},
)
@article(jianguo-zhang,
 author       = {Jianguo Jiang and Jing Zhong Zhang},
 year         = {2012},
 title        = {A review and prospect of readable machine proofs for geometry theorems},
 journal      = {Journal of Systems Science and Complexity},
 volume       = {25},
 number       = {4},
 doi          = {10.1007/s11424-012-2048-3},
)
@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},
)
@article(MEP2018,
 author       = {Zolt\'an Kov{\'a}cs and Tom\'as Recio and S{\'o}lyom-Gecse, Csilla},
 year         = {2019},
 title        = {Rewriting input expressions in complex algebraic geometry provers},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {85},
 pages        = {73--87},
 doi          = {10.1007/s10472-018-9590-1},
)
@inproceedings(scratchpad2,
 author       = {K. Kusche and B. Kutzler and H. Mayr},
 year         = {1989},
 title        = {Implementation of a geometry theorem proving package in {SCRATCHPAD} {II}},
 editor       = {James H. Davenport},
 booktitle    = {Eurocal '87},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {246--257},
 doi          = {10.1007/3-540-51517-8\_123},
)
@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},
)
@booklet(raglib,
 author       = {Safey El Din, Mohab},
 year         = {2007},
 title        = {{RAG}lib: A library for real solving polynomial systems of equations and inequalities},
 note         = {\url{https://www-polsys.lip6.fr/~safey/RAGLib/}},
)
@article(scsc-2020,
 author       = {R\'obert Vajda and Zolt\'an Kov\'acs},
 year         = {2020},
 title        = {{G}eo{G}ebra and the {\itshape realgeom} Reasoning Tool},
 journal      = {CEUR Workshop Proceedings},
 pages        = {204--219},
 url          = {http://ceur-ws.org/Vol-2752/paper15.pdf},
)
@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},
)
@incollection(Geother,
 author       = {D. Wang},
 year         = {2002},
 title        = {Geother 1.1: Handling and proving geometric theorems automatically},
 booktitle    = {ADG 2002},
 series       = {Lecture Notes in Computer Science},
 volume       = {2930},
 publisher    = {Springer},
 pages        = {194--215},
 doi          = {10.1007/978-3-540-24616-9\_12},
)
@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},
)
@article(Xia2007,
 author       = {B. Xia},
 year         = {2007},
 title        = {{DISCOVERER}: A tool for solving semi-algebraic systems},
 journal      = {ACM SIGSAM Bulletin},
 volume       = {41},
 number       = {3},
 pages        = {102--103},
)
@incollection(YangHouXia99,
 author       = {L. Yang and X. Hou and B. Xia},
 year         = {1999},
 title        = {Automated Discovering and Proving for Geometric Inequalities},
 booktitle    = {ADG'1998, LNAI 1669},
 publisher    = {Springer-Verlag},
 pages        = {30--46},
)
@incollection(bottema-program,
 author       = {L. Yang and J. Zhang},
 year         = {2001},
 title        = {A practical program of automated proving for a class of geometric inequalities},
 booktitle    = {Automated Deduction in Geometry},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {2061},
 publisher    = {Springer-Verlag, Berlin, Heidelberg},
 pages        = {41--57},
 doi          = {10.5555/647693.731185},
)
@incollection(Ye_2011,
 author       = {Zheng Ye and Shang Ching Chou and Xiao Shan Gao},
 year         = {2011},
 title        = {{An Introduction to Java Geometry Expert}},
 booktitle    = {Automated Deduction in Geometry},
 publisher    = {Springer Science $+$ Business Media},
 pages        = {189--195},
 doi          = {10.1007/978-3-642-21046-4\_10},
)
@article(emscripten,
 author       = {Alon Zakai},
 year         = {2013},
 title        = {Emscripten: An {L}{L}{V}{M}-to-{J}ava{S}cript Compiler},
 note         = {\url{https://github.com/kripken/emscripten/blob/master/docs/paper.pdf?raw=true}},
)