scientific article; zbMATH DE number 953041

MaRDI QIDQ4717962zbMATH OpenFDO

Authors Marie-Françoise Roy

Publication date 15 January 1998

zbMATH Keywords

complexity of computationquantifier eliminationreal semi-algebraic setdecision problem for semi-algebraic setsreal root counting problem

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10)

Recommendations

• scientific article; zbMATH DE number 1182922
• Algorithms in real algebraic geometry
• Algorithms in real algebraic geometry
• scientific article; zbMATH DE number 2043995
• Computational algebraic geometry
• scientific article; zbMATH DE number 177468
• scientific article; zbMATH DE number 66679
• Real algebraic geometry
• scientific article; zbMATH DE number 1552088

Cited in

(22)

• Algorithms in real algebraic geometry: a survey
• Recent advances in real geometric reasoning
• Nonrecursive functions in real algebraic geometry
• Strong version of the basic deciding algorithm for the existential theory of real fields
• Computing the real isolated points of an algebraic hypersurface
• Algorithms in real algebraic geometry
• Algorithms in real algebraic geometry
• scientific article; zbMATH DE number 1330183 (Why is no real title available?)
• Computations in the neighbourhood of algebraic singularities
• scientific article; zbMATH DE number 1023365 (Why is no real title available?)
• scientific article; zbMATH DE number 2043995 (Why is no real title available?)
• scientific article; zbMATH DE number 708884 (Why is no real title available?)
• Algebraic geometry over four rings and the frontier to tractability.
• Some speed-ups and speed limits for real algebraic geometry
• scientific article; zbMATH DE number 1996522 (Why is no real title available?)
• Computations in algebraic geometry with Macaulay 2
• scientific article; zbMATH DE number 786596 (Why is no real title available?)
• Real algebraic geometry for matrices over commutative rings
• Verification complexity of linear prime ideals
• The SARAG library: some algorithms in real algebraic geometry
• The complexity of elementary algebra and geometry
• 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 Q4717962)