↓ Skip to main content
What is this page? Embed badge

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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
6 Wikipedia pages

Citations

dimensions_citation
201 Dimensions
Summary X Wikipedia Dimensions citations
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.
Title
Quantifier Elimination and Cylindrical Algebraic Decomposition
Published by
Springer Vienna, December 2012
DOI 10.1007/978-3-7091-9459-1
ISBNs
978-3-21-182794-9, 978-3-70-919459-1
Editors

Caviness, Bob F., Johnson, Jeremy R.

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.