Published August 11, 2021
| Version v1
Dataset
Open
Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)
Authors/Creators
- 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
Description
Maple worksheet as supplementary data