Speaker : | Prof. Chi-Jer Yu (National Chiao Tung University) |
Title : | Interval Methods applied in the rigorous proofs of Dynamical Systems |
Time : | 2013-05-29 (Wed) 15:00 - 16:30 |
Place : | Seminar Room 722, Institute of Mathematics (NTU Campus) |
Abstract: | I will give a brief introduction for IA (Interval Arithmetic) and the Interval Newton's method for rigorous mathematical proofs with only numerical computations. Then, I should demonstrate some IA applications in dynamical systems. |