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

Abstract: Maple worksheet as supplementary data

Publicaciones relacionadas

Dealing with degeneracies in automated theorem proving in geometry - Artículo de Revista

Repositorio: Zenodo

Año de publicación: 2021

DOI: 10.5281/zenodo.5179979

Citación completa: 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

Acceder al dataset

Autoría

KOVÁCS, ZOLTÁN

TOMAS JESUS RECIO MUÑIZ

LUIS FELIPE TABERA ALONSO

VÉLEZ, M. PILAR

Volver

Researchers portal

Portal del personal investigador

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

Autoría