Projets

Package Python permettant de reconnaître visuellement des cartes à l’aide d’un algorithme de reconnaissance de caractères (OCR) et de traitement de chaînes de caractères (fuzzy string matching).

Logiciel en C++ pour la découpe optimale de volume 3D, en minimisant l’aire de section. Pour cela, on décompose le volume en tétraèdres puis on applique un algorithme min cost - max flow sur le graphe dual.

Livre de Seconde traitant de: programmation Python, internet, réseaux sociaux, géolocalisation, photographie numérique…

Notebook Jupyter autour de problèmes de pavages : résolution par programmation linéaire et petits exercices.

Bibliothèque C++ de théorie des graphes : arbre couvrant minimal, plus court chemin, flot maximum… Utilisation de la programmation orientée objet et de templates.

Recherche d’un contre-exemple à la conjecture de Hirsch en utilisant le SMT-solver Z3 en C++. La conjecture de Hirsch affirme que le diamètre d’un polytope de dimension \(d\) avec \(n\) faces est inférieur à \(n - d\).