http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Abstract (Extended abstract)/Contribution to a book/Contribution to a conference proceedings Ábrahám, E. (Corresponding author)RWTH* ; Davenport, J. ; England, M. ; Kremer, G.RWTH* ; Tonks, Z.
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
2020PAAR+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
7. Workshop on Practical Aspects of Automated Reasoning, PAAR, onlineonline, 1 Jun 2020 - 31 Jul 20202020-06-012020-07-31
10. International Joint Conference on Automated Reasoning, IJCAR 2020, onlineonline, 1 Jun 2020 - 31 Jul 20202020-06-012020-07-31
5. Satisfiability Checking and Symbolic Computation Workshop, (SC-Square) Workshop, onlineonline, 1 Jun 2020 - 31 Jul 20202020-06-012020-07-31 Aachen, Germany : RWTH Aachen, CEUR workshop proceedings 2752, 178-188 (2020) [10.18154/RWTH-2021-09565]2020     Files  Fulltext Homepage of book BibTeX | EndNote: XML, Text | RIS