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
Montrer des affiliations +

Éditeur: Zenodo

Année de publication: 2021

Type: Dataset

CC BY 4.0

DOI: 10.5281/ZENODO.5179978 lock_openAccès ouvert editor

Résumé

Maple worksheet as supplementary data