Actualités - Page 6 sur 11 Toutes les actualités

Peter Albers (Uni. Heidelberg) - This Strange Endeavour Called Research

FVCA 10

Conference - Finite Volume for Complex Applications

Imogen Morris (Uni. Edimburgh) - The mystery of Euler's disappearing numbers and how Isabelle helped me solve it

The mystery of Euler's disappearing numbers and how Isabelle helped me solve it Abstract: In 1736 Euler published a proof of an astounding relation between π and the reciprocals of the squares. π²/6 = 1+ 1/4+ 1/9 + 1/16 … Until this point, π had not been part of any mathematical relation outside…

Xiaolin Zeng (IRMA) - The harmonic oscillator and the free field

Arthur Charguéraud (ICube) - Interactive Program Verification

Graduate program students welcome event