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
Zugehörigkeit anzeigen +

Verleger: Zenodo

Datum der Publikation: 2021

Art: Dataset

CC BY 4.0

DOI: 10.5281/ZENODO.5179978 lock_openOpen Access editor

Zusammenfassung

Maple worksheet as supplementary data