GitLab

machine learning at ATIAM

Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.

Mes TP de traitement du signal

Code des expériences réalisées pour générer les figures du manuscrit.

This is the git for my M2 internship "Twin-width and forbidden subdivisions". This work has been done under the supervision of Stéphan Thomassé at ENS Lyon, Laboratoire de l'Informatique du Parallélisme, MC2.

Repository of my M2 internship.

Implementation of the SMTApproxMC counting algorithm in C++ using Z3, with some optimizations for Chalice-generated files.

Appendix of the report "Levenberg-Marquardt on Manifolds"

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

Codes utilisés dans le cadre de mon stage de L3. Caractérisation des substitutions permettant le pavage des groupes de BS(1,n).

Code from Yann-Situ's M2 internship about measuring holes of 3D objects (2021).