Pages that link to Investigations into a Formalized Theory of Interval Differentiation