Jean Vignes

Qualité des calculs sur ordinateur

Jean-Michel Muller, Nathalie Revol, Olivier Beaumont, 1997 .

10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN'2002

René Alt, Jean Vignes, 2003, Reliab. Comput..

Discrete Stochastic Arithmetic for Validating Results of Numerical Software

Jean Vignes, J. Vignes, 2004, Numerical Algorithms.