A Functional Algorithm for Exact Real Integration with Invariant Measures

DOI10.1016/j.entcs.2008.10.020zbMath1286.68061MaRDI QIDQ5415647

Adam Scriven

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

zbMATH Keywords

self-similarity; iterated function system; integration; Haskell; domain theory; exact real number computation; lazy functional programming

Mathematics Subject Classification ID

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

• Haskell

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