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
Summer School "Proof Assistants for Teaching proof and proving" 2023
Registration by April 17, 2023.
Se (re)construire dans un monde numérique : Penser les crises à venir et défis futurs
Conférence organisée par les jeunes chercheurs de l'ITI IRMIA++
RJMI - Rencontres des Jeunes Mathématiciennes et Informaticiennes 2023
Organisé par des membres de l’IRMA, Animath et femmes et mathématiques, cet évènement est destiné aux jeunes filles scolarisées en classe de Seconde, Première et Terminale motivées et intéressées par les mathématiques et/ou l’informatique.