Computer Aided Proofs in Analysis
This IMA Volume in Mathematics and its Applications COMPUTER AIDED PROOFS IN ANALYSIS is based on the proceedings of an IMA Participating Institutions (PI) Conference held at the University of Cincinnati in April 1989. Each year the 19 Participating Insti
- PDF / 32,374,379 Bytes
- 264 Pages / 439 x 666 pts Page_size
- 77 Downloads / 192 Views
Institute for Mathematics and its Applications IMA The Institute for Mathematics and its Applications was established by a grant from the National Science Foundation to the University of Minnesota in 1982. The IMA seeks to encourage the development and study of fresh mathematical concepts and questions of concern to the other sciences by bringing together mathematicians and scientists from diverse fields in an atmosphere that will stimulate discussion and collaboration. The IMA Volumes are intended to involve the broader scientific community in this process. Avner Friedman, Director Willard Miller, Jr., Associate Director
********** IMA PROGRAMS 1982-1983 1983-1984
Statistical and Continuum Approaches to Phase Transition Mathematical Models for the Economics of
1984-1985 1985-1986 1986-1987 1987-1988 1988-1989 1989-1990 1990-1991
Decentralized Resource Allocation Continuum Physics and Partial Differential Equations Stochastic Differential Equations and Their Applications Scientific Computation Applied Combinatorics Nonlinear Waves Dynamical Systems and Their Applications Phase Transitions and Free Boundaries
********** SPRINGER LECTURE NOTES FROM THE IMA:
The Mathematics and Physics of Disordered Media Editors: Barry Hughes and Barry Ninham (Lecture Notes in Math., Volume 1035, 1983) Orienting Polymers Editor: J.L. Ericksen (Lecture Notes in Math., Volume 1063, 1984)
New Perspectives in Thermodynamics Editor: James Serrin (Springer-Verlag, 1986)
Models of Economic Dynamics Editor: Hugo Sonnenschein (Lecture Notes in Econ., Volume 264, 1986)
Kenneth R. Meyer
Dieter S. Schmidt
Editors
Computer Aided Proofs in Analysis
Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona
Kenneth R. Meyer Departments of Mathematics and Computer Science University of Cincinnati Cincinnati, OH 45221 USA
Dieter S. Schmidt Department of Computer Science University of Cincinnati Cincinnati, OH 45221 USA
Series Editors Avner Friedman Willard Miller, Jr. Institute for Mathematics and Its Applications University of Minnesota Minneapolis, MN 55455 USA
Library of Congress Cataloging-in-Publication Data Computer aided proofs in analysis / Kenneth R. Meyer, Dieter Schmidt, editors. p. cm. - (The IMA volumes in mathematics and its applications ; v. 28) 1. Numerical analysis-Data processing-Congresses. 1. Meyer, Kenneth R. (Kenneth Ray), 1937II. Schmidt, Dieter S. m. Series. QA297.C638 1990 519.4'0285-dc20 90-45342 Printed on acid-free paper. 1991 by Springer-Verlag New York Inc. Softcover reprint of the hardcover 1st edition 1991 All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer-Verlag, 175 Fifth Avenue, New York, NY 10010, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use of
