A formal approach to rounding.

Published in: IEEE Symposium on Computer Arithmetic (1987)

Keyphrases

formal model
linear programming
approximation algorithms
formal specification
formal language
artificial intelligence
case study
multiscale
learning environment
real time
digital libraries
formal representation
formal analysis
formal methods
data structure
three dimensional
website
databases