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
Mostrar afiliaciones +

Editor: Zenodo

Año de publicación: 2021

Tipo: Dataset

CC BY 4.0

DOI: 10.5281/ZENODO.5179978 lock_openAcceso abierto editor

Resumen

Maple worksheet as supplementary data