scientific article; zbMATH DE number 953041

MaRDI QIDQ4717962zbMATH OpenFDO

Authors Marie-Françoise Roy

Publication date 15 January 1998

zbMATH Keywords

complexity of computationdecision problem for semi-algebraic setsquantifier eliminationreal root counting problemreal semi-algebraic set

Mathematics Subject Classification ID

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

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

(27)

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

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)