Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
421994 | Electronic Notes in Theoretical Computer Science | 2008 | 12 Pages |
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