Christoph Quirin Lauter Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond: Certifying floating-point implementations using Gappa CoRR abs/0801.0523: (2008)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorent de Dinechin, Christoph Quirin Lauter: Optimizing polynomials for floating-point implementation CoRR abs/0803.0439: (2008)
2007
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain Chevillard, Christoph Quirin Lauter: A Certified Infinite Norm for the Implementation of Elementary Functions. QSIC 2007: 153-160
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorent de Dinechin, Christoph Quirin Lauter, Jean-Michel Muller: Fast and correctly rounded logarithms in double-precision. ITA 41(1): 85-102 (2007)
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond: Assisted verification of elementary functions using Gappa. SAC 2006: 1318-1322

Coauthor Index

1Sylvain Chevillard [3]
2Florent de Dinechin [1] [2] [4] [5]
3Vincent Lefèvre [6]
4Guillaume Melquiond [1] [5]
5Jean-Michel Muller [2]

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)