Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
Implementation of the DIRECT algorithm for single criteria black box optimization.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Code from Yann-Situ's M2 internship about measuring holes of 3D objects (2021).
Updated -
Updated
-
Implementation of the SMTApproxMC counting algorithm in C++ using Z3, with some optimizations for Chalice-generated files.
Updated -
Codes utilisés dans le cadre de mon stage de L3. Caractérisation des substitutions permettant le pavage des groupes de BS(1,n).
Updated -
Updated
-
Updated
-
-