A Aralex Aachen research explorer

July 28, 2009 conference-paper

Computing cylindrical algebraic decomposition via triangular decomposition

International Symposium on Symbolic and Algebraic Computation

DOI: 10.1145/1576702.1576718 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 104

Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD
2021 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Polynomial and algebraic computation

1

citations

1 result

References 0