scientific article; zbMATH DE number 1157665
From MaRDI portal
Publication:4391231
zbMath0900.68277MaRDI QIDQ4391231
Publication date: 1 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (12)
Automatic computation of the complete root classification for a parametric polynomial ⋮ Applied Algebraic Geometry in Model Based Design for Manufacturing ⋮ A deductive approach towards reasoning about algebraic transition systems ⋮ Analysis and computation with stratified fluid models ⋮ An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination ⋮ Birational properties of the gap subresultant varieties ⋮ An elementary proof of Sylvester's double sums for subresultants ⋮ Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading ⋮ Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination ⋮ Recent advances on determining the number of real roots of parametric polynomials ⋮ Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition ⋮ Multiple modes in densities with normal conditionals
This page was built for publication:
