The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christoph Quirin Lauter: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
    Assisted verification of elementary functions using Gappa. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1318-1322 [Conf]

  2. Certified and Fast Computation of Supremum Norms of Approximation Errors. [Citation Graph (, )][DBLP]


  3. Sollya: An Environment for the Development of Numerical Codes. [Citation Graph (, )][DBLP]


  4. A Certified Infinite Norm for the Implementation of Elementary Functions. [Citation Graph (, )][DBLP]


  5. Certifying floating-point implementations using Gappa [Citation Graph (, )][DBLP]


  6. Optimizing polynomials for floating-point implementation [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002