Arts & Photography
Biographies & Memoirs
Business & Investing
Children's Books
Comics & Graphic Novels
Computers & Internet
Entertainment
Health, Mind & Body
History
Home & Garden
Law
Literature & Fiction
Medicine
Mystery & Thrillers
Nonfiction
Outdoors & Nature
Parenting & Families
Professional & Technical
Reference
Religion & Spirituality
Romance
Science
Science Fiction & Fantasy
Sports
Teens
Travel



Antiques
Art
Autos
Baby
Books
Camera & Photo
Cleaning Supplies
Clothing
Computers
Computer & Video Games
Collectibles
DVD
Education
Electronics
Entertainment
Health & Fitness
Jewelry
Kids
Kitchen & Housewares
Magazines
Motorcycle gear
Music
Pets
Outdoor Living
Software
Sports
Tools & Hardware
Toys & Games
Video

Best Webhosts
Webmaster Tips


Shopping Mall
Health & Fitness
Electronics Toys & Games

Computer Aided Proofs in Analysis (Ima Volumes in Mathematics and Its Applications) Books
In association with Amazon.com
 Find great shopping deals on Computer Aided Proofs in Analysis (Ima Volumes in Mathematics and Its Applications)!   

 
 
 


List Price: $79.95
Price: $9.95
You Save: $70.00 (88%)
Prices subject to change.



Availability: Usually ships in 1-2 business days

Buy Now!


Binding: Hardcover
Dewey Decimal Number: 519.40285
EAN: 9780387974262
ISBN: 0387974261
Label: Springer
Manufacturer: Springer
Number Of Items: 1
Number Of Pages: 251
Publication Date: 1991-01
Publisher: Springer
Studio: Springer






Editorial Review:

Product Description:
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.



Customer Reviews
Average Rating:  out of 5 stars

Rating: 5 out of 5 stars - This Book is AWESOME
My life was dull until I read this facinating work. It inspired me into a higher level of rationalistic reasoning. I keep a copy under my pillow.





 

New - Buy Groceries

Magazine Subscriptions

Search for Posters



Health & Personal Care

This site is Hosted by Bluehost

Read my Bluehost Review