Numerical Computations with Verification - NMNV569

• Title: Numerické výpočty s verifikací
• Guaranteed by: Department of Numerical Mathematics (32-KNM)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2014 to 2021
• Semester: summer
• E-Credits: 5
• Hours per week, examination: summer s.:2/2, C+Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: Czech, English
• Teaching methods: full-time
• Teaching methods: full-time
• Guarantor: doc. Ing. Stefan Ratschan, Ph.D.
• Class: M Mgr. NVM; M Mgr. NVM > Volitelné
• Classification: Mathematics > Numerical Analysis

Annotation

English

Last update: T_KNM (27.04.2015)

The course is devoted to verification methods in numerical computations and their applications.

Czech

Last update: doc. RNDr. Václav Kučera, Ph.D. (15.01.2019)

Předmět je věnován aplikacím, metodám a mezím verifikačních metod v numerických výpočtech. 1. Úvod, výhody a meze ruční analýzy chyb 2. Aproximativní a přesná aritmetika, bodové a množinové výpočty, symbolické výpočty 3. Základy intervalové aritmetiky 4. Intervalové lineární problémy 5. Verifikační metody pro nelineární soustavy rovnic 6. Deterministická globální optimalizace 7. Verifikační metody pro dynamické systémy 8. Meze verifikace: Rozhodnutelnost, teorie vyčíslitelnosti

Literature

Last update: doc. RNDr. Václav Kučera, Ph.D. (15.01.2019)

Arnold Neumaier: Interval Methods for Systems of Equations, Cambridge Univ. Press, 1990

Ramon E. Moore and R. Baker Kearfott and Michael J. Cloud: Introduction to Interval Analysis, SIAM, 2009

Siegfried M. Rump, Verification Methods: Rigorous Results using Floating-point Arithmetic, Acta Numerica, 2010, 287-449

Syllabus

Last update: T_KNM (15.09.2013)

1. Úvod, výhody a meze ruční analýzy chyb

2. Aproximativní a přesná aritmetika, bodové a množinové výpočty, symbolické výpočty

3. Základy intervalové aritmetiky

4. Intervalové lineární problémy

5. Verifikační metody pro nelineární soustavy rovnic

6. Deterministická globální optimalizace

7. Verifikační metody pro dynamické systémy

8. Meze verifikace: Rozhodnutelnost, teorie vyčíslitelnosti