Fully Incremental Cylindrical Algebraic Decomposition

Amsterdam / Elsevier (2019) [Journal Article]

Journal of symbolic computation
Volume: ??
Page(s): S0747717119300847

Authors

Authors

Kremer, Gereon Lukas
Ábrahám, Erika

Identifier