Course title
7D840300
Verified Numerical Computations

 ozaki katsuhisa
Course content
Verified Numerical Computations derive rigorous upper bound of errors of numerical computations. We introduce recent papers which are concerned with interval arithmetic, numerical linear algebra and accurate computations.
Finally, we introduce challenging problems in these fields.
Purpose of class
The purpose is to understand verified numerical computations. First, the students learn recent progress of verified numerical computations. Next, they select one of the topics in this field and give presentations. It enables to understand them deeply.
Goals and objectives
  1. Understand importance of verified numerical computations
  2. Understand verified numerical computations for numerical linear algebra
  3. Understand accurate computing
Language
Japanese
Class schedule

 Class schedule HW assignments (Including preparation and review of the class.) Amount of Time Required
1. Review of papers.
Presentations 		nothing 200minutes
Total. - - 200minutes
Relationship between 'Goals and Objectives' and 'Course Outcomes'

 Presentation Total.
1. 20% 20%
2. 40% 40%
3. 40% 40%
Total. 100% -
Evaluation method and criteria
Presentations
Textbooks and reference materials
Introduction of papers and discussions
Prerequisites
Review of numerical analysis and floarting-point arithmetic.
Office hours and How to contact professors for questions
  • Lunch break on Monday
Relation to the environment
Non-environment-related course
Regionally-oriented
Non-regionally-oriented course
Development of social and professional independence
  • Course that cultivates a basic self-management skills
Active-learning course
N/A
Last modified : Wed Oct 17 08:34:07 JST 2018