| 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 | Guillaume Melquiond | [1] [3] |