scientific article; zbMATH DE number 1182922

MaRDI QIDQ4401019zbMATH OpenFDO

Authors Bhubaneswar Mishra

Publication date 30 September 1998

zbMATH Keywords

decision problemsquantifier eliminationsemialgebraic setsgeometric theoremalgorithmic real algebraic geometry

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(13)

• scientific article; zbMATH DE number 953041 (Why is no real title available?)
• scientific article; zbMATH DE number 66679 (Why is no real title available?)
• Zadeh's vision, modern physics, and the future of computing
• scientific article; zbMATH DE number 1984321 (Why is no real title available?)
• scientific article; zbMATH DE number 1330183 (Why is no real title available?)
• Computing totally real hyperplane sections and linear series on algebraic curves
• Algorithms in real algebraic geometry
• Fixed points, Nash equilibria, and the existential theory of the reals
• scientific article; zbMATH DE number 1189070 (Why is no real title available?)
• scientific article; zbMATH DE number 786596 (Why is no real title available?)
• scientific article; zbMATH DE number 2043995 (Why is no real title available?)
• On Approximations and Incidence in Cylindrical Algebraic Decompositions
• 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)