ProjectionCAD

swMATH9911MaRDI QIDQ21890FDOQ21890

Author name not available (Why is that?)

Official website: http://www.cs.bath.ac.uk/~me350/ProjectionCAD.html

Cited In (11)

• 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
• 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
• Recent advances in real geometric reasoning

This page was built for software: ProjectionCAD