1 données de recherche référencées

Données de recherche référencées par Tomás Jesús Recio Muñiz.
filter_list

2021

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

    Zenodo