Homepage: http://www.ces-alpha.org/hp/SSP2021Online       Feb, 2021     Online (Zoom)  

About

This online lecture, as an even of JST Sakura Science Program, introduces the basic knowledge of verified computing, which ranges from interval arithmetic, verified computing for linear equations, numerical quadrature, boundary value problem, eigenvalue problem. Also, in the lecture, there is the story in challenging open problems in mathematics by verified computing. 

Registration

Online registration before Feb. 1, 2021.  https://www.ces-alpha.org/SSP2021Online/

Preparation

The online lectures will be held over Zoom. Please install the Zoom software before the first lecture.  (To apply for a Zoom account is not a must.)

To do the online exercise with teaching support, the Cloud Education System (CES) will be used. Please register an account at CES.

Link:

1. Zoom  [GO] (Installation needed)
2. Cloud Education System [GO] (No installation)
3. Slack [GO](Optional: online communication through slack.)

Program 

  ATTENTION: All the time below is by Tokyo time. Tokyo time is one hour earlier than Beijing time.

Feb. 15
10:00~11:00	Orientation (LIU Xuefeng) Greeting message  Prof. Mitsugu MAEO (Dean of Faculty of Science, Niigata University) Prof. Satish KUMAR (Faculty of Science, Niigata University)
11:00~12:30 13:30~15:00 15:30~17:00	Introduction to verified computing (I, II, III) (TANAKA Kazuaki 田中一成、早稲田大学)	Interval arithmetic /  Verified computing for linear equations / Exercise
Feb. 16
15:00~17:00	Error free computing in matrix computation (OZAKI Katsuhisa　尾崎 克久, 芝浦工業大学)	Lecture+Exercise
Feb. 17
10:00~12:30 13:30~15:00 15:30~17:00	Introduction to verified computing for partial differential equation (I, II, III) (LIU Xuefeng 劉　雪峰、新潟大学)	Finite element method/Boundary value problem (Poisson's eq.)/Eigenvalue estimation (Laplacian)
Feb. 18
15:00~17:00	Traps in Numerical Calculation and Tips in Verified Numerical Integration (YAMANAKA Naoya 山中　脩也, 明星大学)	Lecture+Exercise
Feb. 19
15:00~17:00	Challenge to open problems in verified computing for partial differential equation (偏微分問題の精度保証付き数値計算と未解決問題への挑戦) (NAKAO Mitsuhiro 中尾　充宏、九州大学/早稲田大学)	Lecture+Discussion
Feb. 22
10:00~12:30	Presentation by participants / Free dicussion / Closing

 

For any question about this online lecture, please contact: 

Xuefeng LIU @ Niigata University,  xfliu.math@gmail.com .