For mathematicians which do scientific computing in the sens of numerical analysis a very good choice are the XSC languages (C-XSC and Pascal-XSC) which provide tools to solve numerical problems with a verification of the results. See U. Kulisch et alia, Springer Series in Computational Mathematics, vol. 21, for an introduction to Verified Computing and this link for the software.