A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real number computation. The main new feature of this language is the ability to evaluate correctly up to the precision specified...
Gespeichert in:
| Veröffentlicht in: | Electronic Notes in Theoretical Informatics and Computer Science Jg. 3 - Proceedings of... |
|---|---|
| Hauptverfasser: | , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
23.11.2023
|
| ISSN: | 2969-2431, 2969-2431 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!