Rigorous numerics for a tridiagonal dominant operator
Maxime Breden, Video: Rigorous numerics for a tridiagonal dominant operator
Maxime Breden, Video: Rigorous numerics for a tridiagonal dominant operator
Maxime Breden, Rigorous numerics for a tridiagonal dominant operator, Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics, BIRS, BIRS talk, 14w5098, math, mathematics, video