Programming Research Group Research ReportRR-03-04

Informatic vs. classical differentiability on the real line

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.


This paper is available as a 129308 bytes gzipped PostScript file.