Institutions | About Us | Help | Gaeilge
rian logo


Mark
Go Back
Lazy Multivariate Higher-Order Forward-Mode AD
Pearlmutter, Barak A.; Siskind, Jeffrey Mark
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn → R. This method works by evaluating the function under a nonstandard interpretation, lifting reals to multivariate power series. Multivariate power series, with potentially an infinite number of terms with nonzero coefficients, are represented using a lazy data structure constructed out of linear terms. A complete implementation of this method in SCHEME is presented, along with a straightforward exposition, based on Taylor expansions, of the method’s correctness.
Keyword(s): Hamilton Institute; Computer Science; Algorithms; Languages; Power series; Nonstandard interpretation
Publication Date:
2007
Type: Journal article
Peer-Reviewed: No
Institution: Maynooth University
Citation(s): Pearlmutter, Barak A. and Siskind, Jeffrey Mark (2007) Lazy Multivariate Higher-Order Forward-Mode AD. POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . pp. 155-160.
Publisher(s): ACM (Association for Computing Machinery)
File Format(s): application/pdf
Related Link(s): http://eprints.maynoothuniversity.ie/2049/1/BP_popl2007-multi-forward-AD.pdf
First Indexed: 2014-09-20 05:06:17 Last Updated: 2018-11-30 06:17:15