Yoshitaka Watanabe – författare
Visar alla böcker från författaren Yoshitaka Watanabe. Handla med fri frakt och snabb leverans.
3 produkter
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Av Mitsuhiro T. Nakao, Michael Plum m. fl.
Inbunden, 2019
923 kr
Lägg i varukorg
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, computer-assisted proofs have the remarkable …
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Av Yoshitaka Watanabe, Michael Plum m. fl.
E-bok, 2019
1948 kr
Lägg i varukorg
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, computer-assisted proofs have the remarkable …
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Av Mitsuhiro T. Nakao, Michael Plum m. fl.
Häftad, 2020
923 kr
Lägg i varukorg
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, computer-assisted proofs have the remarkable …
