×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Computer Aided Proofs in Analysis
     

Computer Aided Proofs in Analysis

by Kenneth R. Meyer (Editor), Dieter S. Schmidt (Editor)
 

See All Formats & Editions

This volume is the proceedings of a scientific conference on the use of computers to do exact mathematics which was held at the University of Cincinnati, March 22-25, 1989. One group of papers deals with the use of general algebraic processors like Macsyma, Reduce, Scratchpad etc. to do precise computations in bifurcation analysis and related areas of analysis.

Overview

This volume is the proceedings of a scientific conference on the use of computers to do exact mathematics which was held at the University of Cincinnati, March 22-25, 1989. One group of papers deals with the use of general algebraic processors like Macsyma, Reduce, Scratchpad etc. to do precise computations in bifurcation analysis and related areas of analysis. Another group of papers deals with the development of the software to solve equations exactly, carry of explicit integrations etc. for these general software packages. A third group discusses the use of interval arithmetic algorithms and software to give rigorous proofs of mathematical theorems and give precise estimates of stabililty regions.

Editorial Reviews

Booknews
Contains some 20 papers from an April 1989 conference at the U. of Cincinnati. Aspects of using computer methods to obtain precise answers to questions in analysis are addressed by developers and end users in symbolic algebra, interval arithmetic, and other fields. No index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Product Details

ISBN-13:
9781461390947
Publisher:
Springer New York
Publication date:
07/31/2012
Series:
IMA Volumes in Mathematics and its Applications Series , #28
Edition description:
Softcover reprint of the original 1st ed. 1991
Pages:
251
Product dimensions:
6.10(w) x 9.25(h) x 0.02(d)

Related Subjects

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews