ProjectionCAD
From MaRDI portal
Software:21890
No author found.
Related Items (8)
Recent Advances in Real Geometric Reasoning ⋮ What does ``without loss of generality mean, and how do we detect it ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Identifying the parametric occurrence of multiple steady states for some biological networks ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ 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
This page was built for software: ProjectionCAD
