Login / Signup
A formal approach to rounding.
Geoff Barrett
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