Følg
Nathalie Revol
Nathalie Revol
Research Scientist, INRIA, LIP-ENS de Lyon, France
Verifisert e-postadresse på ens-lyon.fr
Tittel
Sitert av
Sitert av
År
Handbook of floating-point arithmetic
JM Muller, N Brunie, F De Dinechin, CP Jeannerod, M Joldes, V Lefèvre, ...
Birkhäuser, 2018
10232018
Motivations for an arbitrary precision interval arithmetic and the MPFI library
N Revol, F Rouillier
Reliable computing 11 (4), 275-290, 2005
2082005
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
N Revol, K Makino, M Berz
The Journal of Logic and Algebraic Programming 64 (1), 135-154, 2005
1392005
A new range-reduction algorithm
N Brisebarre, D Defour, P Kornerup, JM Muller, N Revol
IEEE Transactions on Computers 54 (3), 331-339, 2005
482005
Multiple precision interval packages: Comparing different approaches
M Grimmer, K Petras, N Revol
Numerical Software with Result Verification: International Dagstuhl Seminar …, 2004
472004
Proposal for a standardization of mathematical function implementation in floating-point arithmetic
D Defour, G Hanrot, V Lefevre, JM Muller, N Revol, P Zimmermann
Numerical algorithms 37, 367-375, 2004
452004
Numerical reproducibility and parallel computations: Issues for interval algorithms
N Revol, P Théveny
IEEE Transactions on Computers 63 (8), 1915-1924, 2014
422014
Interval Newton iteration in multiple precision for the univariate case
N Revol
Numerical Algorithms 34, 417-426, 2003
342003
Introduction to the IEEE 1788-2015 standard for interval arithmetic
N Revol
Numerical Software Verification: 10th International Workshop, NSV 2017 …, 2017
292017
Introduction à l'arithmétique par intervalles
N Revol
INRIA, 2001
232001
Computation of the error functions erf & erfc in arbitrary precision with correct rounding
S Chevillard, N Revol
INRIA, 2008
222008
A validated real function calculus
P Collins, M Niqui, N Revol
Mathematics in Computer Science 5, 437-467, 2011
172011
Qualité des calculs sur Ordinateur
JC Bajard, O Beaumont, JM Chesneaux, M Daumas, J Erhel, ...
Masson, 1997
171997
First steps towards more numerical reproducibility
F Jézéquel, P Langlois, N Revol
ESAIM: Proceedings and Surveys 45, 229-238, 2014
142014
A taylor function calculus for hybrid system analysis: Validation in coq
P Collins, M Niqui, N Revol
NSV-3: Third International Workshop on Numerical Software Verification., 2010
132010
Parallel implementation of interval matrix multiplication
N Revol, P Théveny
Reliable Computing 19 (1), 91-106, 2013
102013
Solving and certifying the solution of a linear system
HD Nguyen, N Revol
Reliable Computing 15 (2), 120-131, 2011
102011
Production of long hemp fibers using the flax value chain
L Pinsard, N Revol, H Pomikal, E De Luycker, P Ouagne
Fibers 11 (5), 38, 2023
92023
Hardware implementation of floating-point arithmetic
JM Muller, N Brunie, F de Dinechin, CP Jeannerod, M Joldes, V Lefèvre, ...
Handbook of Floating-Point Arithmetic, 267-320, 2018
92018
Newton’s algorithm using multiple precision interval arithmetic
N Revol
Numerical Algorithms 34 (2), 417-426, 2003
92003
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20