Validation Numerics

Theory and Applications

  • R. Albrecht
  • G. Alefeld
  • H. J. Stetter

Part of the Computing Supplementum book series (COMPUTING, volume 9)

Table of contents

  1. Front Matter
    Pages i-ix
  2. N. Apostolatos
    Pages 1-10
  3. A. Frommer, G. Mayer
    Pages 45-65
  4. Weimin Han, F. A. Potra
    Pages 67-78
  5. S. König, C. P. Ullrich
    Pages 129-146
  6. Siegfried M. Rump
    Pages 191-212
  7. H. J. Stetter
    Pages 247-263

About this book


The articles in this book give a comprehensive overview on the whole field of validated numerics. The problems covered include simultaneous systems of linear and nonlinear equations, differential and integral equations and certain applications from technical sciences. Furthermore some papers which improve the tools are included. The book is a must for scientists working in numerical analysis, computer science and in technical fields.


Fortran Matrix algorithms computer computer algebra computer science expert system numerical analysis numerics optimization scientific computing verification

Editors and affiliations

  • R. Albrecht
    • 1
  • G. Alefeld
    • 2
  • H. J. Stetter
    • 3
  1. 1.Institut für InformatikUniversität InnsbruckAustria
  2. 2.Institut für Angewandte MathematikUniversität KarlsruheFederal Republic of Germany
  3. 3.Institut für Angewandte und Numerische MathematikTechnische Universität WienAustria

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Vienna 1993
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-211-82451-1
  • Online ISBN 978-3-7091-6918-6
  • Series Print ISSN 0344-8029
  • Buy this book on publisher's site
Industry Sectors
Energy, Utilities & Environment