Portal del Investigador

Portal del Investigador > Datasets > Detalle dataset

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

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

Descargar referencia

Bib

Volver

Researchers portal

Portal del personal investigador

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

Autoría

Descargar referencia