References for Lecture 4

• D.S. Arnon, G.E. Collins, S. McCallum: Cylindrical Algebraic Decomposition I: The Basic Algorithm.
  SIAM Journal on Computing 13:4 (1984) pp.865-877.
  Available in CS library (Z55).
• S. Basu, R. Pollack, M.-F. Roy: Algorithms in Real Algebraic Geometry. Springer-Verlag, New York, 2003.
  Available in MPII library.
  Relevant for us: Chapters 2, 5, 12.
• Bud Mishra: Algorithmic Algebra.
  Springer-Verlag, New York, 1993.
  Generally available in MPII library, but currently borrowed (guess by whom ;-).
  Relevant for us: Section 8.6.
• Julia Robinson: Definability and Decidability Problems in Arithmetic.
  Journal of Symbolic Logic 14 (1949) pp.98-114.
  Available in CS library.