Numerical Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Pascal-Xsc Programs (SPRINGER SERIES IN COMPUTATIONAL MATHEMATICS)

by: R. Hammer · M. Hocks · U. Kulisch · D. Ratz Hardcover details (United States). (see also: eBook (Kindle)) details (United Kingdom). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-0-387-57118-8 ISBN-10: 0-387-57118-3 Springer Verlag · 1993