About this conference: Lecture about Verfied numerical computations
Instructor: Dr. Akitoshi Takayasu
Lectures: August 1st, 2017
9:20 - 10:20 : Lecture about topic 1
10:30 - 11:30 : Exercise for topic 1
13:00 - 14:00 : Lecture about topic 2
14:15 - 14:45 : Exercise for topic 2
Memo for students:
ex. Type "Shift+Enter" to finish editting each cell and to run codes.
The first lecture uses Python with pyinterval module to check results of computations. The second lecture uses Octave with direct rounding controll code "setround.cc" to check results of computations.
- S.M. Rump. Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 19:287–449, 2010.
- W. Tucker. Validated numerics: a short introduction to rigorous computations. Princeton University Press, 2011.
- T. Yamamoto. Error bounds for approximate solutions of systems of equations. Japan J. Appl. Math., 1 (1984), 157-171.
This course has about 1 hour lecture and 1 or 2 hours exercise.
Lecture note 1
Lecture note 2