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
Verleger: Zenodo
Datum der Publikation: 2021
Art: Dataset
DOI:
10.5281/ZENODO.5179978
lock_openOpen Access editor
Zusammenfassung
Maple worksheet as supplementary data