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...
Uloženo v:
| Vydáno v: | Electronic Notes in Theoretical Informatics and Computer Science Ročník 3 - Proceedings of... |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
23.11.2023
|
| ISSN: | 2969-2431, 2969-2431 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!