Filtrer vos résultats
- 103
- 12
- 44
- 32
- 13
- 10
- 9
- 3
- 2
- 1
- 1
- 9
- 1
- 114
- 2
- 2
- 786
- 659
- 608
- 589
- 533
- 478
- 431
- 390
- 368
- 323
- 320
- 317
- 312
- 307
- 304
- 294
- 290
- 283
- 266
- 259
- 250
- 225
- 219
- 218
- 218
- 218
- 215
- 215
- 213
- 211
- 209
- 205
- 201
- 200
- 198
- 197
- 195
- 193
- 192
- 191
- 191
- 189
- 183
- 181
- 179
- 179
- 178
- 176
- 174
- 171
- 170
- 167
- 164
- 162
- 161
- 161
- 159
- 157
- 157
- 156
- 155
- 154
- 153
- 153
- 152
- 151
- 150
- 150
- 149
- 148
- 147
- 147
- 144
- 142
- 142
- 141
- 141
- 140
- 140
- 140
- 139
- 138
- 137
- 137
- 137
- 136
- 136
- 136
- 136
- 136
- 135
- 135
- 133
- 132
- 131
- 131
- 131
- 131
- 131
- 128
- 3
- 7
- 3
- 2
- 4
- 3
- 2
- 9
- 13
- 4
- 7
- 4
- 9
- 7
- 7
- 6
- 5
- 8
- 5
- 3
- 3
- 1
- 111
- 3
- 1
- 84
- 68
- 27
- 15
- 11
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 46
- 21
- 20
- 10
- 10
- 10
- 9
- 9
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Some Formal Tools for Computer Arithmetic: Flocq and GappaARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic, Jun 2021, Online, Italy
Communication dans un congrès
hal-03233227v1
|
||
|
Sharp error bounds for complex floating-point inversionNumerical Algorithms, 2016, 73 (3), pp.735-760. ⟨10.1007/s11075-016-0115-x⟩
Article dans une revue
ensl-01195625v2
|
||
|
Implementing decimal floating-point arithmetic through binary: some suggestions21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), Jul 2010, Rennes, France. pp.317-320, ⟨10.1109/ASAP.2010.5540969⟩
Communication dans un congrès
ensl-00463353v2
|
||
Evaluating Elementary FunctionsNicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014
Chapitre d'ouvrage
ensl-00989001v1
|
|||
|
On formal methods for certifying floating-point C programs[Research Report] RR-6927, INRIA. 2009, pp.34
Rapport
inria-00383793v1
|
||
An efficient rounding boundary test for pow(x,y) in double precisionIEEE Transactions on Computers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩
Article dans une revue
inria-00583988v1
|
|||
|
The functions erf and erfc computed with arbitrary precision and explicit error boundsInformation and Computation, 2012, 216, pp.72 -- 95. ⟨10.1016/j.ic.2011.09.001⟩
Article dans une revue
ensl-00356709v3
|
||
|
Accurate Complex Multiplication in Floating-Point ArithmeticARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Communication dans un congrès
hal-02001080v2
|
||
|
Arithmetic algorithms for extended precision using floating-point expansionsIEEE Transactions on Computers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩
Article dans une revue
hal-01111551v2
|
||
|
Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs2015
Pré-publication, Document de travail
hal-01157509v1
|
||
|
The Ins and Outs of Solving Quadratic Equations with Floating-Point Arithmetic2023
Pré-publication, Document de travail
hal-04116310v1
|
||
|
Toward the Integration of Numerical Computations into the OMSCS Framework7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79
Communication dans un congrès
inria-00099920v1
|
||
|
A Formally-Verified C Compiler Supporting Floating-Point ArithmeticArith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115
Communication dans un congrès
hal-00743090v2
|
||
|
Some Functions Computable with a Fused-mac[Research Report] LIP RR-2004-41, Laboratoire de l'informatique du parallélisme. 2004, 2+10p
Rapport
hal-02101859v1
|
||
|
Slimmer Formal Proofs for Mathematical Libraries30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland (Oregon), United States. pp.4
Communication dans un congrès
hal-04165169v1
|
||
|
Évaluation efficace de fonctions numériques - Outils et exemplesModélisation et simulation. Université de Lyon; Ecole Normale Supérieure de Lyon - ENS LYON, 2009. Français. ⟨NNT : ⟩
Thèse
tel-00460776v7
|
||
|
Some notes on the possible under/overflow of the most common elementary functions2007
Pré-publication, Document de travail
ensl-00149414v1
|
||
|
Midpoints and exact points of some algebraic functions in floating-point arithmeticIEEE Transactions on Computers, 2011, 60 (2), pp.228-241. ⟨10.1109/TC.2010.144⟩
Article dans une revue
ensl-00409366v3
|
||
|
A new multiplication algorithm for extended precision using floating-point expansionsARITH23, Jul 2016, Santa Clara, United States
Communication dans un congrès
hal-01298195v1
|
||
|
Contribution to error analysis of algorithms in floating-point arithmeticComputer Arithmetic. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN038⟩
Thèse
tel-01582218v1
|
||
|
Formalization of double-word arithmetic, and comments on "Tight and rigorous error bounds for basic building blocks of double-word arithmeticACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩
Article dans une revue
hal-02972245v2
|
||
|
On the Computation of Correctly-Rounded Sums[Research Report] RR-7262, INRIA. 2010, pp.24
Rapport
inria-00475279v1
|
||
|
Error analysis of some operations involved in the Cooley-Tukey Fast Fourier TransformACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
Article dans une revue
hal-01949458v2
|
||
|
On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration25th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP, Jun 2014, Zurich, Switzerland. pp.8
Communication dans un congrès
hal-00957379v1
|
||
|
Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programmingIEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom
Communication dans un congrès
hal-01491255v2
|
||
|
Flocq: A Unified Library for Proving Floating-point Algorithms in CoqProceedings of the 20th IEEE Symposium on Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.243-252, ⟨10.1109/ARITH.2011.40⟩
Communication dans un congrès
inria-00534854v2
|
||
|
Innocuous Double Rounding of Basic Arithmetic OperationsJournal of Formalized Reasoning, 2014, 7 (1), pp.131-142. ⟨10.6092/issn.1972-5787/4359⟩
Article dans une revue
hal-01091186v1
|
||
|
Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix MultiplicationPARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland
Communication dans un congrès
hal-00704288v1
|
||
Automations for verifying floating-point algorithms5th Coq Workshop, Jul 2013, Rennes, France
Communication dans un congrès
hal-01110666v1
|
|||
|
Semi-automatic implementation of the complementary error functionARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Communication dans un congrès
hal-02002315v2
|