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
Year of publication: 2021
Type: Dataset
DOI:
10.5281/ZENODO.5179978
lock_openOpen access editor
Abstract
Maple worksheet as supplementary data