Fully Incremental Cylindrical Algebraic Decomposition

Kremer, Gereon (Corresponding author); Ábrahám, Erika (Corresponding author)

Amsterdam : Elsevier (2019, 2020)
Contribution to a book, Journal Article

In: Journal of symbolic computation
Volume: 100
Page(s)/Article-Nr.: 11-37

Identifier