A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
Expressing mathematical subroutines constructively

1988
*
Proceedings of the 1988 ACM conference on LISP and functional programming - LFP '88
*

The typical subroutines that compute sin(z) and exp(z) 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 conventionally, we can express their construction using symbolic ideas such as periodicity and Taylor series. Such an approach has many advantages: the code is closer to the mathematical basis of the function, less vulnerable

doi:10.1145/62678.62680
dblp:conf/lfp/Roylance88
fatcat:gxqry7ii6zdirluhkz2fxztjja