Sign in
Groups
Researchers
Results
Research Data
Researcher
:
Tomás Jesús Recio Muñiz
2 research data referenced
Research data referenced by Tomás Jesús Recio Muñiz.
2021
Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)
Zenodo
Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)
Zenodo
Contact
Legal notice
Privacy Policy
Cookies Policy
Help
translate
en
arrow_drop_down
translate
en
arrow_drop_down
es
ca
eu
gl
fr
de