Advertisement

An improved projection operation for cylindrical algebraic decomposition

  • Scott McCallum
Algebraic Algorithms IV
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)

References

  1. [ACM84]
    Arnon D.S., Collins G.E., McCallum S: Cylindrical algebraic decomposition I: the basic algorithm, SIAM J. Comp., 13,4, (1984), 865–877.Google Scholar
  2. [COL75]
    Collins G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition, in Second GI Conference on Automata Theory and Formal Languages, vol.33 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1975, 134–183.Google Scholar
  3. [MCC84]
    McCallum S: An improved projection operation for cylindrical algebraic decomposition, Ph.D. Thesis, Univ. of Wisconsin-Madison, Dec., 1984.Google Scholar
  4. [ZAR75]
    Zariski O: On equimultiple subvarieties of algebroid hypersurfaces, Proc.Nat.Acad.Sci.USA, 72,4,(1975), 1425–1426.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Scott McCallum
    • 1
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada

Personalised recommendations