presented at event International Seminar on Reliable Implementation of Real Number Algorithms Conference
keywords Computer Science Computer Science, Theory & Methods STURM-LIOUVILLE SOLVERS Science & Technology TEST PACKAGE Technology