Voici quelques propositions de stages/projets à différents niveaux et de styles différents n'hésitez pas à me contacter pour de plus amples informations et discuter d'autres sujets possibles.
Stages
- Preuve de conformité d'un programme de construction géométrique (.pdf) (co-encadré avec Pascal Schreck)
- Théorie des preuves diagrammatiques (.pdf)
- Génération automatique de contre-exemples (co-encadré avec Nicolas Magaud) (.pdf)
- Symétrie des preuves (co-encadré avec Nicolas Magaud et Pascal Schreck) (.pdf)
- Bibliothèque pour le traitement d'images de manière non-destructive (.pdf)
- Exercices de constructions géométriques : création d’un service web (co-encadré avec Pascal Schreck) (.pdf)
- Preuve informatique de propriétés en géométrie projective : étude du théorème de Belltrami. (co-encadré avec Nicolas Magaud et Pascal Schreck) (.pdf)
