# Hend Dawood

## Senior Assistant Lecturer of Computational Mathematics

Department of Mathematics, Faculty of Science, Cairo University, Giza, PO Box: 12613, Egypt. (email)

Department of Mathematics, Faculty of Science, Cairo University, Giza, PO Box: 12613, Egypt. (email)

in

- Algebraically Closed Commutative Rings
- Algorithmic Differentiation
- Automatic Differentiation
- Axiomatics
- Cardinality
- Categorical Differentiation Arithmetic
- Categoricity
- Commutative Unital Ring
- Computational Mathematics
- Computer Science
- Consistency
- Consistent Differentiation Arithmetic
- Formal logic
- InCLosure
- Interval Algorithmic Differentiation
- Interval Analysis
- Interval arithmetic
- Interval computations
- Interval Differentiation Arithmetic
- Mathematical Analysis
- Mathematical Logic
- Mathematical Software
- Mathematics
- Metalogic
- Metamathematics
- Model theory
- Numerical Analysis
- Order theory
- Proof theory
- Quantification theory
- Real Analysis
- Semantics

- Citation:
- Dawood, Hend, and Nefertiti Megahed. "A Consistent and Categorical Axiomatization of Differentiation Arithmetic Applicable to First and Higher Order Derivatives." Punjab University Journal of Mathematics 51, no. 11 (2019): 77-100.

Differentiation arithmetic is a principal and accurate technique for the computational evaluation of derivatives of first and higher order. This article aims at recasting real differentiation arithmetic in a formalized theory of dyadic real differentiation numbers that provides a foundation for first and higher order automatic derivatives. After we set the stage by putting on a systematic basis certain fundamental notions of the algebra of differentiation numbers, we begin by setting up an axiomatic theory of real differentiation arithmetic, as a many-sorted extension of the theory of a continuously ordered field, and then establish the proofs for its consistency and categoricity. Next, we carefully construct the algebraic system of real differentiation arithmetic, deduce its fundamental properties, and prove that it constitutes a commutative unital ring. Furthermore, we describe briefly the extensionality of the system to an interval differentiation arithmetic and to an algebraically closed commutative ring of complex differentiation arithmetic. Finally, a word is said on machine realization of real differentiation arithmetic and its correctness, with an addendum on how to compute automatic derivatives of first and higher order.

Keywords: Automatic differentiation; Categorical differentiation arithmetic; Consistent differentiation arithmetic; Commutative unital ring; Interval differentiation arithmetic; Algebraically closed commutative rings.

http://doi.org/10.5281/zenodo.3479546

10.5281/zenodo.3479546

http://pu.edu.pk/images/journal/maths/PDF/Paper-7_51_11_2019.pdf