Verified numerical computation for partial differential equations and application to sign-change structure analysis

開催日時
2019/12/17 火 16:30 - 18:00
場所
6号館809号室
講演者
Dr. Kazuaki Tanaka
講演者所属
Waseda University
概要

This talk will be given in Japanese with slides in English.