Code: 22145405

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Name: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Brand: Springer Verlag, Singapore
SKU: 22145405
Price: 78.61 EUR
Availability: InStock
Author: Mitsuhiro T. Nakao
ISBN: 9789811376689

by Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe

In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and m ... more

Language: English
Binding: Hardback
Number of pages: 467
Publisher: Springer Verlag, Singapore, 2019
More about this

78.61 €

RRP: 78.64 €

You save 0.03 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Siemens NX 12 Design Fundamentals: A Step by Step Guide
39.65 € -6 %
Buy
Level 1 Demon Lord and One Room Hero Vol. 3
10.39 € -26 %
Buy
Stars My Destination
13.31 € -25 %
Buy
Annie Soudain: Summer I (Foiled Journal)
10.89 € -25 %
Pre-order
Anger Control and Conflict Management for Kids
18.86 € -25 %
Buy
Alcibiade: .
13.21 €
Buy
Morals and Dogma, Volume 1 (Chapters 1-24)
18.36 € -2 %
Buy
The Vessel of God
64.18 € -1 %
Buy
Prayers
19.27 € -2 %
Buy
Up Is Up, But So Is Down
44.80 €
Buy
Trade, Traders and the Ancient City
73.67 €
Buy
El vagabundo de las estrellas
10.28 €
Buy
Militär. U.S. Kampfflugzeuge (hochwertiger Premium Wandkalender 2026 DIN A2 hoch), Kunstdruck in Hochglanz
73.67 € -4 %
Buy
Refus du risque et catastrophes financières
27.54 €
Buy
Le Celebre Cadet-Bitard
25.32 € -1 %
Buy
Die Mitwirkung des Bestellers beim Werkvertrag.
58.63 €
Buy
Principles of Gothic Ecclesiastical Architecture with an Explanation of Technical Terms, and a Centenary of Ancient Terms
43.49 € -1 %
Buy
Sherwood Nation
14.02 € -14 %
Buy
Einige Belehrungen uber Toleranz, Vernunft, Offenbarung, Theologie, Wandrung
24.11 € -11 %
Buy
I EN QUI, L'OFEC?
13.92 €
Buy
The Heroes In Gray
9.98 € -7 %
Buy
Narrative History of the American Press
68.52 €
Buy
Baby Names: An Essential Guide to Choosing the Perfect Name Including Thousands of Baby Names with Meaning and Origin
12.81 € -7 %
Buy
Технология безалкогольных напитков. Учебное пособие
43.29 € -12 %
Buy
Business Process Management
51.56 € -7 %
Buy
John Adams, Thomas Jefferson, and the Founding of America
105.96 € -4 %
Pre-order
Defensive Investing
24.62 €
Buy
El nacimiento de la arqueología moderna 1798-1945
42.88 €
Buy
The Horoscope - A Romance of the Reign of Francois II.
32.69 € -9 %
Buy
Princess Rosie's Rainbows
16.14 € -27 %
Buy
García-Llort observant com va el món
61.05 €
Buy
Rajasthan - Architektur im Land der Könige (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender
59.03 € -4 %
Buy
Let's Learn Colors and Shapes Workbook Toddler-PreK - Ages 1 to 5
10.99 € -2 %
Buy
ragno. Io amo la natura
15.73 € -9 %
Buy
Genesis Survey: Understanding the First Book of the Bible
14.73 € -2 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Book details
Synopsis
Trending among others

You get 191 loyalty points

Book synopsis

Book details

78.61 €

Full title: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Author: Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
Language: English
Binding: Hardback
Number of pages: 467
EAN: 9789811376689
ISBN: 9811376689
ID: 22145405
Publisher: Springer Verlag, Singapore
Weight: 870 g
Dimensions: 243 × 164 × 28 mm
Date of publishing: 16. September 2019