See this document in CiteSeerX!

Functional Differentiation of Computer Programs (1998)  (Make Corrections)  (4 citations)
Jerzy Karczmarczuk
International Conference on Functional Programming



  Home/Search   Context   Related

 
View or download:
users.info.unicaen.fr/~ka...diffalg.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  users.info.unicaen.fr/~karczma... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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