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: 400.09 RON
Availability: InStock

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

Limbă:

Legare: Copertă tare

Editura: Springer Verlag, Singapore

Disponibilitate: În depozitul extern

Expediem în 10-18 zile

400.09 lei

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

Informații despre carte

Autor

Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2019

Pagini

467

EAN

9789811376689

ISBN

9811376689

Enbook ID

22145405

Editura

Springer Verlag, Singapore

Greutate

870

Dimensiuni

164 x 243 x 28

Descriere completă

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

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și