Formation
Visualization and algebraic geometry
Formation
An overview of Proof assistants
Formation
Dynamical systems and Astrophysics
Formation
Ehrhart polynomials and code optimization
Formation