Expressing Mathematical Subroutines Constructively
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 numerical constants. Instead of programming these subroutines conventionall...
| Autore principale: | |
|---|---|
| Lingua: | en_US |
| Pubblicazione: |
2004
|
| Soggetti: | |
| Accesso online: | http://hdl.handle.net/1721.1/6058 |