La révolution symbolique, la constitution de l'écriture symbolique mathématique, Paris, Pétra, 2005.
De la méthode, première édition, Presses universitaires Franc-Comtoises, Besançon, 2002.
Mathématiques et physique leibniziennes, première partie, avec Michel Blay, Revue d’histoire des sciences, 2001.
La recherche de la vérité, A.C.L., Paris, 1999.
Pour Descartes, IREM, Centre d'études cartésiennes, Revue d'histoire des sciences, 1998.
La constitution de l'écriture symbolique mathématique, thèse de doctorat en philosophie, Université Panthéon-Sorbonne, 1997.
Quadrature du cercle, fractions continues, et autres contes, sur l'histoire des nombres irrationnels et transcendants aux XVIIIe et XIXe siècles, éditions de l’Association des professeurs de mathématiques de l'enseignement public, Paris, 1992.
Fragments d'histoire des mathématiques : à travers le problème de la résolution des équations algébriques, émergence du concept de groupe, 1981.
Pseudo-inverses d'endomorphismes d'espaces vectoriels strictement convexes, thèse de doctorat d’État en mathématiques.
Contribution à l'étude des matrices booléennes et postiennes, thèse de doctorat en mathématiques, Université Pierre-et-Marie-Curie, 1972.