Blankenagel, Jürgen: Elemente der angewandten Mathematik
/ von Jürgen Blankenagel. - Mannheim : BI-Wiss.-Verl., 1994. - 262 S. : Ill., graph. Darst.; 24 cm - (Mathematische Texte; Bd. 2)
ISBN 978-3-411-14961-2 / 3-411-14961-2 kart. : DM 29.80
Quelle: DNB
Reelle Zahlen
: das klassische Kontinuum und die natürlichen Folgen / Oliver Deiser. - [Online-Ausg. der] 2., korrigierten und erw. [gedr.] Aufl. - Berlin : Springer, 2008. - Online-Ressource - (Springer-Lehrbuch)
ISBN 978-3-540-79376-2
Lizenzpflichtig
Quelle: DNB
Reliable implementation of real number algorithms
: theory and practice ; international seminar ; Dagstuhl Castle, Germany, January 8 - 13, 2006 ; revised papers / Peter Hertling ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5045)
ISBN 978-3-540-85521-7
Lizenzpflichtig
Quelle: DNB
Harrison, John: Theorem proving with the real numbers
/ John Harrison. - London : Springer, 1998. - XII, 186 S. : graph. Darst.; 24 cm - (Distinguished dissertations)
ISBN 978-3-540-76256-0 / 3-540-76256-6 Pp. : DM 139.00
Literaturverz. S. 169 - 183
Quelle: DNB
