Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Floating-point arithmetic
Groups
Research activities: Floating-point arithmetic



Groups


Joint Inria project teams


Research highlights
  Formal Verification of Floating-Point Programs

Contracts & grants
  CerPAN
  FOST
  HISSEO

Software & patents
  Gappa
  Coq.FP2
  Flocq Library

Collaborations


Members


Ph.D. dissertations & Faculty habilitations



Research activities