h1

h2

h3

h4

h5
h6
%0 Conference Paper
%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? (Extended Abstract)
%V 2752
%C Aachen, Germany
%I RWTH Aachen
%M RWTH-2021-09565
%B CEUR workshop proceedings
%P 178-188
%D 2020
%< PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020 : joint proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 : co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020) : Paris, France, June-July, 2020 (virtual) / edited by Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret
%B 7. Workshop on Practical Aspects of Automated Reasoning
%C 1 Jun 2020 - 31 Jul 2020, online ()
Y2 1 Jun 2020 - 31 Jul 2020
M2 online, 
%F PUB:(DE-HGF)1 ; PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 AbstractContribution to a bookContribution to a conference proceedings
%R 10.18154/RWTH-2021-09565
%U https://publications.rwth-aachen.de/record/833961