Guillaume Melquiond (LIP)

Identifiers

• name variant Guillaume Melquiond (LIP) 0.60 · backfill

Papers (1)

1. Certifying floating-point implementations using Gappa cs.NA · 2008 · author #3

Mentions

• 0801.0523 #3 · arxiv_oai · confidence 0.70 Guillaume Melquiond (LIP)
• 0801.0523 #3 · backfill · confidence 0.70 Guillaume Melquiond (LIP)

Frequent Coauthors

• Christoph Quirin Lauter (LIP) 1 shared papers
• Florent De Dinechin (LIP) 1 shared papers