A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647)
From MaRDI portal
scientific article; zbMATH DE number 6294846
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Functional Algorithm for Exact Real Integration with Invariant Measures |
scientific article; zbMATH DE number 6294846 |
Statements
A Functional Algorithm for Exact Real Integration with Invariant Measures (English)
0 references
13 May 2014
0 references
exact real number computation
0 references
integration
0 references
self-similarity
0 references
iterated function system
0 references
domain theory
0 references
lazy functional programming
0 references
Haskell
0 references
