Solving systems of strict polynomial inequalities
From MaRDI portal
Recommendations
Cites work
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Computing in the field of complex algebraic numbers
- scientific article; zbMATH DE number 1157648 (Why is no real title available?)
- scientific article; zbMATH DE number 1157658 (Why is no real title available?)
- Partial cylindrical algebraic decomposition for quantifier elimination
- Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
Cited in
(34)- Solving systems of polynomial inequalities in subexponential time
- Open weak CAD and its applications
- On the average complexity for the verification of compatible sequences
- The impact on the properties of the EFGM copulas when extending this family
- Polynomial bivariate copulas of degree five: characterization and some particular inequalities
- A local Fourier convergence analysis of a multigrid method using symbolic computation
- Identifying the parametric occurrence of multiple steady states for some biological networks
- On multivariate Hermitian quadratic forms
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Cylindrical algebraic decomposition using validated numerics
- A hypergeometric inequality
- An incremental algorithm for computing cylindrical algebraic decompositions
- Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
- A decision procedure for probability calculus with applications
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
- Model checking logic WCTL with multi constrained modalities on one clock priced timed automata
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Dominance in the family of Sugeno-Weber t-norms
- Trading order for degree in creative telescoping
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions
- Cylindrical algebraic sub-decompositions
- scientific article; zbMATH DE number 784883 (Why is no real title available?)
- Proving inequalities and solving global optimization problems via simplified CAD projection
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
- Algorithmic global criteria for excluding oscillations
- Combinatorial representation of parameter space for switching networks
- Improved projection for cylindrical algebraic decomposition
- Cylindrical algebraic decomposition using local projections
- Stability analysis of a bacterial growth model through computer algebra
- Accelerating parameter synthesis using semi-algebraic constraints
- Reachability analysis of linear systems
- On the positivity of the Gillis-Reznick-Zeilberger rational function
- Breaking the data barrier in learning symbolic computation: a case study on variable ordering suggestion for cylindrical algebraic decomposition
- Quantifier elimination supported proofs in the numerical treatment of fluid flows
This page was built for publication: Solving systems of strict polynomial inequalities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1976673)
