CRQ: une bibliothèque pour l'intégration numérique certifiée en précision arbitraire - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

CRQ: une bibliothèque pour l'intégration numérique certifiée en précision arbitraire

Laurent Fousse
  • Fonction : Auteur
  • PersonId : 847286
Fichier non déposé

Dates et versions

hal-00770297 , version 1 (04-01-2013)

Identifiants

  • HAL Id : hal-00770297 , version 1

Citer

Laurent Fousse. CRQ: une bibliothèque pour l'intégration numérique certifiée en précision arbitraire. JCNF 2007 - Journées Nationales de Calcul Formel, Jan 2007, Marseille, France. ⟨hal-00770297⟩
143 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More