Pages that link to "Item:Q2946522"
From MaRDI portal
The following pages link to Black-box/white-box simplification and applications to quantifier elimination (Q2946522):
Displaying 5 items.
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
- Fast simplifications for Tarski formulas based on monomial inequalities (Q420752) (← links)
- Multistationarity in the space of total concentrations for systems that admit a monomial parametrization (Q2008268) (← links)
- From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)
