Fetching the paper…
Reading the bibliography…
We describe a prototype of a new experimental GeoGebra command and tool, Discover, that analyzes geometric figures for salient patterns, properties, and theorems.
Advances in Mathematics
E.W. Mayr & A.R. Meyer (1982): The Complexity of the Word Problem for Commutative Semigroups and Polynomial Ideals · 1982
Earlier work this paper cites.
Springer Science + + Business Media, 10.1007/978-94-009-4037-6
Shang-Ching Chou (1987): Mechanical Geometry Theorem Proving · 1987
Earlier work this paper cites.
Prentice-Hall
Larry Wos (1988): Automated Reasoning: 33 Basic Research Problems · 1988
Earlier work this paper cites.
Ph.D. thesis, ETH Zürich, 10.3929/ETHZ-A-003876663
Ulrich Kortenkamp (1999): Foundations of Dynamic Geometry · 1999
Earlier work this paper cites.
In G. Sutcliffe & R. Goebel, editors: Proceedings of the 19th International FLAIRS Conference
Y. Puzis, Y. Gao & G. Sutcliffe (2006): Automated generation of interesting theorems · 2006
Earlier work this paper cites.
The Electronic Journal of Mathematics and Technology
Zlatan Magajna (2011): An observation tool as an aid for building proofs · 2011
Earlier work this paper cites.
In: Automated Deduction in Geometry
Zheng Ye, Shang-Ching Chou & Xiao-Shan Gao (2011): An Introduction to Java Geometry Expert · 2011
Cited alongside, same era.
Annals of Mathematics and Artificial Intelligence
Xiaoyu Chen, Dan Song & Dongming Wang (2014): Automated generation of geometric theorems from images of diagrams · 2014
Cited alongside, same era.
In: Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC’14)
Akira Fujita, Akihiro Kameda, Ai Kawazoe & Yusuke Miyao (2014): Overview of Todai robot project and evaluation framework of its NLP-based problem solving · 2014
Cited alongside, same era.
In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing
Minjoon Seo, Hannaneh Hajishirzi, Ali Farhadi, Oren Etzioni & Clint Malcolm (2015): Solving Geometry Problems: Combining Text and Diagram Interpretation · 2015
Cited alongside, same era.
Presentation at ADG-12, Nanning, China, 10.13140/RG.2.2.19792.76807
Francisco Botana, Zoltán Kovács & Tomás Recio (2018): Automated Geometer, a web-based discovery tool · 2018
Cited alongside, same era.
In Jacques Fleuriot, Dongming Wang & Jacques Calmet, editors: Artificial Intelligence and Symbolic Computation
Francisco Botana, Zoltán Kovács & Tomás Recio (2018): Towards an Automated Geometer · 2018
Later among the works it cites.
In: Electronic Proceedings of the 24th Asian Technology Conference in Mathematics
Hongguang Fu, Jingzhong Zhang, Xiuqin Zhong, Mingkai Zha & Li Liu (2019): Robot for Mathematics College Entrance Examination · 2019
Later among the works it cites.
In: 2019 IEEE International Conference on Energy Internet (ICEI)
Hongbiao Gao, Jianbin Li & Jingde Cheng (2019): Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic · 2019
Later among the works it cites.
Presentation at MatemaTech Seminar for teachers, České Budějovice, Czechia, 10.13140/RG.2.2.25544.98568
Zoltán Kovács (2019): Towards a new GeoGebra Geometry App · 2019
Later among the works it cites.
Revista Matemática Complutense
Zoltán Kovács, Tomás Recio & M. Pilar Vélez (2019): Detecting truth, just on parts · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Presentation at AISC-13, Suzhou, China, 10.13140/RG.2.2.36788.71042
Francisco Botana, Zoltán Kovács & Tomás Recio (2018): Towards an Automated Geometer · 2018
Cited alongside, same era.