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