Formal Verification of a Floating-Point Expansion Renormalization Algorithm.

Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu

Browse the full ITP paper archive.