1. Analysis
2. Exact real arithmetic: a case study in higher order programming
3. Besitzt jede reelle zahl eine dezimalbruchentwicklung? Mathematische Annalen, 1991. Georg Cantor. Über eine eigenschaft des inbegriffes aller reellen algebraischen zahlen. Journal für die Reine und Angewandte Mathematik, 1874. Alexandre Chapoutot. Interval slopes as a numerical abstract domain for floating-point variables.;Brouwer,2010
4. Validated Numerics: A Short Introduction to Rigorous Computations. Princton University Press, 2011. Angela Yun Zhu, Edwin Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Marcia O'Malley, Robert Cartwright, Aaron Ames, and Raktim Bhattacharya. Mathematical equations as executable models of mechanical systems.;Tucker,2010