scientific article; zbMATH DE number 1182922

MaRDI QIDQ4401019zbMATH OpenFDO

Authors Bhubaneswar Mishra

Publication date 30 September 1998

zbMATH Keywords

algorithmic real algebraic geometrydecision problemsgeometric theoremquantifier eliminationsemialgebraic sets

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Applications of computability and recursion theory (03D80) Semialgebraic sets and related spaces (14P10) Computational aspects in algebraic geometry (14Q99) Symbolic computation and algebraic computation (68W30)

Review text

This paper is a brief survey of some of the ideas and results on algorithmic real algebraic geometry and applications. Some of the topics treated are decision problems for the first-order theory of reals and the related quantifier elimination problems, algorithmic questions on semialgebraic sets, representation of algebraic numbers, cylindrical algebraic decomposition and applications as offsets and geometric theorem proving. For the entire collection see [Zbl 0890.52001].

Recommendations

• scientific article; zbMATH DE number 953041
• Algorithms in real algebraic geometry: a survey
• scientific article; zbMATH DE number 10786

Cited in

(14)

• On Approximations and Incidence in Cylindrical Algebraic Decompositions
• Computational geometry problems in REDLOG
• scientific article; zbMATH DE number 66679 (Why is no real title available?)
• scientific article; zbMATH DE number 1330183 (Why is no real title available?)
• scientific article; zbMATH DE number 1984321 (Why is no real title available?)
• scientific article; zbMATH DE number 2043995 (Why is no real title available?)
• scientific article; zbMATH DE number 10786 (Why is no real title available?)
• scientific article; zbMATH DE number 953041 (Why is no real title available?)
• scientific article; zbMATH DE number 786596 (Why is no real title available?)
• Zadeh's vision, modern physics, and the future of computing
• Computing totally real hyperplane sections and linear series on algebraic curves
• Fixed points, Nash equilibria, and the existential theory of the reals
• Algorithms in real algebraic geometry
• Polygonal chains cannot lock in 4D

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