Search results for: Thomas Beelitz
Lecture Notes in Computer Science > Numerical Software with Result Verification > Applications in Science and Engineering > 198-205
Numerische Mathematik > 2009 > 111 > 4 > 493-507
Reliable Computing > 2006 > 12 > 2 > 141-151