A Functional Algorithm for Exact Real Integration with Invariant Measures | Zendy

Adam Scriven | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Functional Algorithm for Exact Real Integration with Invariant Measures

Author(s) -

Adam Scriven

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.10.020

Subject(s) - haskell , correctness , algorithm , functional programming , computer science , invariant (physics) , construct (python library) , domain (mathematical analysis) , mathematics , theoretical computer science , programming language , mathematical physics , mathematical analysis

We develop an algorithm for exact real integration over a class of self-similar spaces and measures defined by Hutchinson. We construct the algorithm in an idealised lazy functional programming language and prove its correctness using domain theory. The work generalises an algorithm developed by Alex Simpson for exact Riemann integration over the real line. We implement the algorithm in the functional language Haskell and give some preliminary results

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research