Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)
- Kovács, Zoltán 1
- Recio, Tomás 2
- Tabera, Luis F. 3
- Vélez, M. Pilar 2
- 1 The Private University College of Education of the Diocese of Linz, Austria
- 2 Universidad Antonio de Nebrija, Madrid, Spain
- 3 Universidad de Cantabria, Santander, Spain
Editor: Zenodo
Año de publicación: 2021
Tipo: Dataset
DOI:
10.5281/ZENODO.5179979
lock_openAcceso abierto editor
Resumen
Maple worksheet as supplementary data