Open AccessTowards a constraint system for round-off error analysis of floating-point computation
Author(s) -
Rémy Garcia,
Claude Michel,
Marie Pelleau,
Michel Rueher
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - solver , computer science , constraint (computer aided design) , domain (mathematical analysis) , computation , projection (relational algebra) , algorithm , floating point , point (geometry) , mathematical optimization , mathematics , geometry , mathematical analysis , programming language