Author:
Abánades Miguel,Botana Francisco,Kovács Zoltán,Recio Tomás,Sólyom-Gecse Csilla
Publisher
Springer International Publishing
Reference9 articles.
1. Botana, F., Hohenwarter, M., Janičić, P., Kovács, Z., Petrović, I., Recio, T., Weitzhofer, S.: Automated theorem proving in GeoGebra: current achievements. J. Autom. Reasoning 55, 39–59 (2015)
2. Chen, X., Song, D., Wang, D.: Automated generation of geometric theorems from images of diagrams. Ann. Math. Artif. Intell. 74, 333–358 (2015)
3. Chou, S.-C.: Mechanical Geometry Theorem Proving, in Mathematics and its Applications. D. Reidel Publ. Comp, Dordrecht (1988)
4. Dalzotto, G., Recio, T.: On protocols for the automated discovery of theorems in elementary geometry. J. Autom. Reasoning 43, 203–236 (2009)
5. Recio, T., Vélez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reasoning 23, 63–82 (1999)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献