Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
6 videos
Symmetry and Topology in Partical Physics
2 videos
Hadamard Lectures 2026 – Sam Raskin – Some Aspects of the Geometric Langlands Program
4 videos
Francophone Computer Algebra Days - 2026 / JNCF - Journées nationales de calcul formel - 2026
3 videos
Séminaire du Magistère de Mathématiques
All the collections
All the institutions
MSC
> 65Gxx Error analysis and interval analysis > 65G50 Roundoff error
Videos linked to 65G50 Roundoff error
02:30:39
published on
May 11, 2017
Arithmétique à virgule flottante : plaie ou terrain de jeu ?
By Sylvie Boldo
57:56
published on
February 4, 2016
Formal verification of numerical analysis programs
By Sylvie Boldo
46:54
published on
February 3, 2016
Programming with numerical uncertainties
By Eva Darulova
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
