h1
h2
h3
h4
h5
h6
RWTH Publications
English
Deutsch
guest ::
login
Search
Submit
Personalize
Your alerts
Your baskets
Your searches
Your personal authority Record
Help
Information
References
Discussion
Files
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
- RWTH-2021-09565
Main document
file(s):
833961
version 1
833961.pdf
[607.21 KB]
19 Oct 2021, 16:15
OpenAccess
Similar records
RWTH
RWTH Aachen - Startseite
Universitätsbibliothek
Kontakt
Redaktion
Publizieren
Administration
RWTH Publications
Policy
Tutorials
Leitfaden
Allgemeines
Impressum
Disclaimer
guest ::
833961