scientific article; zbMATH DE number 3880114

MaRDI QIDQ3345781zbMATH OpenFDO

Authors Dennis S. Arnon, Scott McCallum

Publication date 1982

zbMATH Keywords

continuitycylindrical algebraic decomposition algorithmmultiplicities of the roots of a polynomialquantifier elimination algorithm

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Model theory of fields (12L12) Symbolic computation and algebraic computation (68W30)

Recommendations

• Partial cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using local projections
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• scientific article; zbMATH DE number 1263359
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains

Cited in

(20)

• On mechanical quantifier elimination for elementary algebra and geometry
• A bibliography of quantifier elimination for real closed fields
• Partial cylindrical algebraic decomposition for quantifier elimination
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• Interval arithmetic in cylindrical algebraic decomposition
• Constructing a single cell in cylindrical algebraic decomposition
• Simplification of Cylindrical Algebraic Formulas
• scientific article; zbMATH DE number 4050968 (Why is no real title available?)
• scientific article; zbMATH DE number 1263359 (Why is no real title available?)
• scientific article; zbMATH DE number 1273671 (Why is no real title available?)
• Cylindrical algebraic sub-decompositions
• Regular cylindrical algebraic decomposition
• Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition
• The complexity of quantifier elimination and cylindrical algebraic decomposition
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Two-view ``cylindrical decomposition of binary images
• How to use cylindrical algebraic decomposition
• Cylindrical decomposition for systems transcendental in the first variable
• Geometric reasoning with logic and algebra

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 Q3345781)