Algorithms in Real Algebraic Geometry

Saugata Basu, R. P., & Roy, M. (2006). Algorithms in Real Algebraic Geometry. Springer-Verlag.

Type

Book chapter

Intellectual base

Review or monograph

Year

2006

DOI

10.1007/3-540-33099-2_14

Link

https://doi.org/10.1007/3-540-33099-2_14

Cited by

1 citation across 1 artifact.

Domain-specific

• Existential theory of the reals
  • Only existential quantifiers and quantifier-free real-polynomial constraints define the canonical fragment, encoding model affects bit complexity and the complexity class exists between NP and PSPACE without being known equal to either.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:c108a865249a · see in the full table