Keye Martin and Joel Ouaknine
February 2003, 38pp.
We study the relationship between informatic and classical differentiation on the real line. The former arises when considering the interval domain over the reals equipped with the Lebesgue measurement. We show that informatic differentiation is a strict generalization of its classical counterpart, and wonder if it can provide a springboard toward extending techniques and results from calculus to certain non classically differentiable functions.