scientific article; zbMATH DE number 1157666
From MaRDI portal
zbMath0900.03046MaRDI QIDQ4391232
No author found.
Publication date: 13 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Parametric toricity of steady state varieties of reaction networks, SMT-RAT: An Open Source 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, A deductive approach towards reasoning about algebraic transition systems, Satisfiability Checking: Theory and Applications, Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method, Experiments with automated reasoning in the class, Adapting Real Quantifier Elimination Methods for Conflict Set Computation, CGSQE/SyNRAC, A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases, Finding at least one point in each connected component of a real algebraic set defined by a single equation, Algorithmic global criteria for excluding oscillations, Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk), Symbolic reachability computation for families of linear vector fields, Simultaneous elimination by using several tools from real algebraic geometry, On the Implementation of CGS Real QE, Virtual Substitution for SMT-Solving, From simplification to a partial theory solver for non-linear real polynomial constraints, Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem, On multivariate Hermitian quadratic forms, Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition, On Parametric Border Bases
