CRQ: une bibliothèque pour l'intégration numérique certifiée en précision arbitraire - Laboratoire Jean Kuntzmann Access content directly
Conference Papers Year : 2007

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

Laurent Fousse
  • Function : Author
  • PersonId : 847286
Calculs Algébriques et Systèmes Dynamiques

Domains

Data Structures and Algorithms [cs.DS] Symbolic Computation [cs.SC]

Brigitte Bidégaray-Fesquet  : Connect in order to contact the contributor

https://hal.science/hal-00770297

Submitted on : Friday, January 4, 2013-10:54:02 PM

Last modification on : Thursday, April 4, 2024-8:57:31 PM

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00770297 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS LJK LJK_MAD LJK_MAD_CASYS
143 View
0 Download

Share

Gmail Facebook X LinkedIn More