QEPCAD B
From MaRDI portal
Recommendations
- Partial cylindrical algebraic decomposition for quantifier elimination
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Simple CAD construction and its applications
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Cylindrical algebraic decomposition using local projections
Cited in
(73)- 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
- Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover's palette
- 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
- Parametric toricity of steady state varieties of reaction networks
- Virtual substitution for SMT-solving
- Dominance in the family of Sugeno-Weber t-norms
- Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition
- Adapting real quantifier elimination methods for conflict set computation
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- Using machine learning to improve cylindrical algebraic decomposition
- Global optimization of polynomials over real algebraic sets
- Formal modelling, analysis and verification of hybrid systems
- 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
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Heuristics for exact nonnegative matrix factorization
- 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
- Multistationarity in the space of total concentrations for systems that admit a monomial parametrization
- Extending a Resolution Prover for Inequalities on Elementary Functions
- Real World Verification
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- On the feasibility of semi-algebraic sets in Poisson regression
- Algorithmic reduction of biological networks with multiple time scales
- Parametric optimization and optimal control using algebraic geometry methods
- The (B) Conjecture for Uniform Measures in the Plane
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- Identifying the parametric occurrence of multiple steady states for some biological networks
- Fully incremental cylindrical algebraic decomposition
- MetiTarski: An automatic theorem prover for real-valued special functions
- Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic
- Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
- QEPCAD
- Special algorithm for stability analysis of multistable biological regulatory systems
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems
- Applications of real number theorem proving in PVS
- The impact on the properties of the EFGM copulas when extending this family
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities
- Cylindrical algebraic sub-decompositions
- Quantifier elimination for a class of exponential polynomial formulas
- MetiTarski: An Automatic Prover for the Elementary Functions
- Combining Isabelle and QEPCAD-B in the Prover’s Palette
- A complexity perspective on entailment of parameterized linear constraints
- Truth table invariant cylindrical algebraic decomposition
- Hybrid automata, reachability, and systems biology
- Polynomial bivariate copulas of degree five: characterization and some particular inequalities
- An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems
- Parametric root finding for supporting proving and discovering geometric inequalities in GeoGebra
- Hybrid Automata in Systems Biology: How Far Can We Go?
- Periodically Controlled Hybrid Systems
- A local Fourier convergence analysis of a multigrid method using symbolic computation
- A repository for CAD examples
- Analyzing restricted fragments of the theory of linear arithmetic
- Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
- An incremental algorithm for computing cylindrical algebraic decompositions
- A systematic approach for doing an a priori identifiability study of dynamical nonlinear models
- \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
- Accelerating parameter synthesis using semi-algebraic constraints
- Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
- Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems
- Quantifier elimination supported proofs in the numerical treatment of fluid flows
- Cylindrical algebraic decomposition using local projections
- Exact safety verification of hybrid systems using sums-of-squares representation
- Variant quantifier elimination
This page was built for publication: QEPCAD B
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4810199)
