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

We discuss effective integrability and effectivization of Fubini's Theorem for a Fine-computable function F(x,y) on the upper-right open unit square. The core objective is Fine-computability of f(x)=∫[0,1)F(x,y)dy as a function on [0,1).

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