Crest workshop
Date: 24th (Saturday), October -- 26th (Monday), October, 2015
Venue: Ito-powell: 4-2-15, Ito City, Shizuoka Prefecture, Japan
HP: Official site
Access: Tokyo Station (Super view odoriko: 100 min)-- Ito Station (Walk: 10 min)-- Ito-powell
The aim of this workshop is to discuss verified numerical computations for the system modeling.
Programme
24th (Saturday), October:
15:00--15:50
Yusuke Morikura (Waseda University)
Verification Method for Large-Scale Linear Systems without Directed Rounding
16:00--17:00
Siegfried M. RumpiHamburg University of Technology and Waseda Universityj
Recent progress in verification methods
25th (Sunday), October:
9:30--10:20
Naoya YamanakaiTeikyo Heisei Universityj
Verified Numerical Algorithm for Real Gamma Function using DE-Quadrature
10:30--11:20
Katsuhisa Ozaki (Shibaura Institute of Technology)
A posteriori verification method for convex hull
11:30--12:30
Maciej Ogorzalek (Jagiellonian University)
Computational methods behind placement and routing
13:00--15:00
Lunch meeting
15:30--16:30
Shin'ich Oishi (Waseda University)
Numerical Verification of Eigenvalue Pleblems for Laplacian, its Generalizations and Applications
26th (Monday), October:
9:30--10:20
Akitoshi Takayasu (Waseda University)
On verified computations of solutions for nonlinear heat equations using the evolution operator
10:30--11:20
Atsushi Minamihata (Waseda University)
Improved error bounds for large linear systems using H-matrices
This mini workshop is supported by JST/CREST "Development of Verified Numerical Computations for Mathematical Modeling".