Focus Thème : Formation

Formation

5 avril 2024

Visualization and algebraic geometry

Visit the DU IRMIA++ students' journal

Formation

20 mars 2024

An overview of Proof assistants

Visit the DU IRMIA++ students' journal

Formation

10 mai 2023

Dynamical systems and Astrophysics

Visit the DU IRMIA++ students' journal

Formation

16 décembre 2022

Ehrhart polynomials and code optimization

Visit the DU IRMIA++ students' journal

Formation

1 juillet 2022

Optimal transport and astrophysics

Visit the DU IRMIA++ students' journal