Rigorously covering all solutions of infinite-dimensional equations
Arnold Neumaier, Video: Rigorously covering all solutions of infinite-dimensional equations
Arnold Neumaier, Video: Rigorously covering all solutions of infinite-dimensional equations
Arnold Neumaier, Rigorously covering all solutions of infinite-dimensional equations, Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics, BIRS, BIRS talk, 14w5098, math, mathematics, video