Programming Research Group Research ReportRR-03-04

Keye Martin and Joel Ouaknine

February 2003, 38pp.

Abstract

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.