Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)
From MaRDI portal
Dataset:6697746
DOI10.5281/zenodo.5179979Zenodo5179979MaRDI QIDQ6697746FDOQ6697746
Dataset published at Zenodo repository.
M. Pilar Vélez, Luis F. Tabera, Tomás Recio, Zoltán Kovács
Publication date: 11 August 2021
Copyright license: Creative Commons Attribution 4.0 International
Maple worksheet as supplementary data
This page was built for dataset: Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)
