News - Page 6 of 11 All news

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

Summer school "Geometry and data" 2023

Registration by June, 26 2023

Summer School "Proof Assistants for Teaching proof and proving" 2023

Registration by April 17, 2023.