Article ID Journal Published Year Pages File Type
422056 Electronic Notes in Theoretical Computer Science 2008 17 Pages PDF
Abstract

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.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics