ProjectionCAD
From MaRDI portal
Cited in
(12)- RegularChains
- What does ``without loss of generality mean, and how do we detect it
- Using machine learning to improve cylindrical algebraic decomposition
- Paramotopy
- Identifying the parametric occurrence of multiple steady states for some biological networks
- Cylindrical algebraic decomposition with equational constraints
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting
- Recent advances in real geometric reasoning
- BranchCuts
- Theoryguru
- Truth table invariant cylindrical algebraic decomposition
This page was built for software: ProjectionCAD
