scientific article; zbMATH DE number 1182922

zbMATH Open0940.68184MaRDI QIDQ4401019FDOQ4401019

Authors: Bhubaneswar Mishra 

Publication date: 30 September 1998

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (13)

• Title not available (Why is that?)
• Algorithms in real algebraic geometry
• On Approximations and Incidence in Cylindrical Algebraic Decompositions
• Title not available (Why is that?)
• Zadeh's vision, modern physics, and the future of computing
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Polygonal chains cannot lock in 4D
• Title not available (Why is that?)
• Fixed points, Nash equilibria, and the existential theory of the reals
• Computing totally real hyperplane sections and linear series on algebraic curves

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)