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.