scientific article; zbMATH DE number 1157666
From MaRDI portal
Publication:4391232
Cited in
(26)- Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
- A deductive approach towards reasoning about algebraic transition systems
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
- Simultaneous elimination by using several tools from real algebraic geometry
- From simplification to a partial theory solver for non-linear real polynomial constraints
- On multivariate Hermitian quadratic forms
- On the implementation of CGS real QE
- Adapting real quantifier elimination methods for conflict set computation
- Virtual substitution for SMT-solving
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
- Applied Algebraic Geometry in Model Based Design for Manufacturing
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
- Satisfiability checking: theory and applications
- On Parametric Border Bases
- CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
- Algorithmic global criteria for excluding oscillations
- Finding at least one point in each connected component of a real algebraic set defined by a single equation
- Symbolic reachability computation for families of linear vector fields
- Experiments with automated reasoning in the class
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Criteria for Hopf bifurcations with fixed multiplicities
- Faster one block quantifier elimination for regular polynomial systems of equations
- A geometric approach to cylindrical algebraic decomposition
- Parametric toricity of steady state varieties of reaction networks
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4391232)
