Funder
Secretaría de Estado de Investigación, Desarrollo e Innovación
Publisher
Springer Science and Business Media LLC
Reference15 articles.
1. Botana, F., Hohenwarter, M., Janičić, J., Kovács, Z., Petrović, I., Recio, T., Weitzhofer, S.: Automated theorem proving in GeoGebra: current achievements. J. Autom. Reason. 55, 39–59 (2015)
2. Botana, F., Recio, T.: On the unavoidable uncertainty of truth in dynamic geometry proving. Math. Comput. Sci. 10(1), 5–25 (2016)
3. Chou, S.C.: Mechanical Geometry Theorem Proving. Mathematics and its Applications, vol. 41, D. Reidel Publishing Co., Dordrecht (1988)
4. Cox, D.A., Little, J., O’Shea, D.: Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. 4th revised ed. Undergraduate Texts in Mathematics. Springer, Cham (2015)
5. Dalzotto, G., Recio, T.: On protocols for the automated discovery of theorems in elementary geometry. J. Autom. Reason. 43, 203–236 (2009)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献