Fully Incremental Cylindrical Algebraic Decomposition

Amsterdam / Elsevier (2019, 2020) [Buchbeitrag, Fachzeitschriftenartikel]

Journal of symbolic computation
Band: 100
Seite(n): 11-37

Autorinnen und Autoren

Autorinnen und Autoren

Kremer, Gereon
Ábrahám, Erika

Identifikationsnummern