Buscar

Estamos realizando la búsqueda. Por favor, espere...

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

Abstract: Maple worksheet as supplementary data

Publicaciones relacionadas

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

Autoría

KOVÁCS, ZOLTÁN

TOMAS JESUS RECIO MUÑIZ

VÉLEZ, M. PILAR

Descargar referencia