Christoph Quirin Lauter

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

Coauthor Index

1	Florent de Dinechin	[1] [2] [3]
2	Vincent Lefèvre	[4]
3	Guillaume Melquiond	[1] [3]