This workshop was organized with the support of GAMM, the International Association of Applied Mathematics and Mechanics, on the occasion of J. Herzberger's 60th birthday. GAMM is thankful to him for all the time and work he spent in the preparation and holding of the meeting. The talks presented during the workshop and the papers published in this volume are part of the field of Verification Numerics. The important subject is fostered by GAMM already since a number of years, especially also by the GAMM FachausschuB (special interest group) "Rechnerarithmetik und Wissenschaft liches Rechnen."...

This volume contains eighteen papers submitted in celebration of the sixty-fifth birthday of Professor Tetsuro Yamamoto of Ehime University. Professor Yamamoto was born in Tottori, Japan on January 4, 1937. He obtained his B. S. and M. S. in mathematics from Hiroshima University in 1959 and 1961, respec tively. In 1966, he took a lecturer position in the Department of Mathematics, Faculty of General Education, Hiroshima University and obtained his Ph. D. degree from Hiroshima University two years later. In 1969, he moved to the Department of Applied Mathematics, Faculty of Engineering, Ehime...

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.

Obwohl man annehmen kann, daB das gerundete Rechnen so alt ist wie das Rechnen mit Zahlen iiberhaupt, hat es eine ausgedehnte und systematische Anwendung erst durch die neuzeitlichen Digitalrechenanlagen gefunden. Die zwangslliufige Begrenzung sowohl des Gesamtspeichers wie der Bitanzahl der einzelnen Speicherzellen und Register bedingt bei jeder Zahldarstellung eine Einschrlinkung eines theoretischen, idealisierten, unendlichen Zahlenbereiches auf eine endliche Teilmenge, in der die realen arithmetischen Operationen konstruktiv erfolgen. Infolgedessen stimmen die Regeln fiir dieses...

This volume contains mainly a collection of the invited lectures which were given during a conference on "Fundamentals of Numerical Computation," held in June, 5 - 8, 1979, on the occasion of the centennial of the Technical University of Berlin. About hundred scientists from several countries attended this conference. A preceding meeting on "Fundamentals of Computer-Arithmetic" was held in August, 1975, at the "Mathematisches Forschungsinstitut Oberwolfach." The lectures of this conference have been published as Supplementum 1 of Computing (Editors R. Albrecht, U. Kulisch). After a period of...

Ten years ago, the term "defect correction" was introduced to characterize a class of methods for the improvement of an approximate solution of an operator equation. This class includes many well-known techniques (e.g. Newton's method) but also some novel approaches which have turned out to be quite efficient. Meanwhile a large number of papers and reports, scattered over many journals and institutions, have appeared in this area. Therefore, a working conference on "Error Asymptotics and Defect Corrections" was organized by K. Bohmer, V. Pereyra and H. J. Stetter at the Mathematisches...

Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, 1987, in Karlsruhe; it was co-sponsored by the GAMM Committee on "Computer Arithmetic and Scientific Computation." - - This volume combines edited versions of selected papers presented at this confer ence, including a few which were presented at a similar meeting one year earlier. The selection was made...

One ofthe most important aspects in research fields where mathematics is "applied is the construction of a formal model of a real system. As for structural relations, graphs have turned out to provide the most appropriate tool for setting up the mathematical model. This is certainly one of the reasons for the rapid expansion in graph theory during the last decades. Furthermore, in recent years it also became clear that the two disciplines of graph theory and computer science have very much in common, and that each one has been capable of assisting significantly in the development of the...

this gap. In sixteen survey articles the most important theoretical results, algorithms and software methods of computer algebra are covered, together with systematic references to literature. In addition, some new results are presented. Thus the volume should be a valuable source for obtaining a first impression of computer algebra, as well as for preparing a computer algebra course or for complementary reading. The preparation of some papers contained in this volume has been supported by grants from the Austrian "Fonds zur Forderung der wissenschaftlichen For schung" (Project No. 3877), the...