Computing elementary functions: A new approach for achieving high accuracy and good performance -- Fast elementary function algorithms for 370 machines -- A new arithmetic for scientific computation -- New results on verified inclusions -- Accurate elliptic differential equation solver -- Case studies for augmented floating-point arithmetic -- Strict optimal error and residual estimates for the solution of linear algebraic systems by elimination methods in high-accuracy arithmetic -- Solving large sparse linear systems with guaranteed accuracy -- Symbolic and numeric manipulation of integrals -- Computer algebra and exact solutions to systems of polynomial equations -- The euclidean algorithm for gaussian integers -- An efficient stochastic method for round-off error analysis.