Algorithms for verified inclusions—theory and practice
Reliability in computing: the role of interval methods in scientific computing
Algorithm 693: a FORTRAN package for floating-point multiple-precision arithmetic
ACM Transactions on Mathematical Software (TOMS)
A Fortran 90-based multiprecision system
ACM Transactions on Mathematical Software (TOMS)
GNU Scientific Library Reference Manual - 2nd Edition
GNU Scientific Library Reference Manual - 2nd Edition
Algorithm 871: A C/C++ precompiler for autogeneration of multiprecision programs
ACM Transactions on Mathematical Software (TOMS)
Hi-index | 0.00 |
A number of generic tools, some developed by the authors, some developed in cooperation with other teams and others available freely, are combined into an environment, called MPL from Multi Precision Lab, which offers a cross-platform variable precision alternative to Among the tools we mention for instance our C/C++ precompiler for type conversion, the GMP arithmetic library complemented with our own IEEE-854 compliant multi-radix multiprecision MpIeee library, the Boost matrix library, our own Matlab parser, the libraries FFCall and GNU Libtool. The functionality of the well-known Matlab toolboxes is available through the multiprecision equivalent of one's library of choice, generated using the same tools. We mention, among others, GSL, Numerical Recipes, an automatic differentiation toolkit [1], a hybrid polynomial solver [2] and so on.