Evolution of Automated Deduction and Dynamic Constructions in Geometry-Reference-Cited by-同舟云学术

Evolution of Automated Deduction and Dynamic Constructions in Geometry

Published:2022 Issue: Volume: Page:3-22
ISSN:2211-8136
Container-title:Mathematics Education in the Age of Artificial Intelligence
language:
Short-container-title:

Author:

Quaresma Pedro

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-86909-0_1

Reference63 articles.

1. Baeta, N., & Quaresma, P. (2013). The full angle method on the OpenGeoProver. In C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside, & W. Windsteiger (Eds.), MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, no. 1010 in CEUR Workshop Proceedings. Aachen. http://ceur-ws.org/Vol-1010/paper-08.pdf.

2. Baeta, N., Quaresma, P., & Kovács, Z. (2020). Towards a geometry automated provers competition. In Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, (ThEdu’19). Electronic Proceedings in Theoretical Computer Science (Vol. 313, pp. 93–100). Natal, Brazil, 25th August 2019. https://doi.org/10.4204/EPTCS.313.6

3. Beeson, M. (2015). A constructive version of Tarski’s geometry. Annals of Pure and Applied Logic, 166(11), 1199–1273. https://doi.org/10.1016/j.apal.2015.07.006.

4. Bertot, Y., & Castéran, P. (2004). Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions. EATCS: Springer. https://doi.org/10.1007/978-3-662-07964-5.

5. Botana, F., Hohenwarter, M., Janičić, P., Kovács, Z., Petrović, I., Recio, T., & Weitzhofer, S. (2015). Automated theorem proving in GeoGebra: Current achievements. Journal of Automated Reasoning, 55(1), 39–59. https://doi.org/10.1007/s10817-015-9326-4.