65Y04 Algorithms for computer arithmetic, etc.

MSC > 65Yxx Computer aspects of numerical algorithms > 65Y04 Algorithms for computer arithmetic, etc.

Videos linked to 65Y04 Algorithms for computer arithmetic, etc.

02:30:39

published on May 11, 2017

Arithmétique à virgule flottante : plaie ou terrain de jeu ?

By Sylvie Boldo

02:55:45

published on July 29, 2016

Algorithms for future emerging technologies

By Jack Dongarra

57:56

published on February 4, 2016

Formal verification of numerical analysis programs

By Sylvie Boldo

01:01:17

published on February 3, 2016

Verified numerics for ODEs in Isabelle/HOL

By Fabian Immler

More +

Copyright Carmin.tv 2026

Give feedback