Filtrer vos résultats
- 12
- 2
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 14
- 1
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 9
- 5
- 13
- 1
- 14
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
14 résultats
|
|
triés par
|
|
Arbitrary precision real arithmetic: design and algorithms[Research Report] lip6.2003.003, LIP6. 2003
Rapport
hal-02545650v1
|
||
Apprentissage de la programmation avec OCamlApprentissage de la programmation avec OCaml, 2004
Chapitre d'ouvrage
hal-01124971v1
|
|||
|
Arbitrary precision real arithmetic: design and proved algorithmsJournal of Logic and Algebraic Programming, 2005, 64 (1), pp.13-39. ⟨10.1016/j.jlap.2004.07.003⟩
Article dans une revue
hal-01148736v1
|
||
There's no Reliable Computing without Reliable Access to Rounding ModesSCAN'2012, Sep 2012, Novosibirsk, Russia. pp.99-100
Communication dans un congrès
hal-01272417v1
|
|||
|
Accurate summation, dot product and polynomial evaluation in complex floating point arithmeticInformation and Computation, 2012, 216, pp.57-71. ⟨10.1016/j.ic.2011.09.003⟩
Article dans une revue
hal-01146509v1
|
||
Actes des Journées Francophones des Langages Applicatifs2004
Proceedings/Recueil des communications
hal-01503533v1
|
|||
|
Tools for a gentle slope transition From floating point arithmetic to exact real arithmeticEleventh International Conference on Computability and Complexity in Analysis (CCA 2014), Jul 2014, Darmstadt, Germany
Communication dans un congrès
hal-01526031v1
|
||
Compensated Horner scheme in complex floating point arithmeticProceedings, 8th Conference on Real Numbers and Computers, Jul 2008, Santiago de Compostela, Spain. pp.133-146
Communication dans un congrès
hal-01300860v1
|
|||
Error-Free Transformations in Real and Complex Floating Point ArithmeticInternational Symposium on Nonlinear Theory and its Applications (NOLTA'07), Sep 2007, Vancouver, Canada. pp.341-344
Communication dans un congrès
hal-01306229v1
|
|||
Environnement de développement -- annales corrigées, novembre 2004-janvier 2006Paracamplus, Paris, France, 2006, 978-2-916466-02-9
Ouvrages
hal-01352018v1
|
|||
Apprentissage de la programmation avec OCamlHermès Sciences, 2004
Ouvrages
hal-01520389v1
|
|||
|
On the way to certify computer algebra systemsCalculemus workshop of FLOC'99, Jun 1999, Trento, Italy. pp.370-385, ⟨10.1016/S1571-0661(05)80609-7⟩
Communication dans un congrès
hal-01574382v1
|
||
Environnement de développement -- annales corrigées, avril 2005-janvier 2007Paracamplus, Paris, France, 2007, 978-2-916466-04-0
Ouvrages
hal-01335979v1
|
|||
Numéro spécial JFLARevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 24, 2005
N°spécial de revue/special issue
hal-01491671v1
|