h1

h2

h3

h4

h5
h6
TY  - EJOUR
AU  - Ábrahám, Erika
AU  - Davenport, James
AU  - England, Matthew
AU  - Kremer, Gereon
AU  - Tonks, Zak
TI  - New Opportunities for the Formal Proof of Computational Real Geometry?
M1  - RWTH-2021-09684
SP  - 14 Seiten
PY  - 2020
LB  - PUB:(DE-HGF)25
DO  - DOI:10.48550/ARXIV.2004.04034
UR  - https://publications.rwth-aachen.de/record/834153
ER  -