Online lecture on verified computing (SSP2021@NiigataUniv)

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

 Downlaod the codes for our online lecture.

• Feb. 15, Document from Prof. Tanaka   http://www.ims.sci.waseda.ac.jp/tanaka/ssp2021/index.html
  • Exercise: PDF
• Feb. 16, Sample codes from Prof. Ozaki  zip file
  • Exercise: PDF
• Feb. 17, FEM codes. zip file  Lecture note by Xuefeng LIU pdf
  • Exercise: PDF
• Feb. 18, codes. zip file, slide: pdf file (file is updated!)
  • Exercise: (Refer to the exercises in the slide.)