h1

h2

h3

h4

h5
h6
TY  - CONF
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? (Extended Abstract)
VL  - 2752
CY  - Aachen, Germany
PB  - RWTH Aachen
M1  - RWTH-2021-09565
T2  - CEUR workshop proceedings
SP  - 178-188
PY  - 2020
T2  - 7. Workshop on Practical Aspects of Automated Reasoning
CY  - 1 Jun 2020 - 31 Jul 2020, online ()
Y2  - 1 Jun 2020 - 31 Jul 2020
M2  - online, 
LB  - PUB:(DE-HGF)1 ; PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
DO  - DOI:10.18154/RWTH-2021-09565
UR  - https://publications.rwth-aachen.de/record/833961
ER  -