Search results for: George F. Corliss
Lecture Notes in Computer Science > Reliable Implementation of Real Number Algorithms: Theory and Practice > 28-43
Lecture Notes in Computer Science > Numerical Software with Result Verification > Software Systems and Tools > 91-106
AIChE Journal > 57 > 2 > 404 - 422