Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
15 videos
Fields Medallists - 2026
29 videos
2026 IHES Summer School – Cosmological Correlators
12 videos
An introduction to dynamics on surfaces and random walks / Géométrie et Dynamiques sur les surfaces
5 videos
Mathematical data and documentation, preserve, access: today and tomorrow / Données et documentation mathématiques, préserver, accéder : aujourd'hui et demain
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