QEPCAD
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Synthesizing switching controllers for hybrid systems by generating invariants
- On the complexity of quantified linear systems
- Combined Decision Techniques for the Existential Theory of the Reals
- On invariant checking
- Recent advances in real geometric reasoning
- Solution to the generalized champagne problem on simultaneous stabilization of linear systems
- scientific article; zbMATH DE number 1601215 (Why is no real title available?)
- Validity proof of Lazard's method for CAD construction
- Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover's palette
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- Computing switching surfaces in optimal control based on triangular decomposition
- Proof and computation in geometry
- Editorial: Symbolic computation and satisfiability checking
- An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
- A hypergeometric inequality
- Quantifier elimination on real closed fields and differential equations
- scientific article; zbMATH DE number 2079836 (Why is no real title available?)
- Parametric toricity of steady state varieties of reaction networks
- scientific article; zbMATH DE number 1049751 (Why is no real title available?)
- scientific article; zbMATH DE number 934500 (Why is no real title available?)
- scientific article; zbMATH DE number 2079838 (Why is no real title available?)
- scientific article; zbMATH DE number 2151206 (Why is no real title available?)
- Virtual substitution for SMT-solving
- On proving inequalities by cylindrical algebraic decomposition
- Dominance in the family of Sugeno-Weber t-norms
- Polyhedral and algebraic methods in computational geometry
- Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition
- Adapting real quantifier elimination methods for conflict set computation
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
- Optimally-stable second-order accurate difference schemes for nonlinear conservation laws in 3D
- Solving Dynamic Geometric Constraints Involving Inequalities
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- A parameter space approach to fixed-order robust controller synthesis by quantifier elimination
- Non-monotonic spatial reasoning with answer set programming modulo theories
- Solution formulas for cubic equations without or with constraints
- Using machine learning to improve cylindrical algebraic decomposition
- scientific article; zbMATH DE number 1794361 (Why is no real title available?)
- On the implementation of CGS real QE
- scientific article; zbMATH DE number 1979264 (Why is no real title available?)
- Bounds for absolute positiveness of multivariate polynomials
- Computing GCDs of polynomials over algebraic number fields
- Building bridges between symbolic computation and satisfiability checking
- Global optimization of polynomials over real algebraic sets
- Formal modelling, analysis and verification of hybrid systems
- Some geometric properties of successive difference substitutions
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions
- Algebraic approach to discrete-time polynomial spectral factorization
- Simulation and optimization by quantifier elimination
- A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations
- Algebraic approaches to stability analysis of biological systems
- Geometry and topology of parameter space: Investigating measures of robustness in regulatory networks
- Speeding up cylindrical algebraic decomposition by Gröbner bases
- Application of quantifier elimination to a simple elastic beam finite element below a straight rigid obstacle
- Computer Algebra in Scientific Computing
- Truth table invariant cylindrical algebraic decomposition by regular chains
- Differential dynamic logic for hybrid systems
- Need polynomial systems be doubly-exponential?
- A new approach for automatic theorem proving in real geometry
- Cylindrical algebraic decomposition with equational constraints
- Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
- Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
- Algorithms in real algebraic geometry
- Algorithms in real algebraic geometry
- Approximate quantified constraint solving by cylindrical box decomposition
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Application of quantifier elimination to inverse buckling problems
- A simple quantifier-free formula of positive semidefinite cyclic ternary quartic forms
- Algorithms for trigonometric curves (simplification, implicitization, parameterization)
- Computational Science - ICCS 2004
- Real zeros of the zero-dimensional parametric piecewise algebraic variety
- An obstacle avoidance model predictive control scheme for mobile robots subject to nonholonomic constraints: a sum-of-squares approach
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Partial cylindrical algebraic decomposition for quantifier elimination
- Heuristics for exact nonnegative matrix factorization
- Automated theorem proving for special functions: the next phase
- Automatic computation of the complete root classification for a parametric polynomial
- On the algebraic boundaries among typical ranks for real binary forms
- On quantified linear implications
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
- Multistationarity in the space of total concentrations for systems that admit a monomial parametrization
- Extending a Resolution Prover for Inequalities on Elementary Functions
- A logic based approach to finding real singularities of implicit ordinary differential equations
- Efficient Preprocessing Methods for Quantifier Elimination
- Real World Verification
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Simple CAD construction and its applications
- Quantified constraints under perturbation
- Hybrid Systems: Computation and Control
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- Computer Aided Verification
- A probabilistic algorithm for computing data-discriminants of likelihood equations
- Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators
- The strategy challenge in SMT solving
- Symbolic computation for the qualitative theory of differential equations
- Computer Algebra in Scientific Computing
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Thirty years of virtual substitution. Foundations, techniques, applications
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
This page was built for software: QEPCAD
