Carte Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations Mitsuhiro T. Nakao

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

Limbă: engleză
Legare: Copertă tare
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

Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2019
Pagini
467
EAN
9789811376689
ISBN
9811376689
Enbook ID
22145405
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

67.80 lei

García-Llort observant com va el món

Mitrani Martínez de Marigorta
310.72 lei

Defensive Investing

Walter Marlowe
125.43 lei
249.26 lei

Sherwood Nation

Benjamin Parzybok
79.49 lei
276.36 lei
409.76 lei

Prayers

Henry Drummond
108.00 lei
76.97 lei
82.21 lei

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

52.49 lei

I EN QUI, L'OFEC?

COSTA-PAU BEA
70.92 lei

Alcibiade: .

Marie-Laurence Desclos
67.30 lei
55.41 lei

Le Celebre Cadet-Bitard

Armand Silvestre
149.81 lei