Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "mathematical subroutines"
Now showing items 1-1 of 1
-
Expressing Mathematical Subroutines Constructively
(1987-11-01)The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious ...