Publications

Visualizing geometrical statements with GeoView, avec Frédérique Guilhot et Yves Bertot, UITP 2003, Rome. Postscript

Mathematical quotients and quotient types in Coq , avec Laurent Chicli et Carlos Simpson, Actes du workshop TYPES 2002, à paraître dans LNCS. Postscript

Élimination des quantificateurs sur les réels en Coq , avec Assia Mahboubi, Journées Francophones des Langages Applicatifs, 2002. Postscript

Mathematics and proof presentation in Pcoq , avec Ahmed Amerkad, Yves Bertot et Laurence Rideau, Workshop Proof Transformation and Presentation and Proof Complexities (PTP'01), Sienne, 2001. Postscript compressé

Quotients in the CIC , Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs'01, University of Edinburgh ed., 2001. Pdf

Extraction dans le CCI , Journées Francophones des Langages Applicatifs, Pontarlier, 2001. Postscript

On-Line Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars avec Andreas Kosmala, Stéphane Lavirotte, Gerhard Rigoll. Proceedings of the Fifth International Conference on Document Analysis and Recognition (ICDAR'99), pages 107-110, Bangalore, Inde. Septembre 1999. Postscript

Optimization of positive generalized polynomials under lp constraints avec L.Baratchart et M.Berthod. Journal of Convex Analysis, 98. Postscript

A sharp lower bound on the time-space product for reversing a finite sequence avec José Grimm et Nicole Rostaing-Schmidt. Accepté pour publication à Information Processing Letters, 98. Postscript

Mathematical formula recognition using graph grammar avec Stéphane Lavirotte, Electronic Imaging'98. Document Recognition V, volume 3305, pages 44-52, San José, Etats-Unis. Janvier 1998, SPIE - The International Society for Optical Engineering. Postscript

Optical formula recognition , avec S.Lavirotte , Proceedings of the Fourth International Conference on Document Analysis and Recognition (ICDAR'97), volume 1, pages 357-361, Ulm, Allemagne. Août 1997. IEEE Computer Society Press. Postscript

Euclide's algorithm in dimension n ISSAC 96, ACM Press, juillet 1996. Pdf

Optimal time and minimum space-time product for reversing a certain class of programs , Second International Workshop on Computational Differentiation, Santa Fé, EUA, 96. Postscript

The extensions of the SYSIPHE computer algebra system : ulysse and athena avec Christèle Faure, André Galligo et José Grimm, DISCO 92, actes publiés dans LNCS.

Minimal solutions of linear diophantine systems: Bounds and algorithms International Congress on Rewriting Techniques and Applications, RTA 91, LNCS, Como, Italy, 91. Postscript

The complement problem in associative-commutative theories , avec E.Kounalis et D.Lugiez, International Symposium on Mathematical Foundations of Computer Science, MFCS 91, LNCS, 91. Postscript

Sub-groups of Z^n, standard bases and linear diophantine systems, UNIF 91. Postscript

The design of Sisyphe: a system for doing symbolic and algebraic computations avec A.Galligo et J.Grimm, Design and Implementation of Symbolic Computation Systems, DISCO 90, LNCS.

Bornes et algorithme de calcul des générateurs des solutions de systèmes diophantiens linéaires Comptes Rendus de l'Académie des Sciences de Paris, septembre 90.

Greater Easy Common Divisor and Standard Basis Completion Algorithms , avec A.Galligo et C.Traverso, ISSAC 88, LNCS.

Généralisation d'exemples et de contre-exemples en calcul des propositions '', 2ème Congrès d'Intelligence Artificielle de Marseille, déc. 86, actes édités chez Hermès.