• Algorithmique des polytopes entiers.
• Types et preuves en calcul formel (avec L.Théry).
• Reconnaissance optique de formules mathématiques (avec S.Lavirotte).

• "A sharp lower bound on the time-space product for reversing a finite sequence".

avec J. Grimm, et N. Rostaing-Schmidt. Conférence en mémoire de Jacques Morgenstern, mai 1995, accepté pour publication à Information Processing Letters, 97.
• "Optimal time and minimum space-time product for reversing a certain class of programs". .avec J. Grimm, et N. Rostaing-Schmidt. Second International Workshop on Computational Differentiation, Santa Fé, EUA, février 1996.
• "Euclide's algorithm in dimension n".ISSAC 96, ACM Press, juillet 1996. Rapport de recherche.
• "Optical formula recognition", avec S.Lavirotte , ICDAR'97, Ulm, Allemagne, août 97.

Exposés:

• "Algorithms for Hilbert bases", in invited session on Hilbert bases (org. M.Henk), International Symposium on Mathematical Programming (ISMP 97), Lausanne, Aug. 97.

Code récent:

• "Les polynômes comme image par le foncteur adjoint du foncteur oubli des algèbres vers les ensembles (d'après D.Lazard)", Structures algébriques en Coq, définies catégoriquement (à l'aide des catégories d'A.Saïbi).

Divers:

• Le problème de Napoléon: trouver le centre d'un cercle avec un compas (sans règle !).