Search results for: Vadim Shapiro
Lecture Notes in Computer Science > Reliable Implementation of Real Number Algorithms: Theory and Practice > 162-180
Lecture Notes in Computer Science > Reliable Implementation of Real Number Algorithms: Theory and Practice > 162-180