Algorithms for verified inclusions—theory and practice

Precise computation using range arithmetic, via C++

ACM Transactions on Mathematical Software (TOMS)

A set of Ada packages for high-precision calculations

ACM Transactions on Mathematical Software (TOMS)

FPGA accelerating double/quad-double high precision floating-point applications for ExaScale computing

Proceedings of the 24th ACM International Conference on Supercomputing

MPL: a multiprecision matlab - like environment

ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I

A problem in hydrological model calibration in the case of averaged flux input and flux output

Environmental Modelling & Software

FPGA implementation of an exact dot product and its application in variable-precision floating-point arithmetic

The Journal of Supercomputing