skip to main content
article
Free access

Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis

Published: 01 February 1976 Publication History

Abstract

This is a brief summary and exposition of the paper "Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition," which was presented at the Second GI Conference on Automata Theory and Formal Languages, University of Kaiserslautern, May 1975, and which appears in the proceedings of that conference, <u>Lecture Notes in Computer Science</u>, Vol. 33 (Springer Verlag, Berlin, 1975, pages 134--183). A preliminary version of this paper was presented at the EUROSAM 74 Conference, Stockholm, July 1974, and appears in the proceedings of that conference, <u>SIGSAM Bulletin</u>, Vol. 8, No. 3 (August 1974), pages 30--90. The final version of the paper includes a rather detailed analysis of the computing time of the algorithm, which was omitted from the preliminary version In addition, the final version describes several significant improvements to the algorithm of the earlier version.

Cited By

View all
  • (2025)Automating Equational Proofs in Dirac NotationProceedings of the ACM on Programming Languages10.1145/37048789:POPL(1227-1259)Online publication date: 9-Jan-2025
  • (2023)Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic VerificationDependable Software Engineering. Theories, Tools, and Applications10.1007/978-981-99-8664-4_10(171-188)Online publication date: 27-Nov-2023
  • (2022)Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS XACM Transactions on Embedded Computing Systems10.1145/354497022:1(1-30)Online publication date: 29-Oct-2022
  • Show More Cited By
  1. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM SIGSAM Bulletin
      ACM SIGSAM Bulletin  Volume 10, Issue 1
      February 1976
      33 pages
      ISSN:0163-5824
      DOI:10.1145/1093390
      Issue’s Table of Contents

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 01 February 1976
      Published in SIGSAM Volume 10, Issue 1

      Check for updates

      Qualifiers

      • Article

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)127
      • Downloads (Last 6 weeks)14
      Reflects downloads up to 13 Jan 2025

      Other Metrics

      Citations

      Cited By

      View all
      • (2025)Automating Equational Proofs in Dirac NotationProceedings of the ACM on Programming Languages10.1145/37048789:POPL(1227-1259)Online publication date: 9-Jan-2025
      • (2023)Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic VerificationDependable Software Engineering. Theories, Tools, and Applications10.1007/978-981-99-8664-4_10(171-188)Online publication date: 27-Nov-2023
      • (2022)Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS XACM Transactions on Embedded Computing Systems10.1145/354497022:1(1-30)Online publication date: 29-Oct-2022
      • (2022)Solving parametric systems of polynomial equations over the reals through Hermite matricesJournal of Symbolic Computation10.1016/j.jsc.2021.12.002112:C(25-61)Online publication date: 1-Sep-2022
      • (2022)Modulation of swelling of PVA hydrogel by polymer and crosslinking agent concentrationPolymer Bulletin10.1007/s00289-022-04116-280:2(1303-1320)Online publication date: 7-Feb-2022
      • (2021)Faster One Block Quantifier Elimination for Regular Polynomial Systems of EquationsProceedings of the 2021 International Symposium on Symbolic and Algebraic Computation10.1145/3452143.3465546(265-272)Online publication date: 18-Jul-2021
      • (2021)SyPSE: A Symbolic Computation Toolbox for Process Systems Engineering Part II─Design for PSE ApplicationsIndustrial & Engineering Chemistry Research10.1021/acs.iecr.1c0223960:45(16317-16329)Online publication date: 2-Nov-2021
      • (2021)SyPSE: A Symbolic Computation Toolbox for Process Systems Engineering Part I─Architecture and Algorithm DevelopmentIndustrial & Engineering Chemistry Research10.1021/acs.iecr.1c0215160:45(16304-16316)Online publication date: 2-Nov-2021
      • (2021)Amplituhedron-like geometriesJournal of High Energy Physics10.1007/JHEP11(2021)0742021:11Online publication date: 11-Nov-2021
      • (2020)Computing the real isolated points of an algebraic hypersurfaceProceedings of the 45th International Symposium on Symbolic and Algebraic Computation10.1145/3373207.3404049(297-304)Online publication date: 20-Jul-2020
      • Show More Cited By

      View Options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Login options

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media