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