Open AccessSardana: an Automatic Tool for Numerical Accuracy Optimization
Author(s) -
Arnault Ioualalen,
Matthieu Martel
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computation , computer science , representation (politics) , interval (graph theory) , interpretation (philosophy) , point (geometry) , interval arithmetic , algorithm , abstract interpretation , mathematical optimization , mathematics , programming language , mathematical analysis , geometry , combinatorics , politics , political science , law , bounded function