 | 2009 |
|---|
| 6 |       | Christoph Quirin Lauter,
Vincent Lefèvre:
An Efficient Rounding Boundary Test for {rm pow}(x, y) in Double Precision.
IEEE Trans. Computers 58(2): 197-207 (2009) |
| 2008 |
|---|
| 5 | | Florent de Dinechin,
Christoph Quirin Lauter,
Guillaume Melquiond:
Certifying floating-point implementations using Gappa
CoRR abs/0801.0523: (2008) |
| 4 | | Florent de Dinechin,
Christoph Quirin Lauter:
Optimizing polynomials for floating-point implementation
CoRR abs/0803.0439: (2008) |
| 2007 |
|---|
| 3 | | Sylvain Chevillard,
Christoph Quirin Lauter:
A Certified Infinite Norm for the Implementation of Elementary Functions.
QSIC 2007: 153-160 |
| 2 | | Florent de Dinechin,
Christoph Quirin Lauter,
Jean-Michel Muller:
Fast and correctly rounded logarithms in double-precision.
ITA 41(1): 85-102 (2007) |
| 2006 |
|---|
| 1 | | Florent de Dinechin,
Christoph Quirin Lauter,
Guillaume Melquiond:
Assisted verification of elementary functions using Gappa.
SAC 2006: 1318-1322 |
