Christoph Quirin Lauter (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

2 Florent de Dinechin, Christoph Quirin Lauter, Jean-Michel Muller: Fast and correctly rounded logarithms in double-precision. ITA 41(1): 85-102 (2007)

1 Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond: Assisted verification of elementary functions using Gappa. SAC 2006: 1318-1322

Selection of 4 from 6 records - Christoph Quirin Lauter has 5 coauthors

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)
2		Florent de Dinechin, Christoph Quirin Lauter, Jean-Michel Muller: Fast and correctly rounded logarithms in double-precision. ITA 41(1): 85-102 (2007)
1		Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond: Assisted verification of elementary functions using Gappa. SAC 2006: 1318-1322