%0 Report
%D 2017
%T Investigations into a Formalized Theory of Interval Differentiation
%A Hend Dawood
%A Yasser Dawood
%C Giza
%I Department of Mathematics, Faculty of Science, Cairo University
%X

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.