1 research data referenced

Research data referenced by Tomás Jesús Recio Muñiz.
filter_list

2021

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

    Zenodo