l'interpréteur 'Isabelle', spécialement conçus pour utilisations arithmétiques," FrançoisDress, Seminaire de Théorie des Nombres de Bordeaux, Vol. 9 (1979-1980); an
did=D28751. ^ Balasubramanian, Ramachandran; Deshouillers, Jean-Marc; Dress, François, Problème de Waring pour les bicarrés. I. Schéma de la solution. (French