Numerical Toolbox for Verified Computing I Basic Numerical Problems
As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results. We use the features of the scientific computer langua
- PDF / 48,383,739 Bytes
- 348 Pages / 439.37 x 666.142 pts Page_size
- 21 Downloads / 195 Views
21
Editorial Board R. L. Graham, Murray Hill (NJ)
J. Stoer, WOrzburg R. Varga, Kent (Ohio)
R. Hammer M. Hocks U. Kulisch D. Ratz
Numerical Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
With 28 Figures
Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest
Prof. Dr. Ulrich Kulisch Dr. Rolf Hammer Dr. Dietmar Ratz Dipl-Math. oec. Matthias Hocks Institut fOr Angewandte Mathematik Universitat Karlsruhe Postfach 6980 0-76128 Karlsruhe
Mathematics Subject Classification (1991): 65-01, 65G10, 65F, 65H, 65K
ISBN-13: 978-3-642-78425-5 e-ISBN-13:978-3-642-78423-1 001: 10.1007/978-3-642-78423-1
CIP data applied for This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the prOVisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. © Springer-Verlag Berlin Heidelberg 1993 Softcover reprint of the hsrdcover 1st edition 1993
The copyright for the computer programs in this publication is owned by the authors. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Disclaimer/Legal Matters: Springer-Verlag and the authors make no warranties with respect to the adequacy of this book or the programs which it descibes for any particular purpose or with respect to its adequacy to produce any particular result. We make no warranties, express or implied, that the programs contained in this volume are free of error, or are consistent with any particular standard of merchantability, or that they will meet your requirements for any particular application. They should not be relied on for solving a problem whose incorrect solution could result in injury to a person or loss of property. If you do use the programs in such a manner, it is at your own risk. In no event shall Springer-Verlag or the authors be liable for special, direct, indirect or consequential damages, losses, costs, charges, claims, demands or claim for lost profits, fees or expenses of any nature or kind. Typesetting: Camera ready by the authors using TEX 41/3140 - 5 4 3 2 1 0 - Printed on acid-free paper
Preface
As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results. We use the features of the scientific computer language PASCAL-XSC to offer modules th
