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: Geometric symbolic-numeric methods for differential and algebraic equation
Speaker:
Link:
-
Title: Applying Approximate Decomposition to Polynomial Root Finding
Speaker:
Link:
-
Title: Talk
Speaker:
Link:
-
Title: Computer-assisted existence and multiplicity proofs for elliptic boundary value problems
Speaker:
Link:
-
Title: Orbital stability investigations for travelling waves in a nonlinearly supported beam
Speaker:
Link:
-
Title: Finding Exceptional Sets via Regenerative Fiber Products
Speaker:
Link:
-
Title: A numerically stable LLL reduction
Speaker:
Link:
-
Title: Towards L1, a quasi-linear LLL
Speaker:
Link:
-
Title: Numerical Methods in Algebraic Geometry
Speaker:
Link:
-
Title: Blind Image Deconvolution via Fast Approximate GCD
Speaker:
Link:
-
Title: Symbolic and symbolic-numeric techniques for dynamical modeling and simulation
Speaker:
Link:
-
Title: Hybrid methods for Composition and Splitting
Speaker:
Link:
-
Title: A symbolic-numeric approach to nonlinear dynamical system analysis
Speaker:
Link:
-
Title: Numerical consequences of symbolic choices in Gale Duality
Speaker:
Link:
-
Title: On Applications of Quantifier Elimination to LMI and the Stability Region of Numerical Schemes
Speaker:
Link: