Published August 11, 2021
| Version v1
Dataset
Open
Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)
- 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
Files
Maple-computations.pdf
Files
(711.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:172eaa1eec7531e145c6254e99f6033e
|
272.9 kB | Download |
|
md5:d32dbc07b81da05f6abe0e3783b2866e
|
438.5 kB | Preview Download |