The following pages link to REDLOG (Q16433):
Displaying 7 items.
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (Q349840) (← links)
- Symbolic decision procedure for termination of linear programs (Q539162) (← 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)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Building Bridges between Symbolic Computation and Satisfiability Checking (Q2819729) (← links)
