| |
| 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 |
| 1 | Florent de Dinechin | [1] [2] [3] |
| 2 | Vincent Lefèvre | [4] |
| 3 | Guillaume Melquiond | [1] [3] |