h1

h2

h3

h4

h5
h6

Zusammenfassungen

Letzte Einträge:
2021-10-20
14:21
2021-10-20
08:28
2021-10-20
08:05
2021-10-18
10:22
2021-10-14
10:07
  • New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)

    ; ; ; ; ; et al

    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

    DOI: 10.18154/RWTH-2021-09565

    Abstract (Extended abstract)/Contribution to a book/Contribution to a conference proceedings 2020
2021-10-13
11:08
2021-10-12
13:24
2021-09-30
14:16
2021-09-28
11:08
2021-09-25
13:06