ProjectionCAD
From MaRDI portal
Software:21890
swMATH9911MaRDI QIDQ21890FDOQ21890
Author name not available (Why is that?)
Cited In (8)
- Using machine learning to improve cylindrical algebraic decomposition
- Cylindrical algebraic decomposition with equational constraints
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- Identifying the parametric occurrence of multiple steady states for some biological networks
- Truth table invariant cylindrical algebraic decomposition
- What does ``without loss of generality mean, and how do we detect it
- Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting
- Recent advances in real geometric reasoning
This page was built for software: ProjectionCAD
