@misc(adg-ag,
 author       = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio},
 year         = {2018},
 title        = {Automated {G}eometer, a web-based discovery tool},
 howpublished = {Presentation at ADG-12, Nanning, China},
 doi          = {10.13140/RG.2.2.19792.76807},
)
@misc(aisc-ag,
 author       = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio},
 year         = {2018},
 title        = {Towards an Automated Geometer},
 howpublished = {Presentation at AISC-13, Suzhou, China},
 doi          = {10.13140/RG.2.2.36788.71042},
)
@inproceedings(LNAI11110-ag,
 author       = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio},
 year         = {2018},
 title        = {Towards an Automated Geometer},
 editor       = {Jacques Fleuriot and Dongming Wang and Jacques Calmet},
 booktitle    = {Artificial Intelligence and Symbolic Computation},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {11110},
 publisher    = {Springer International Publishing},
 pages        = {215--220},
 doi          = {10.1007/978-3-319-99956-2-15},
)
@article(song,
 author       = {Xiaoyu Chen and Dan Song and Dongming Wang},
 year         = {2014},
 title        = {Automated generation of geometric theorems from images of diagrams},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {74},
 number       = {3-4},
 pages        = {1--26},
 doi          = {10.1007/s10472-014-9433-7},
)
@book(Chou_1987,
 author       = {Shang-Ching Chou},
 year         = {1987},
 title        = {{Mechanical Geometry Theorem Proving}},
 publisher    = {Springer Science $+$ Business Media},
 doi          = {10.1007/978-94-009-4037-6},
)
@inproceedings(robot-china,
 author       = {Hongguang Fu and Jingzhong Zhang and Xiuqin Zhong and Mingkai Zha and Li Liu},
 year         = {2019},
 title        = {Robot for Mathematics College Entrance Examination},
 booktitle    = {Electronic Proceedings of the 24th Asian Technology Conference in Mathematics},
 publisher    = {Mathematics and Technology, LLC},
)
@inproceedings(japan-todai,
 author       = {Akira Fujita and Akihiro Kameda and Ai Kawazoe and Yusuke Miyao},
 year         = {2014},
 title        = {Overview of {T}odai robot project and evaluation framework of its {NLP}-based problem solving},
 booktitle    = {Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14)},
 pages        = {2590--2597},
)
@inproceedings(GaoLiCheng2019,
 author       = {Hongbiao Gao and Jianbin Li and Jingde Cheng},
 year         = {2019},
 title        = {Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic},
 booktitle    = {2019 IEEE International Conference on Energy Internet (ICEI)},
 pages        = {356--361},
 doi          = {10.1109/ICEI.2019.00069},
)
@phdthesis(ulli99,
 author       = {Ulrich Kortenkamp},
 year         = {1999},
 title        = {{Foundations of Dynamic Geometry}},
 school       = {ETH Z\"urich},
 doi          = {10.3929/ETHZ-A-003876663},
)
@misc(matematech,
 author       = {Zolt{\'a}n Kov{\'a}cs},
 year         = {2019},
 title        = {Towards a new {GeoGebra} {Geometry} {App}},
 howpublished = {Presentation at MatemaTech Seminar for teachers, \v{C}esk\'e Bud\v{e}jovice, Czechia},
 doi          = {10.13140/RG.2.2.25544.98568},
)
@article(rmc-top,
 author       = {Zolt\'an Kov\'acs and Tom\'as Recio and M. Pilar V\'elez},
 year         = {2019},
 title        = {Detecting truth, just on parts},
 journal      = {Revista Matem\'atica Complutense},
 volume       = {32},
 pages        = {451--474},
 doi          = {10.1007/s13163-018-0286-1},
)
@article(kovacs-yu-2020,
 author       = {Zolt\'an Kov\'acs and Jonathan H. Yu},
 year         = {2020},
 title        = {Towards Automated Discovery of Geometrical Theorems in {G}eo{G}ebra},
 journal      = {CoRR},
 volume       = {abs/2007.12447},
 url          = {https://arxiv.org/abs/2007.12447},
)
@article(Magajna2011,
 author       = {Zlatan Magajna},
 year         = {2011},
 title        = {An observation tool as an aid for building proofs},
 journal      = {The Electronic Journal of Mathematics and Technology},
 volume       = {5},
 number       = {3},
 pages        = {251--260},
)
@article(mayrmeyer82,
 author       = {E.W. Mayr and A.R. Meyer},
 year         = {1982},
 title        = {The Complexity of the Word Problem for Commutative Semigroups and Polynomial Ideals},
 journal      = {Advances in Mathematics},
 volume       = {46},
 pages        = {305--329},
 doi          = {10.1016/0001-8708(82)90048-2},
)
@inproceedings(PuzisGaoSutcliffe2006,
 author       = {Y. Puzis and Y. Gao and G. Sutcliffe},
 year         = {2006},
 title        = {Automated generation of interesting theorems},
 editor       = {G. Sutcliffe and R. Goebel},
 booktitle    = {Proceedings of the 19th International FLAIRS Conference},
 publisher    = {AAAI Press, Menlo Park},
 pages        = {49--54},
)
@inproceedings(text-diagram,
 author       = {Minjoon Seo and Hannaneh Hajishirzi and Ali Farhadi and Oren Etzioni and Clint Malcolm},
 year         = {2015},
 title        = {Solving Geometry Problems: Combining Text and Diagram Interpretation},
 booktitle    = {Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing},
 pages        = {1466--1476},
 doi          = {10.18653/v1/D15-1171},
)
@book(Wos88,
 author       = {Larry Wos},
 year         = {1988},
 title        = {Automated Reasoning: 33 Basic Research Problems},
 publisher    = {Prentice-Hall},
)
@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},
)