Actualités - Page 4 sur 9 Toutes les actualités

Se (re)construire dans un monde numérique : Penser les crises à venir et défis futurs

Florent Renaud (ObAS & USIAS) - From stars to galaxies: modeling collisions in collisionless simulations

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