Evolution of Mathematical Proof |
| |
Authors: | Marian Mrozek Jacek Urbaniec |
| |
Institution: | 1. School of Mathematics, Georgia Institute of Technology, Atlanta, GA, 30332 - 0160, USA 2. Computer Science Institute, Jagiellonian University, Cracow, Poland
|
| |
Abstract: | The authors present the main ideas of the computer-assisted proof of Mischaikow and Mrozek that chaos is really present in the Lorenz equations. Methodological consequences of this proof are examined. It is shown that numerical calculations can constitute an essential part of mathematical proof not only in the discrete mathematics but also in the mathematics of continua. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|