Search results for: Martin Tändl
Lecture Notes in Computer Science > Numerical Software with Result Verification > New Verification Techniques Based on Interval Arithmetic > 132-159
Proceedings of EUCOMES 8 > 183-190
International Journal of Applied Mathematics and Computer Science > 2009 > 19 > 3 > 469-483