Program of the International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)
March 15 (Sat.)
12:50 -- 13:00
Shin'ichi Oishi
Opening
13:00 -- 14:00 (Invited Talk)
Siegfried M. Rump
Classical floating-point error bounds revisited (Abstract)
14:00 -- 14:45
Takeshi Ogita
Fast verified solutions of sparse linear systems (Abstract)
14:45 -- 15:45 (Invited Talk)
Andreas Frommer, Behnam Hashemi and Thomas Sablik
Verified computation of inverse square root and the sign functions of a matrix (Abstract)
16:00 -- 16:45 (Invited Talk)
Kenta Kobayashi
On the L^2 error estimate for the finite element solution in a non-convex domain
16:45 -- 17:15
Xuefeng Liu and Shin'ichi Oishi
Verified lower eigenvalue bounds for self-adjoint differential operators (Abstract)
17:15 -- 17:45
Kazuaki Tanaka and Shin'ichi Oishi
Numerical Verification for Stationary Solutions to the Allen-Cahn Equation (Abstract)
17:45 -- 18:15
Kouta Sekine, Akitoshi Takayasu and Shin'ichi Oishi
Computer assisted proof for existence of solutions to a system of elliptic partial differential equations (Abstract)
19:00 --
Banquet at Shinjuku (Ohshima)
March 16 (Sun.)
9:00 -- 10:00 (Invited Talk)
Xiaojun Chen
Spherical Designs and Polynomial Approximation on the Sphere (Abstract)
10:00 -- 11:00 (Invited Talk)
Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shin'ichi Oishi and Akitoshi Takayasu
Verified computations for hyperbolic 3-manifolds (Abstract)
11:00 -- 11:45 (Invited Talk)
Kazuhiro Ichihara and Hidetoshi Masai
Exceptional surgeries on alternating knots (Abstract)
12:00 -- 12:45
Lunch meeting
13:00 -- 14:00 (Invited Talk)
Mitsuhiro T. Nakao
Numerical verification method of solutions for nonlinear elliptic and evolutional problems (Abstract)
14:00 -- 14:45 (Invited Talk)
Yoshitaka Watanabe
A comparison of computer-assisted proofs for the Kolmogorov problem (Abstract)
14:45 -- 15:45 (Invited Talk)
Michael Plum, Dagmer Roth
A Computer-assisted multiplicity proof for a semilinear elliptic boundary value problem (Abstract)
16:00 -- 16:45 (Invited Talk)
Nobito Yamamoto and Tomohiro Hiwaki
Numerical verification methods for limit cycles in dynamical systems (Abstract)
16:45 -- 17:45 (Invited Talk)
Kaori Nagatou, Michael Plum and P. J. McKenna
Orbital stability investigation for travelling waves in a nonlinearly supported beam (Abstract)
17:45 -- 18:15
Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo and Shin'ichi Oishi
A method of verified computations for nonlinear homogeneous heat equations,
Part I: Enclosure of semidiscrete approximate solution for space variable (Abstract)
18:15 -- 18:45
Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo and Shin'ichi Oishi
A method of verified computations for nonlinear homogeneous heat equations,
Part II: Semigroup approach to construct an exact solution for time variable (Abstract)
March 17 (Mon.)
9:00 -- 10:00 (Invited Talk)
Florian Bünger
On the zeros of eigenpolynomials of Hermitian Toeplitz matrices (Abstract)
10:00 -- 10:30
Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Siegfried M. Rump and Shin'ichi Oishi
A Modified Verification Method for Linear Systems (Abstract)
10:30 -- 11:15
Katsuhisa Ozaki
Verified Numerical Computations for Computational Geometry (Abstract)
11:15 -- 11:45
Yusuke Morikura and Shin'ichi Oishi
Verification methods for system of linear equations in rounding to nearest (Abstract)
12:00 -- 12:45
Lunch meeting
13:00 -- 14:00 (Invited Talk)
Stef Graillat, Vincent Lefèvre and Jean-Michel Muller
On the maximum relative error when computing x^n in floating-point arithmetic (Abstract)
14:00 -- 14:30
Naoya Yamanaka and Shin'ichi Oishi
Fast Quadruple-double Floating Point Format (Abstract)
14:30 -- 15:00
Takuma Kimura
Validated solutions for P-matrix linear complementarity problem (Abstract)
15:00 -- 15:10
Closing
16:00 --
Excursion