Markus Grimmer. Selbstverifizierende mathematische Softwarewerkzeuge im High Performance Computing - Konzeption, Entwicklung und Analyse am Beispiel der parallelen verifizierten Lösung linearer Fredholmscher Integralgleichungen zweiter Art. Logos, 2007.
Abstract is missing.