Intensive Course

Homepage:            

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

Room: 523

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.

References:

- 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 notes:

Lecture note 1

Lecture note 2