Video on Demand

Videos will be available from the 13th of September.

Kazuaki Tanaka: Verification of the sign of solutions to elliptic partial differential equations

Plenary session

Shin’Ichi: Inverse Bifurcation Diagram Problem of Forced El Nino Equation

Session A: PDE

Yuuki Saito: Inverse bifurcation diagram problem for delayed van der Pol-Duffing equation

Session A: PDE

Jonathan Wunderlich: Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle

Session A: PDE

Akitoshi Takayasu: A rigorous forward integration method for time-dependent PDEs

Session A: PDE

Shinya Miyajima: Verified bounds for matrix gamma function

Session B: Arithmetic and Implementation

Tomoaki Okayama: Improvement of selection formulas of mesh size and truncation number for the DE-Sinc approximation and its theoretical error bound

Session B: Arithmetic and Implementation

Naoya Yamanaka: Verified algorithm for high-order partial derivatives using nilpotent matrix

Session B: Arithmetic and Implementation

Shinya Miyajima: Computing enclosure for matrix real powers

Session B: Arithmetic and Implementation

Alexander Morozov and Dmitry Reviznikov: Kd-tree based adaptive interpolation algorithm for modeling dynamic systems with interval parameters

Session A: Dynamic Systems

Anna Gierzkiewicz: The Sharkovskii Theorem for multidimensional maps with attracting periodic orbits

Session A: Dynamic Systems

Dun Liu: On Convexity Density and Difficulty of Global Optimization Problems

Session A: Optimization

Wolfram Luther: Assessing Uncertainty in Hereditary Risk Models for BRCA1/2 Related Cancer

Session B: Application and Software

Lorenz Gillner: VERICOMP 2.0: Comparing and Recommending Verified IVP Solvers in a Flexible Way

Session B: Application and Software

Mihály Csaba Markót: Interval methods for packing problems on the sphere

Session A: Optimization

Dun Liu: On Convexity Density and Difficulty of Global Optimization Problems

Session A: Optimization

David Sanders: Interval constraint propagation and branch-and-bound-type methods on the GPU using Julia

Session A: Optimization

Tamás Dózsa: Inverses of Rational Functions

Session B: Arithmetic and Implementation

Mantas Mikaitis: A Trick for an Accurate e^(−|x|) Function in Fixed-Point Arithmetics

Session B: Arithmetic and Implementation

Vladik Kreinovich: Kinematic Metric Spaces Under Interval Uncertainty: Towards an Adequate Definition

Session B: Arithmetic and Implementation