Pages that link to "Item:Q420752"
From MaRDI portal
The following pages link to Fast simplifications for Tarski formulas based on monomial inequalities (Q420752):
Displaying 5 items.
- From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms (Q2799565) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)
