Pages that link to "Item:Q1368694"
From MaRDI portal
The following pages link to Simplification of quantifier-free formulae over ordered fields (Q1368694):
Displaying 25 items.
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (Q349840) (← links)
- Fast simplifications for Tarski formulas based on monomial inequalities (Q420752) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Solution formulas for cubic equations without or with constraints (Q548598) (← links)
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- Parametric toricity of steady state varieties of reaction networks (Q831994) (← links)
- Better answers to real questions (Q898260) (← links)
- Weak quantifier elimination for the full linear theory of the integers (Q945000) (← links)
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438) (← links)
- Linear problems in valued fields (Q1582303) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Efficiently and effectively recognizing toricity of steady state varieties (Q2035620) (← links)
- A logic based approach to finding real singularities of implicit ordinary differential equations (Q2035628) (← links)
- Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952) (← links)
- From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623) (← links)
- Algorithmic methods for investigating equilibria in epidemic modeling (Q2457392) (← links)
- Multiple object semilinear motion planning (Q2457425) (← links)
- Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates (Q2914990) (← links)
- Adapting Real Quantifier Elimination Methods for Conflict Set Computation (Q2964460) (← links)
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (Q3453240) (← links)
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (Q3587714) (← links)
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology (Q3599203) (← links)
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100) (← links)
- Simple CAD construction and its applications (Q5938543) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)
