arXiv 2004-01-13 EN Algorithm xxx: Modified Bessel functions of imaginary order and positive argument Gil, Amparo · Segura, Javier · Temme, Nico M.
arXiv 2003-10-28 EN An Introduction to Using Software Tools for Automatic Differentiation Naumann, Uwe · Walther, Andrea
arXiv 2001-07-19 EN Computer validated proofs of a toolset for adaptable arithmetic Boldo, Sylvie · Daumas, Marc · Moreau-Finot, Claire · Thery, Laurent
