ProjectionCAD
From MaRDI portal
Cited in
(12)- Recent advances in real geometric reasoning
- 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
- RegularChains
- Paramotopy
- BranchCuts
- Theoryguru
- 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
This page was built for software: ProjectionCAD
