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
- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
- Cylindrical algebraic decomposition with equational constraints
- Recent Advances in Real Geometric Reasoning
- Identifying the parametric occurrence of multiple steady states for some biological networks
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree
- Truth table invariant cylindrical algebraic decomposition
- What does ``without loss of generality mean, and how do we detect it
This page was built for software: ProjectionCAD
