Informatic vs. classical differentiation on the real line

Keye Martin and Joël Ouaknine

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 towards extending techniques and results from calculus to certain non classically differentiable functions.

Proceedings of Domains VI, ENTCS 73, 2004. 8 pages.

PDF © 2004 Elsevier Science B.V.

Imprint / Data Protection