José Grimm

	Organisation /Organization :	Inria
	Centre de recherche / Research Unit:	Sophia-Antipolis Méditerranée
	Équipe Projet / Project Team :	MARELLE
	Téléphone / Phone :	(+ 33) 04 92 38 78 17
	Fax / Fax :	(+ 33) 04 92 38 50 60
	Adresse électronique / Email :	Jose.Grimm@inria.fr

Chercheur Inria.

Tralics : un traducteur latex vers XML / a LaTeX to XML translator
gaia : théorie des ensembles en Coq / Thepry of Sets in Coq
Endymion : approximation des fonctions de transfert / transfer functions approximation
hyperion : ancêtre de Endymion / Ancestor of Endymion
inriaslides : (documentation) un package latex pour faire des transparents
RR : package latex Rapports de Recherche / Research Report package
latex guide : serveur latex local / Local latex server
Participation au rapport d'activités 1999 et sa conception / Activity report for 1999 and design (in French)
Rapport d'activité (en anglais) Activity Report, current year
Équipe Précédente / Previous Team : APICS

Jfr1 Implementation of Bourbaki's Elements of Mathematics in Coq, part one Theory of Sets, Journal of Formalized Reasoning,
jfr2 Implementation of Bourbaki's Elements of Mathematics in Coq: Part two, from natural numbers to real numbers , Journal of Formalized Reasoning,
RR6999 Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets,Research Report
RR7150 Implementation of Bourbaki's Elements of Mathematics in Coq, Part Two ; Ordered Sets, Cardinals, Integers. Research Report
RT-0309 Tralics, a LaTeX to XML translator; Part I
RT-0310 Tralics, a LaTeX to XML translator; Part II
Eurotex Tralics, a LATEX to XML translator In Proceedings of Eurotex 2003, volume 24, pages 377–388. TugBoat, 2005.

My publications on HAL