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

Bertsio zenbakia: 1

CC BY 4.0

DOI: 10.5281/ZENODO.5179978 lock_openSarbide irekia editor
Datu multzoen bertsioak:
Bertsio zenbakia Sortu DOI
1 11-08-2021 10.5281/zenodo.5179979

Laburpena

Maple worksheet as supplementary data