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.