scientific article; zbMATH DE number 953041
From MaRDI portal
Publication:4717962
zbMATH Open0879.14028MaRDI QIDQ4717962FDOQ4717962
Authors: Marie-Françoise Roy 
Publication date: 15 January 1998
Title of this publication is not available (Why is that?)
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
complexity of computationquantifier eliminationreal semi-algebraic setdecision problem for semi-algebraic setsreal root counting problem
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10)
Cited In (22)
- Strong version of the basic deciding algorithm for the existential theory of real fields
- Nonrecursive functions in real algebraic geometry
- Computing the real isolated points of an algebraic hypersurface
- Algorithms in real algebraic geometry
- Algorithms in real algebraic geometry
- Title not available (Why is that?)
- Computations in the neighbourhood of algebraic singularities
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic geometry over four rings and the frontier to tractability.
- Some speed-ups and speed limits for real algebraic geometry
- Computations in algebraic geometry with Macaulay 2
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Algorithms in real algebraic geometry: a survey
- Recent advances in real geometric reasoning
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)
