0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > Vector & tensor analysis

Buy Now

Computer Aided Proofs in Analysis (Paperback, Softcover reprint of the original 1st ed. 1991) Loot Price: R1,514
Discovery Miles 15 140
Computer Aided Proofs in Analysis (Paperback, Softcover reprint of the original 1st ed. 1991): Kenneth R. Meyer, Dieter S...

Computer Aided Proofs in Analysis (Paperback, Softcover reprint of the original 1st ed. 1991)

Kenneth R. Meyer, Dieter S Schmidt

Series: The IMA Volumes in Mathematics and its Applications, 28

 (sign in to rate)
Loot Price R1,514 Discovery Miles 15 140 | Repayment Terms: R142 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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 Institutions select, through a competitive process, several conferences proposals from the PIs, for partial funding. This conference brought together leading figures in a number of fields who were interested in finding exact answers to problems in analysis through computer methods. We thank Kenneth Meyer and Dieter Schmidt for organizing the meeting and editing the proceedings. A vner Friedman Willard Miller, Jr. PREFACE Since the dawn of the computer revolution the vast majority of scientific compu tation has dealt with finding approximate solutions of equations. However, during this time there has been a small cadre seeking precise solutions of equations and rigorous proofs of mathematical results. For example, number theory and combina torics have a long history of computer-assisted proofs; such methods are now well established in these fields. In analysis the use of computers to obtain exact results has been fragmented into several schools."

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: The IMA Volumes in Mathematics and its Applications, 28
Release date: December 2011
First published: 1991
Editors: Kenneth R. Meyer • Dieter S Schmidt
Dimensions: 235 x 155 x 14mm (L x W x T)
Format: Paperback
Pages: 251
Edition: Softcover reprint of the original 1st ed. 1991
ISBN-13: 978-1-4613-9094-7
Categories: Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > Vector & tensor analysis
Promotions
LSN: 1-4613-9094-X
Barcode: 9781461390947

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Calculus - Early Transcendentals, Metric…
James Stewart, Saleem Watson, … Hardcover R1,423 R1,334 Discovery Miles 13 340
A Generalized Framework of Linear…
Liansheng Tan Paperback R2,474 R2,339 Discovery Miles 23 390
BI Statistical Methods - Volume I…
Peter Walley Hardcover R2,831 Discovery Miles 28 310
Vectors in Two or Three Dimensions
Ann Hirst Paperback R1,079 Discovery Miles 10 790
Math Without Numbers
Milo Beckman Paperback R450 R415 Discovery Miles 4 150
Multivariable Calculus, Metric Edition
Daniel K Clegg, James Stewart, … Hardcover R1,401 R1,301 Discovery Miles 13 010
Data Analysis and Data Mining - An…
Adelchi Azzalini, Bruno Scarpa Hardcover R3,484 Discovery Miles 34 840
Deformation Theory of Discontinuous…
Ali Baklouti Hardcover R5,764 Discovery Miles 57 640
Boundary Elements and Other Mesh…
E. Divo, A Kassab, … Hardcover R2,896 Discovery Miles 28 960
Schaum's Outline of Calculus, Seventh…
Elliott Mendelson Paperback R483 Discovery Miles 4 830
Special Functions Of Fractional…
Trifce Sandev, Alexander Iomin Hardcover R2,577 Discovery Miles 25 770
Single Variable Calculus, Metric Edition
James Stewart, Saleem Watson, … Hardcover R1,454 R1,354 Discovery Miles 13 540

See more

Partners