1 Ebooki wg Mitsuhiro T. Nakao
Mitsuhiro T. Nakao & Michael Plum: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
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 …
PDF
Angielski
€139.09
