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