A Functional Algorithm for Exact Real Integration with Invariant Measures
From MaRDI portal
Publication:5415647
DOI10.1016/j.entcs.2008.10.020zbMath1286.68061MaRDI QIDQ5415647
Publication date: 13 May 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.020
self-similarity; iterated function system; integration; Haskell; domain theory; exact real number computation; lazy functional programming
68N18: Functional programming and lambda calculus
28A75: Length, area, volume, other geometric measure theory
06B35: Continuous lattices and posets, applications
28-04: Software, source code, etc. for problems pertaining to measure and integration
Related Items
Computing with continuous objects: a uniform co-inductive approach, Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting, Coalgebraic Representation Theory of Fractals, From Coinductive Proofs to Exact Real Arithmetic
Uses Software
Cites Work
- Theory of representations
- Representations of the real numbers and of the open subsets of the set of real numbers
- Integration in Real PCF
- Real number computability and domain theory
- Domain-Theoretic Foundations of Functional Programming
- Constructive analysis, types and exact real numbers
- Continuous Lattices and Domains
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item