A Functional Algorithm for Exact Real Integration with Invariant Measures

DOI10.1016/j.entcs.2008.10.020zbMath1286.68061OpenAlexW2012644590MaRDI 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-similarityiterated function systemintegrationHaskelldomain theoryexact real number computationlazy functional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Length, area, volume, other geometric measure theory (28A75) Continuous lattices and posets, applications (06B35) Software, source code, etc. for problems pertaining to measure and integration (28-04)

Related Items (4)

Coalgebraic Representation Theory of Fractals ⋮ Computing with continuous objects: a uniform co-inductive approach ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ 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

This page was built for publication: A Functional Algorithm for Exact Real Integration with Invariant Measures