2 dades de recerca referenciades

Dades de recerca referenciades per 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