Publication:4391231
From MaRDI portal
zbMath0900.68277MaRDI QIDQ4391231
Publication date: 1 October 1998
68W30: Symbolic computation and algebraic computation
14P10: Semialgebraic sets and related spaces
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading, Automatic computation of the complete root classification for a parametric polynomial, Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination, Analysis and computation with stratified fluid models, Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition, Multiple modes in densities with normal conditionals, Recent advances on determining the number of real roots of parametric polynomials, Birational properties of the gap subresultant varieties, An elementary proof of Sylvester's double sums for subresultants