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, Buchbeitrag, Beitrag zu einem Tagungsband (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
Seite(n)/Artikel-Nr.: 178-188

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]