SMS versenden: Software for roundoff analysis of matrix algorithms