A Generic Library for Floating-Point Numbers and Its Application to Exact Computing
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Automatic Generation of Staged Geometric Predicates
Higher-Order and Symbolic Computation
Proceedings of the 2006 ACM symposium on Applied computing
Hi-index | 0.00 |
Advances in computer hardware often have little impact until they become accessible to programmers using high-level languages. For example, the IEEE floating-point arithmetic standard provides various rounding modes and exceptions, but it is difficult ...