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 50 items.
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (Q349840) (← links)
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Fast simplifications for Tarski formulas based on monomial inequalities (Q420752) (← links)
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Solution formulas for cubic equations without or with constraints (Q548598) (← links)
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Parametric toricity of steady state varieties of reaction networks (Q831994) (← links)
- Better answers to real questions (Q898260) (← links)
- Generating invariants for non-linear loops by linear algebraic methods (Q903492) (← links)
- Weak quantifier elimination for the full linear theory of the integers (Q945000) (← links)
- Quantifier elimination supported proofs in the numerical treatment of fluid flows (Q945006) (← links)
- Combining logical and algebraic techniques for natural style proving in elementary analysis (Q1025313) (← links)
- Discussion on: ``Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach'' by D. Nešić and I. M. Y. Mareels (Q1306037) (← links)
- The Lee identities in topoi. I (Q1368589) (← links)
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438) (← links)
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← links)
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture (Q1582300) (← links)
- Quantified constraints under perturbation (Q1600045) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Application of quantifier elimination to inverse buckling problems (Q1742348) (← links)
- Fast theorem-proving and Wu's method (Q1966111) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← 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)
- Algorithmic reduction of biological networks with multiple time scales (Q2051597) (← links)
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description) (Q2104500) (← links)
- Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952) (← links)
- Editorial: Symbolic computation and satisfiability checking (Q2307620) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Modular strategic SMT solving with \textbf{SMT-RAT} (Q2414693) (← links)
- Quantifier elimination in automatic loop parallelization (Q2457396) (← links)
- Multiple object semilinear motion planning (Q2457425) (← links)
- On a decision procedure for quantified linear programs (Q2462634) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic (Q2830009) (← links)
- Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates (Q2914990) (← links)
- Solving Nonlinear Integer Arithmetic with MCSAT (Q2961575) (← links)
- Adapting Real Quantifier Elimination Methods for Conflict Set Computation (Q2964460) (← links)
- I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra (Q3014943) (← 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)
- Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests (Q3589077) (← links)
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology (Q3599203) (← links)
- Combined Decision Techniques for the Existential Theory of the Reals (Q3637273) (← links)
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100) (← links)
- Satisfiability Checking: Theory and Applications (Q4571125) (← links)
- The Strategy Challenge in SMT Solving (Q4913859) (← links)