Computer aided proofs in analysis (The IMA volumes in mathematics and its applications)

Kenneth R. Meyer

ISBN 10: 3540974261 / ISBN 13: 9783540974260

Published by Springer 0

About this Item

LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # ERICA79035409742616

Bibliographic Details

• Title: Computer aided proofs in analysis (The IMA volumes in mathematics and its applications)
• Publisher: Springer 0
• Language: English
• ISBN 10: 3540974261
• ISBN 13: 9783540974260
• Binding: Hardcover
• Condition: Like New
• Book Type: book

About this title

Synopsis

This volume records 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 out 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 stability regions.