A functional algorithm for exact real integration with invariant measures

DOI10.1016/J.ENTCS.2008.10.020MaRDI QIDQ5415647zbMATH OpenOpenAlexFDO

Authors 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

domain theoryexact real number computationHaskellintegrationiterated function systemlazy functional programmingself-similarity

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1222580
• Domains, integration and ‘positive analysis’
• A computer-verified monadic functional implementation of the integral
• scientific article; zbMATH DE number 1405640
• A computable approach to measure and integration theory

Cites work

• Constructive analysis, types and exact real numbers
• Continuous Lattices and Domains
• Domain-Theoretic Foundations of Functional Programming
• scientific article; zbMATH DE number 4212032 (Why is no real title available?)
• scientific article; zbMATH DE number 3964277 (Why is no real title available?)
• scientific article; zbMATH DE number 49269 (Why is no real title available?)
• scientific article; zbMATH DE number 1222580 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Integration in Real PCF
• Real number computability and domain theory
• Representations of the real numbers and of the open subsets of the set of real numbers
• Theory of representations

Cited in

(7)

• 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
• scientific article; zbMATH DE number 1222580 (Why is no real title available?)
• scientific article; zbMATH DE number 1405640 (Why is no real title available?)
• Computing with continuous objects: a uniform co-inductive approach
• A computer-verified monadic functional implementation of the integral

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: A functional algorithm for exact real integration with invariant measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415647)