2 datos de investigación referenciados

Datos de investigación referenciados por Tomás Jesús Recio Muñiz.
filter_list

2021

  1. Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)

    Zenodo

  2. Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)

    Zenodo