Explore projects
-
Updated
-
Updated
-
Marie de Sainte Marie / Intership 2023
GNU General Public License v3.0 onlyUpdated -
Updated
-
Implementation of the DIRECT algorithm for single criteria black box optimization.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
ygazull / M2Internship-Yann-Situ
GNU General Public License v3.0 or laterCode 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
-
-
-