Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

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 2022
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:	cancelled
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 -

Last update: T_KNM (27.04.2015)

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

Course completion requirements - Czech

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

Ke zkoušce není nutný zápočet. Zápočet bude udělen za docházku. Charakter zápočtu neumožňuje opravné termíny.

Literature - Czech

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, 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

Requirements to the exam - Czech

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

Zkouška je ústní. Požadavky ke zkoušce odpovídají sylabu předmětu v rozsahu, který byl prezentován na přednášce.

Syllabus - Czech

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