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: Numerical simulations of rigid particles and droplets in turbulent shear flows
Speaker:
Link:
-
Title: Modelling of Gas-Solid Flows with Tribocharging
Speaker:
Link:
-
Title: Particle clustering in multidimensional isotropic flows revisited from a new perspective
Speaker:
Link:
-
Title: Modeling polydisperse multiphase flows using quadrature-based moment methods (Plenary talk)
Speaker:
Link:
-
Title: The 3D Quasi-geostrophic equation: existence of solutions, lateral boundary conditions and regularity
Speaker:
Link:
-
Title: On Recent Advances of the 3D Euler Equations by Means of Examples
Speaker:
Link:
-
Title: Existence of vortex sheets for 2D stochastic Euler equations
Speaker:
Link:
-
Title: Topological models of emergent dynamics
Speaker:
Link:
-
Title: Hard Satisfiable Formulas for Splittings by Linear Combinations
Speaker:
Link:
-
Title: Circular (Yet Sound) Proofs
Speaker:
Link:
-
Title: From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Speaker:
Link:
-
Title: Machine Learning for SAT Solvers
Speaker:
Link:
-
Title: A few results, questions, and pitfalls in the experimental study of SAT solvers
Speaker:
Link:
-
Title: Algorithms beyond Resolution using MaxSAT
Speaker:
Link:
-
Title: On CDCL-based Proof Systems with the Ordered Decision Strategy
Speaker:
Link: