Pages that link to "Item:Q677553"
From MaRDI portal
The following pages link to Quantifier elimination for real algebra -- the quadratic case and beyond (Q677553):
Displaying 4 items.
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (Q349840) (← links)
- Solution formulas for cubic equations without or with constraints (Q548598) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
