Interval Differentiation

Dawood, Hend, and Yasser Dawood. Investigations into a Formalized Theory of Interval Differentiation. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2017. Abstract

In this report, we define an algebra of dyadic intervals. Thereupon, we present a formalization of a generalized theory of interval differentiation and investigate into some of the analytic and algebraic properties thereof.