This is a searchable repository of links to math videos. The database is regularly updated with videos from the following websites. If there is a source of videos which you would like to be added to this list, please send me an email at admin@videoarxiv.org.
All talks
-
Title: Computer-assisted existence and multiplicity proofs for semilinear elliptic boundary value problems
Speaker:
Link:
-
Title: Geometric methods in the integration of evolutionary problems in infinite dimension
Speaker:
Link:
-
Title: Fixed point approach to rigorous validated computation of connecting orbits in infinite dimensions
Speaker:
Link:
-
Title: Computer-assisted proofs using floating point arithmetic using the new INTLAB
Speaker:
Link:
-
Title: Rigorous numerics for a tridiagonal dominant operator
Speaker:
Link:
-
Title: Periodic orbits of the FitzHugh-Nagumo equations - a computer assisted proof
Speaker:
Link:
-
Title: The suspension bridge equation
Speaker:
Link:
-
Title: Rigorous numerics
Speaker:
Link:
-
Title: Parametrizing Invariant Manifolds for Flows in Banach Spaces
Speaker:
Link:
-
Title: Coexistence of hexagons and rolls
Speaker:
Link:
-
Title: Rigorous numerical methods for dynamical systems
Speaker:
Link:
-
Title: Rigorously verified computing for infinite dimensional nonlinear dynamics: a functional analytic approach
Speaker:
Link:
-
Title: On the exponential local-global principle for meromorphic functions and algebraic functions
Speaker:
Link:
-
Title: Integral points in orbits for a two-dimensional dynamical system
Speaker:
Link:
-
Title: Unboundedness of the number of rational points on curves
Speaker:
Link: