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: 9789811376689
Price: 308.91 PLN
Availability: InStock

Autor: Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe

Język:

Oprawa: Twarda

Wydawca: Springer Verlag, Singapore

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-18 dni

308.91 zł

In the last decades, various mathematical problems have been solved by computer-assisted proofs, amo...

Informacje o książce

Autor

Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2019

strony

467

EAN

9789811376689

ISBN

9811376689

Enbook ID

22145405

Wydawca

Springer Verlag, Singapore

Waga

870

Wymiary

164 x 243 x 28

Pełny opis

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 more. In many cases, comput

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również