The following pages link to REDLOG (Q16433):
Displaying 50 items.
- A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases (Q2959007) (← links)
- Adapting Real Quantifier Elimination Methods for Conflict Set Computation (Q2964460) (← links)
- Algebraic analysis on asymptotic stability of switched hybrid systems (Q2986766) (← links)
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions (Q3083226) (← links)
- Virtual Substitution for SMT-Solving (Q3088298) (← links)
- (Q3156409) (← links)
- Interpolation-Based Height Analysis for Improving a Recurrence Solver (Q3167525) (← links)
- Superposition Modulo Non-linear Arithmetic (Q3172887) (← links)
- Implementing the cylindrical algebraic decomposition within the Coq system (Q3431546) (← links)
- Reachability and optimal control for linear hybrid automata: a quantifier elimination approach (Q3447004) (← links)
- Parametric Solvable Polynomial Rings and Applications (Q3454550) (← links)
- Applied Algebraic Geometry in Model Based Design for Manufacturing (Q3455008) (← links)
- Weak Integer Quantifier Elimination Beyond the Linear Case (Q3508492) (← links)
- Efficient Preprocessing Methods for Quantifier Elimination (Q3511099) (← links)
- New Domains for Applied Quantifier Elimination (Q3511123) (← links)
- Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions (Q3525000) (← links)
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems (Q3525073) (← links)
- Generating Polynomial Invariants with DISCOVERER and QEPCAD (Q3526926) (← links)
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (Q3587714) (← links)
- Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases (Q3587716) (← 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)
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (Q3617770) (← links)
- Combined Decision Techniques for the Existential Theory of the Reals (Q3637273) (← links)
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100) (← links)
- (Q4247790) (← links)
- (Q4249566) (← links)
- (Q4418861) (← links)
- Derivation of feasibility conditions in engineering problems under parametric inequality constraints with classical Fourier elimination (Q4506060) (← links)
- (Q4552457) (← links)
- Efficient projection orders for CAD (Q4657310) (← links)
- (Q4660673) (← links)
- (Q4761699) (← links)
- (Q4790649) (← links)
- (Q4809047) (← links)
- QEPCAD B (Q4810199) (← links)
- The Strategy Challenge in SMT Solving (Q4913859) (← links)
- Linear-Invariant Generation for Probabilistic Programs: (Q4930741) (← links)
- (Q4946076) (← links)
- (Q4953410) (← links)
- (Q4953413) (← links)
- Thirty Years of Virtual Substitution (Q5120170) (← links)
- An extension of Turán's inequality (Q5174170) (← links)
- (Q5188234) (← links)
- Real World Verification (Q5191121) (← links)
- Algebraic analysis on asymptotic stability of continuous dynamical systems (Q5254188) (← links)
- Verification and synthesis using real quantifier elimination (Q5254190) (← links)
- (Q5301651) (← links)
- (Q5301685) (← links)
- Automated Deduction – CADE-20 (Q5394615) (← links)
