I've used computers to prove a theorem about a complex dynamical system. See http://www.ams.org/mathscinet-getitem?mr=1836429. So have others. See Proving Conjectures by Use of Interval Arithmetic.
|
1 | [made Community Wiki] | ||
|
|
||||
