Portal del Investigador

Portal del Investigador > en > Datasets > dataset-detail

Dealing with degeneracies in automated theorem proving in geometry (Maple worksheet)

Abstract: Maple worksheet as supplementary data

Related publications

Dealing with degeneracies in automated theorem proving in geometry - Article

Repository: Zenodo

Year of publication: 2021

Full citation: Kovács, Z., Recio, T., Tabera, L. F. & Vélez, M. P. (2021). Dealing with degeneracies in automated theorem proving in geometry (Maple worksheet) [Dataset]. (Version v1). Zenodo. https://doi.org/10.5281/zenodo.5179979

Access Dataset

Authorship

KOVÁCS, ZOLTÁN

TOMAS JESUS RECIO MUÑIZ

LUIS FELIPE TABERA ALONSO

VÉLEZ, M. PILAR

Download reference

Bib

Back

Researchers portal

Portal del personal investigador

Dealing with degeneracies in automated theorem proving in geometry (Maple worksheet)

Authorship

Download reference