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)

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
• scientific article; zbMATH DE number 1189070 (Why is no real title available?)
• 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)