Existence of Lorentz attractor was proved in part using rigorous numerics impemented on a computer. http://www2.math.uu.se/~warwick/main/papers/comptes.pdf
Piyush Grover
- 2.3k
- 1
- 23
- 44