کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422056 685008 2008 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Functional Algorithm for Exact Real Integration with Invariant Measures
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Functional Algorithm for Exact Real Integration with Invariant Measures
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 218, 22 October 2008, Pages 337-353