Fully Incremental Cylindrical Algebraic Decomposition

Amsterdam / Elsevier (2019, 2020) [Contribution to a book, Journal Article]

Journal of symbolic computation
Volume: 100
Page(s): 11-37

Authors

Authors

Kremer, Gereon
Ábrahám, Erika

Identifier