Lauter Christoph
Associate Professor
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
LAUTER Christoph is currently working in Laboratory of Computer Science of Paris 6 (LIP6).
Research Interest
Binary and decimal floating-point numbers
Publications
-
Graillat S, Jeangoudoux C, Lauter C. A Decimal Multiple-Precision Interval Arithmetic Library. In17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. 2016 Sep 26.
-
Brisebarre N, Lauter C, Mezzarobba M, Muller JM. Comparison between binary and decimal floating-point numbers. IEEE Transactions on Computers. 2016 Jul 1;65(7):2032-44.
-
Volkova A, Lauter C, Hilaire T. Reliable verification of digital implemented filters against frequency specifications.
-
Graillat S, Ibrahimy Y, Jeangoudoux C, Lauter C. A Parallel Compensated Horner Scheme. InCSE 2017, SIAM Conference on Computational Science and Engineering (CSE) 2017 Feb 27.
