Cylindrical algebraic decomposition and its applications
 --------------------------------------------------------
 C. W. Brown


 This series of lectures will describe techniques, software
 and applications of "quantifier elimination over real closed
 fields".  In essence, these methods answer a wide range of
 questions about systems of polynomial equations and inequalities
 over the real numbers.  These systems typically have parametric
 coefficients, and answers are typically conditions on problem
 parameters.  Several different software packages will be
 investigated, and their applications to problems in science
 and engineering demonstrated.