Related Books
Language: en
Pages: 272
Pages: 272
Type: BOOK - Published: 1990-12-05 - 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: 0
Pages: 0
Type: BOOK - Published: 2011-12-16 - Publisher: Springer
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: 280
Pages: 280
Type: BOOK - Published: 1991 - Publisher: Springer
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: 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