Accurate and efficient testing of the exponential and logarithm functions
ACM Transactions on Mathematical Software (TOMS)
Computation of elementary functions on the IBM RISC System/6000 processor
IBM Journal of Research and Development
Table-driven implementation of the logarithm function in IEEE floating-point arithmetic
ACM Transactions on Mathematical Software (TOMS)
An accurate elementary mathematical library for the IEEE floating point standard
ACM Transactions on Mathematical Software (TOMS)
Fast evaluation of elementary mathematical functions with correctly rounded last bit
ACM Transactions on Mathematical Software (TOMS)
A portable generic elementary function package in Ada and an accurate test suite
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
Table-driven implementation of the Expm1 function in IEEE floating-point arithmetic
ACM Transactions on Mathematical Software (TOMS)
Table-driven implementation of the exponential function in IEEE floating-point arithmetic
ACM Transactions on Mathematical Software (TOMS)
Floating Point Verification in HOL Light: The Exponential Function
Formal Methods in System Design
Fast Hardware-Based Algorithms for Elementary Function Computations Using Rectangular Multipliers
IEEE Transactions on Computers
Computing correctly rounded integer powers in floating-point arithmetic
ACM Transactions on Mathematical Software (TOMS)
Unified Tables for Exponential and Logarithm Families
ACM Transactions on Mathematical Software (TOMS)
Mathematical model of stored logic based computation
Mathematical and Computer Modelling: An International Journal
Tool support for software lookup table optimization
Scientific Programming
Hi-index | 0.00 |