↓ Skip to main content

Quantifier Elimination and Cylindrical Algebraic Decomposition

Overview of attention for book
Cover of 'Quantifier Elimination and Cylindrical Algebraic Decomposition'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Quantifier Elimination by Cylindrical Algebraic Decomposition — Twenty Years of Progress
  4. Altmetric Badge
    Chapter 3 A Decision Method for Elementary Algebra and Geometry
  5. Altmetric Badge
    Chapter 4 Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition
  6. Altmetric Badge
    Chapter 5 Super-Exponential Complexity of Presburger Arithmetic
  7. Altmetric Badge
    Chapter 6 Cylindrical Algebraic Decomposition I: The Basic Algorithm
  8. Altmetric Badge
    Chapter 7 Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane
  9. Altmetric Badge
    Chapter 8 An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition
  10. Altmetric Badge
    Chapter 9 Partial Cylindrical Algebraic Decomposition for Quantifier Elimination
  11. Altmetric Badge
    Chapter 10 Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination
  12. Altmetric Badge
    Chapter 11 Recent Progress on the Complexity of the Decision Problem for the Reals
  13. Altmetric Badge
    Chapter 12 An Improved Projection Operation for Cylindrical Algebraic Decomposition
  14. Altmetric Badge
    Chapter 13 Algorithms for Polynomial Real Root Isolation
  15. Altmetric Badge
    Chapter 14 Sturm—Habicht Sequences, Determinants and Real Roots of Univariate Polynomials
  16. Altmetric Badge
    Chapter 15 Characterizations of the Macaulay Matrix and Their Algorithmic Impact
  17. Altmetric Badge
    Chapter 16 Computation of Variant Resultants
  18. Altmetric Badge
    Chapter 17 A New Algorithm to Find a Point in Every Cell Defined by a Family of Polynomials
  19. Altmetric Badge
    Chapter 18 Local Theories and Cylindrical Decomposition
  20. Altmetric Badge
    Chapter 19 A Combinatorial Algorithm Solving Some Quantifier Elimination Problems
  21. Altmetric Badge
    Chapter 20 A New Approach to Quantifier Elimination for Real Algebra
Attention for Chapter 17: A New Algorithm to Find a Point in Every Cell Defined by a Family of Polynomials
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
201 Dimensions

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A New Algorithm to Find a Point in Every Cell Defined by a Family of Polynomials
Chapter number 17
Book title
Quantifier Elimination and Cylindrical Algebraic Decomposition
Published by
Springer, Vienna, January 1998
DOI 10.1007/978-3-7091-9459-1_17
Book ISBNs
978-3-21-182794-9, 978-3-70-919459-1
Authors

Saugata Basu, Richard Pollack, Marie-Françoise Roy, Basu, Saugata, Pollack, Richard, Roy, Marie-Françoise

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Poland 1 50%
Unknown 1 50%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 50%
Student > Master 1 50%
Readers by discipline Count As %
Mathematics 1 50%
Computer Science 1 50%