Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
4 videos
Summer School 2026 - ICRA 2026
19 videos
CEMRACS 2026 : Modeling and AI for Environmental Transition / Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique
5 videos
Coulomb branches and affine quantum groups / Branches de Coulomb et groupes quantiques affines
6 videos
Algebraic geometry and complex geometry / Géométrie algébrique et géométrie complexe
All the collections
All the institutions
MSC
> 65Gxx Error analysis and interval analysis > 65G20 Algorithms with automatic result verification
Videos linked to 65G20 Algorithms with automatic result verification
published on
May 19, 2026
Finite capture and the closure of roots of restricted polynomials
By Bernat Espigule
01:39:37
published on
March 19, 2021
Computational real algebraic geometry and applications to robotics - lecture 2
By Guillaume Moroz
01:34:25
published on
March 19, 2021
Computational real algebraic geometry and applications to robotics - lecture 1
By Guillaume Moroz
02:30:39
published on
May 11, 2017
Arithmétique à virgule flottante : plaie ou terrain de jeu ?
By Sylvie Boldo
01:01:17
published on
February 3, 2016
Verified numerics for ODEs in Isabelle/HOL
By Fabian Immler
More +
Home
Videos
Collections
Institutions
Speakers
About
Login
Fr
/
En
Help
Legal Notice
& Privacy Policy
Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience.
Find out more about our privacy policy
.
Approve
Give feedback