Formation Visualization and algebraic geometry Visit the DU IRMIA++ students' journal Formation An overview of Proof assistants Visit the DU IRMIA++ students' journal Formation Dynamical systems and Astrophysics Visit the DU IRMIA++ students' journal Formation Ehrhart polynomials and code optimization Visit the DU IRMIA++ students' journal Formation Optimal transport and astrophysics Visit the DU IRMIA++ students' journal