Explore projects
-
Updated
-
-
-
Un exemple de document latex avec le package polytechnique
Updated -
Point process simulation in the Rust programming language.
Updated -
Integration of the Nunchaku model finder in the Lean theorem prover.
Internship project at the VU Amsterdam. With the help and precious guidance of Jasmin Blanchette and Johannes Hölzl.
Updated -
A branch and bound implementation for the Capacitated Vehicle Routing Problem (CVRP)
Updated -
Updated
-
Projet 3A « Simulation et Modélisation de trading haute fréquence à l’aide de processus de Hawkes »
Updated -
Updated
-
Updated
-
-
Histoire des sciences contemporaines: séminaire 3A de Frédéric Brechenmacher
Updated -
Updated
-
Updated
-
Updated
-
UpdatedUpdated
-
Updated
-
Project on filamentary propagation of fs light pulses.
Updated -
Site de gestion des voies d'escalade de l'Ecole Polytechnique
Updated