Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)

  1. Kovács, Zoltán 1
  2. Recio, Tomás 2
  3. Tabera, Luis F. 3
  4. Vélez, M. Pilar 2
  1. 1 The Private University College of Education of the Diocese of Linz, Austria
  2. 2 Universidad Antonio de Nebrija, Madrid, Spain
  3. 3 Universidad de Cantabria, Santander, Spain
Erakutsi afiliazioak +

Argitaratzaile: Zenodo

Argitalpen urtea: 2021

Mota: Dataset

DOI: 10.5281/ZENODO.5179979 lock_openSarbide irekia editor

Laburpena

Maple worksheet as supplementary data