Rendez-Vous des Jeunes Mathématiciennes et Informaticiennes 2024
Du 26 au 28 avril 2024
ITI IRMIA++ Day 2024
The annual event of ITI IRMIA++, open to all members
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…
Summer school "Geometry and data" 2023
Registration by June, 26 2023