| 2009 |
|---|
| 4 | EE | 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 |
|---|
| 3 | EE | Florent de Dinechin,
Christoph Quirin Lauter,
Guillaume Melquiond:
Certifying floating-point implementations using Gappa
CoRR abs/0801.0523: (2008) |
| 2 | EE | Florent de Dinechin,
Christoph Quirin Lauter:
Optimizing polynomials for floating-point implementation
CoRR abs/0803.0439: (2008) |
| 2006 |
|---|
| 1 | EE | Florent de Dinechin,
Christoph Quirin Lauter,
Guillaume Melquiond:
Assisted verification of elementary functions using Gappa.
SAC 2006: 1318-1322 |
