Investigations into a Formalized Theory of Interval Differentiation

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

Report Date:

2017

Report Number:

CU-Math-2017-03-IFTID

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.