guest ::
Fully Incremental Cylindrical Algebraic Decomposition
;
In
Symbolic Computation and Satisfiability Checking / Edited by James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli
In
Journal of symbolic computation 100, Seiten/Artikel-Nr.:11-37
2020 & 2019
Received 31 March 2018, Accepted 3 June 2019, Available online 29 July 2019
Online
DOI: 10.1016/j.jsc.2019.07.018
URL: https://publications.rwth-aachen.de/record/780485/files/780485.pdf
Einrichtungen
Thematische Einordnung (Klassifikation)
DDC: 004
Restricted: 
PDF
Dokumenttyp
Journal Article/Contribution to a book
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85082633365
WOS Core Collection: WOS:000527962400002
OpenAlex: W2965351780
Interne Identnummern
RWTH-2020-00669
Datensatz-ID: 780485
Beteiligte Länder
Germany
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; IF < 5 ; JCR ; Nationallizenz
; SCOPUS ; Science Citation Index ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |
PDF