Online lecture on verified computing (SSP2021@NiigataUniv)

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

About

Every year since 2015, under the support of JST Sakura Science Program (SSP), we invite students from mainland of China, Taiwan and other countries to Niigata University to have a communication on scientfic computing. (See the review of past events in  5 min video: https://www.youtube.com/watch?v=AbM-KoGOHiE ) 

Due to the problem of COVID-19 pandemic, it was difficult to open the face-to-face event on 2020. So we decide to open the online lecture to continue the communication with students from abroad.

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. 


(Animation of the poster: https://www.youtube.com/watch?v=N2V-K0i9I7A )

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: 

LiuLab@Niigata University.