Open AccessFormal Verification of a Floating-Point Expansion Renormalization Algorithm
Author(s) -
Boldo, Sylvie,
Mioara Joldes,
Muller, Jean-Michel,
Valentina Popescu
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , algorithm , renormalization , formal verification , point (geometry) , mathematics , mathematical physics , geometry