New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)

Ábrahám, Erika (Corresponding author); Davenport, James; England, Matthew; Kremer, Gereon; Tonks, Zak

Aachen, Germany : RWTH Aachen (2020)
Abstract, Contribution to a book, Contribution to a conference proceedings (Extended abstract)

In: 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
Page(s)/Article-Nr.: 178-188

Institutions

• Department of Computer Science [120000]
• Theory of Hybrid Systems Research Group [123420]