The SCEAS System
Navigation Menu

Search the dblp DataBase


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.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002