Concepedia

Christoph Lauter

CL

17

Publications

432

Citations

11

H-Index

2004

Active since

Affiliations

École Normale Supérieure de Lyon(Current)

Sorbonne Université

Laboratoire de l'Informatique du Parallélisme

Centre National de la Recherche Scientifique

Institut national de recherche en sciences et technologies du numérique

Christoph Lauter is an author at École Normale Supérieure de Lyon specializing in computer science, computer engineering, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringNumerical AnalysisApproximation TheoryFormal MethodsApproximate ComputingComputational ComplexityParallel ComputingParallel Programming

Publications per year

2004–2019

17

Publications

17

Certifying the Floating-Point Implementation of an Elementary Function Using Gappa

Florent de Dinechin, Christoph Lauter, Guillaume Melquiond · IEEE Transactions on Computers · 2010 · 86 citations · Full text

Assisted verification of elementary functions using Gappa

Florent de Dinechin, Christoph Lauter, Guillaume Melquiond · 2006 · 66 citations

Engineering, Verification, Computer-aided Verification +16

CR-LIBM A library of correctly rounded elementary functions in double-precision

Catherine Daramy-Loirat, David Defour, Florent de Dinechin et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2006 · 44 citations · Full text

Fast and correctly rounded logarithms in double-precision

Florent de Dinechin, Christoph Lauter, Jean‐Michel Muller · RAIRO - Theoretical Informatics and Applications · 2007 · 37 citations · Full text

Numerical Analysis, Pade Approximant, Engineering +18

Basic building blocks for a triple-double intermediate format

Christoph Lauter · HAL (Le Centre pour la Communication Scientifique Directe) · 2005 · 30 citations · Full text

Numerical Analysis, Pade Approximant, Engineering +18

Rows per page

1–5 of 17