h1

h2

h3

h4

h5
h6
%0 Electronic Article
%A Ábrahám, Erika
%A Davenport, James
%A England, Matthew
%A Kremer, Gereon
%A Tonks, Zak
%T New Opportunities for the Formal Proof of Computational Real Geometry?
%M RWTH-2021-09684
%P 14 Seiten
%D 2020
%F PUB:(DE-HGF)25
%9 Preprint
%R 10.48550/ARXIV.2004.04034
%U https://publications.rwth-aachen.de/record/834153