Related Books
Language: en
Pages:
Pages:
Type: BOOK - Published: 2012 - Publisher:
Language: en
Pages: 469
Pages: 469
Type: BOOK - Published: 2019-11-11 - Publisher: Springer Nature
In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the e
Language: en
Pages:
Pages:
Type: BOOK - Published: 2019 - Publisher:
"In this study, we prove the existence and local uniqueness of radially symmetric solutions of nonlinear partial differential equations via a rigorous numerical
Language: en
Pages: 264
Pages: 264
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This IMA Volume in Mathematics and its Applications COMPUTER AIDED PROOFS IN ANALYSIS is based on the proceedings of an IMA Participating Institutions (PI) Conf
Language: en
Pages: 415
Pages: 415
Type: BOOK - Published: 2006-01-17 - Publisher: Springer Science & Business Media
This book primarily concerns quasilinear and semilinear elliptic and parabolic partial differential equations, inequalities, and systems. The exposition quickly