-Title: Computer-assisted proofs in nonlinear analysis
-Abstract: The objective of the tutorial Computer-Assisted Proofs in Nonlinear Analysis is to introduce participants to fundamental concepts of a posteriori validation techniques. This mini-course will cover topics ranging from finite-dimensional problems, such as finding periodic orbits of maps, to infinite-dimensional problems, including solving the Cauchy problem, proving the existence of periodic orbits, and computing invariant manifolds of equilibria.
 

Each session will last 2 hours: 1 hour of theory followed by 1 hour of hands-on practical applications. The practical exercises will focus on implementing on implementing computer-assisted proofs using the Julia programming language.

Please bring your laptop to the tutorial and find the attached syllabus for more information.

 

줌 주소:

참가 Zoom 회의
https://kaist.zoom.us/j/81899495027

회의 ID: 818 9949 5027

 

Day 1: Oct. 29th (Tue.) 4PM ~ 6PM: 산경동 1225호 강의실(E2, 1225호)
Day 2: Oct. 30th (Wed.) 10AM ~ 12PM: edu 4.0 강의실(E6-1, 1410호)
Day 3: Nov. 1st (Fri.) 10AM ~ 12PM: 최석정 강의실(E6-1, 1401호)