Nathalie Revol
Nathalie Revol
Research Scientist, INRIA, LIP-ENS de Lyon, France
Bestätigte E-Mail-Adresse bei ens-lyon.fr
Titel
Zitiert von
Zitiert von
Jahr
Handbook of floating-point arithmetic
JM Muller, N Brisebarre, F De Dinechin, CP Jeannerod, V Lefevre, ...
Birkhäuser, 2018
6312018
LIFE-CYCLE COSTING MANUAL for the Federal Energy Management Program, NIST Handbook 135, 1995 Edition
S Fuller, S Petersen
Handbook (NIST HB)-135, 1996
391*1996
What is conservative social and political thought
JZ Muller
Conservatism: An anthology of social and political thought from David Hume …, 1997
210*1997
Motivations for an arbitrary precision interval arithmetic and the MPFI library
N Revol, F Rouillier
Reliable computing 11 (4), 275-290, 2005
1602005
Resolution of (±)-menthol by immobilized Candida rugosa lipase on superparamagnetic nanoparticles
S Bai, Z Guo, W Liu, Y Sun
Food Chemistry 96 (1), 1-7, 2006
1262006
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
1132005
Multiple precision interval packages: Comparing different approaches
M Grimmer, K Petras, N Revol
Numerical Software with Result Verification, 64-90, 2004
452004
A new range-reduction algorithm
N Brisebarre, D Defour, P Kornerup, JM Muller, N Revol
IEEE Transactions on Computers 54 (3), 331-339, 2005
382005
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 (1-4), 367-375, 2004
372004
Numerical reproducibility and parallel computations: Issues for interval algorithms
N Revol, P Théveny
IEEE Transactions on Computers 63 (8), 1915-1924, 2014
292014
Interval Newton iteration in multiple precision for the univariate case
N Revol
Numerical Algorithms 34 (2-4), 417-426, 2003
272003
Introduction à l'arithmétique par intervalles
N Revol
212001
Qualité des calculs sur Ordinateur
JC Bajard, O Beaumont, JM Chesneaux, M Daumas, J Erhel, ...
Masson, 1997
171997
Les Changements D'échelle Des Politiques Agricoles-Introduction
P Muller
Les mondes agricoles en politique, 339-50, 2010
152010
Computation of the error functions erf & erfc in arbitrary precision with correct rounding
S Chevillard, N Revol
152008
Introduction to the IEEE 1788-2015 standard for interval arithmetic
N Revol
International Workshop on Numerical Software Verification, 14-21, 2017
142017
A validated real function calculus
P Collins, M Niqui, N Revol
Mathematics in Computer Science 5 (4), 437-467, 2011
122011
First steps towards more numerical reproducibility
F Jézéquel, P Langlois, N Revol
ESAIM: Proceedings and Surveys 45, 229-238, 2014
112014
Parallel implementation of interval matrix multiplication
N Revol, P Théveny
Reliable Computing 19 (1), 91-106, 2013
92013
Solving and certifying the solution of a linear system
HD Nguyen, N Revol
92011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20