(Enter summary)
Abstract: . We present a purely functional implementation of the computational differentiation
tools --- the well known numeric (i.e., not symbolic) techniques which permit one to compute
point-wise derivatives of functions defined by computer programs economically and exactly
(with machine precision). We show how the use of lazy evaluation permits a transparent and
elegant construction of the entire infinite tower of derivatives of higher order for any expressions
present in the program. The formalism... (Update)
Context of citations to this paper: More
...operations. These operations augmented by the derivation operator which yields the derivative, form a local differential algebra. In [2, 3] we have shown how to augment the typical scientific programs, by the derivation operator using a functional version of the...
.... to represent extrusions and other generalized sweeps, and we show how the usage of the algorithmic differentiation techniques (see [1, 2], and references therein, mainly [3] might simplify enormously the manipulation of tangents to trajectories, normals to surfaces,...
Cited by: More
Scientific Computation and Functional Programming - Karczmarczuk (1999)
(Correct)
Functional Differentiation of Computer Programs - Karczmarczuk (1998)
(Correct)
Geometric Modelling in Functional Style - Karczmarczuk (1999)
(Correct)
Active bibliography (related documents): More All
0.5: Lazy Differential Algebra and its Applications - Karczmarczuk (1998)
(Correct)
0.2: Functional Coding of Differential Forms - Karczmarczuk (1999)
(Correct)
0.2: Rigorously Shadowing Numerical ODE Integrations by Containment - Hayes (1999)
(Correct)
Similar documents based on text: More All
0.3: Functional Low-Level Interpreters - Karczmarczuk (2002)
(Correct)
0.2: A Chart Parser to Analyze Large Medical Corpora - Guedj, Nugues (1994)
(Correct)
0.2: GRADIENT: Algorithmic Differentiation in Maple - Monagan, Neuenschwander (1993)
(Correct)
Related documents from co-citation: More All
3: Generating Power of Lazy Semantics
- Karczmarczuk - 1997
3: Lazy Differential Algebra and its Applications
- Karczmarczuk - 1998
2: Concurrent Clean Language Report (context) - Plasmeijer, van Eekelen - 1997
BibTeX entry: (Update)
Jerzy Karczmarczuk, Functional Differentiation of Computer Programs, Proceedings of the III ACM SIGPLAN International Conference on Functional Programming, Baltimore, (1998), pp. 195--203. http://citeseer.ist.psu.edu/karczmarczuk98functional.html More
@inproceedings{ karczmarczuk98functional,
author = "Jerzy Karczmarczuk",
title = "Functional Differentiation of Computer Programs",
booktitle = "International Conference on Functional Programming",
pages = "195-203",
year = "1998",
url = "citeseer.ist.psu.edu/karczmarczuk98functional.html" }
Citations (may not include all citations):
2003
The Art of Computer Programming (context) - Donald - 1981
1120
Handbook of Mathematical Functions (context) - Milton, Irene - 1970
442
Concrete Mathematics (context) - Ronald, Donald et al. - 1989
142
Advanced Mathematical Methods for Scientists and Engineers (context) - Carl, Steven - 1978
83
A Package for the Automatic Differentiation of Algorithms Wr..
- Andreas, David et al. - 1996
33
An Introduction to Differential Algebra (context) - Irving - 1957
11
Generating power of lazy semantics
- Jerzy - 1997
8
package for automatic differentiation (context) - Claus, Ole et al. - 1997
4
Functional Differentiation of Computer Programs
- Jerzy - 1998
4
See also the documentation of the Maple SHARE Library (context) - Robert, Gaston et al. - 1996
4
Functional programming and mathematical objects
- Jerzy - 1995
2
Second SIAM International Workshop on Computational Differen.. (context) - Martin, Christian et al. - 1996
2
Max-Planck-Institut fr Meteorologie (context) - Ralf, Thomas et al. - 1996
2
talk at the 1-st Scottish Workshop on Functional Programming (context) - Jerzy, of et al. - 1999
1
available from the Web site http://www (context) - Mark, The et al.
1
informal presentation at the Haskell Workshop (context) - Jerzy, in et al. - 2000
1
available from the Scheme Repository: www (context) - Richard, Rees et al.
Documents on the same site (http://users.info.unicaen.fr/~karczma/arpap/): More
Geometric Modelling in Functional Style - Karczmarczuk (1999)
(Correct)
Scientific Computation and Functional Programming - Karczmarczuk (1999)
(Correct)
Lazy Differential Algebra and its Applications - Karczmarczuk (1998)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC