http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

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

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

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, Seiten/Artikel-Nr: 178-188

2020

Konferenz/Event:7. Workshop on Practical Aspects of Automated Reasoning , online , PAAR , 2020-06-01 - 2020-07-31

Konferenz/Event:10. International Joint Conference on Automated Reasoning 5. Satisfiability Checking and Symbolic Computation Workshop , online online , IJCAR 2020 (SC-Square) Workshop , 2020-06-01 - 2020-07-31 2020-06-01 - 2020-07-31

ImpressumAachen, Germany : RWTH Aachen

Umfang178-188

ReiheCEUR workshop proceedings ; 2752

Online
DOI: 10.18154/RWTH-2021-09565
URL: https://publications.rwth-aachen.de/record/833961/files/833961.pdf
URL: http://ceur-ws.org/Vol-2752/paper13.pdf
URL: https://ceur-ws.org/Vol-2752/

Einrichtungen

1. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
2. Fachgruppe Informatik (120000)

OpenAccess:
PDF
Externe links:
Volltext
Homepage of book

Dokumenttyp
Abstract (Extended abstract)/Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85097264006

Interne Identnummern
RWTH-2021-09565
Datensatz-ID: 833961

Beteiligte Länder
Germany, UK