scientific article; zbMATH DE number 1157650
From MaRDI portal
Publication:4391215
zbMath0900.03055MaRDI QIDQ4391215
Publication date: 13 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Collected or selected works; reprintings or translations of classics (01A75) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Buchberger's algorithm: The term rewriter's point of view, Constructing roadmaps of semi-algebraic sets. I: Completeness, Products of foldable triangulations, A Kochen-Specker system has at least 22 vectors, Levelwise construction of a single cylindrical algebraic cell, A complete, exact and efficient implementation for computing the edge-adjacency graph of an arrangement of quadrics, An intertwined Cauchy-Schwarz-type inequality based on a Lagrange-type identity, Automated reducible geometric theorem proving and discovery by Gröbner basis method, On the Bennett-Hoeffding inequality, Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials, Complexity of computing interval matrix powers for special classes of matrices., Homogeneous multivariate polynomials with the half-plane property, New bounds for the Descartes method, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, On the complexity of computing with planar algebraic curves, A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS, Exact, efficient, and complete arrangement computation for cubic curves, Combining logical and algebraic techniques for natural style proving in elementary analysis, A worst-case bound for topology computation of algebraic curves, Interval arithmetic in cylindrical algebraic decomposition
