2 referenzierte Forschungsdaten

Von Tomás Jesús Recio Muñiz. referenzierte Forschungsdaten
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