English
Related papers

Related papers: Introduction to $\mathcal{A}$-Calculus

200 papers

Expanding upon recent work, a new class of $A$-functions is introduced that can be viewed as an appropriate generalization of the class of regular $A$-functions, the class of structured $A$-functions, and the class of perfect $A$-functions.…

Number Theory · Mathematics 2022-03-01 Joseph Burnett , Alex Taylor

A new derivative, called deformable derivative, is introduced here which is equivalent to ordinary derivative in the sense that one implies other. The deformable derivative is defined using limit approach like that of ordinary one but with…

Classical Analysis and ODEs · Mathematics 2017-05-03 Fahed Zulfeqarr , Amit Ujlayan , Priyanka Ahuja

We equip a family of algebras whose noncommutativity is of Lie type with a derivation based differential calculus obtained, upon suitably using both inner and outer derivations, as a reduction of a redundant calculus over the Moyal four…

Quantum Algebra · Mathematics 2018-12-26 Giuseppe Marmo , Patrizia Vitale , Alessandro Zampini

We investigate the computational properties of basic mathematical notions pertaining to $\mathbb{R}\rightarrow \mathbb{R}$-functions and subsets of $\mathbb{R}$, like finiteness, countability, (absolute) continuity, bounded variation,…

Logic · Mathematics 2024-08-15 Dag Normann , Sam Sanders

In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are…

Logic in Computer Science · Computer Science 2024-01-29 Thomas Ehrhard

This paper presents a self-contained new theory of weak fractional differential calculus in one-dimension. The crux of this new theory is the introduction of a weak fractional derivative notion which is a natural generalization of integer…

Functional Analysis · Mathematics 2020-07-21 Xiaobing Feng , Mitchell Sutton

We have generalized the \textsc{Mathematica} function \texttt{Apart} from 1 to $N$ dimension, the generalized function \texttt{\$Apart} can decompose any linear dependent elements in $\mathcal{V}_{x}^*$ to irreducible ones. The elements in…

High Energy Physics - Phenomenology · Physics 2012-08-21 Feng Feng

We define a class of computable functions over real numbers using functional schemes similar to the class of primitive and partial recursive functions defined by G\"odel and Kleene. We show that this class of functions can also be…

Logic in Computer Science · Computer Science 2020-10-05 Keng Meng Ng , Nazanin R. Tavana , Yue Yang

We shall generalize the notion of a Laver table to algebras which may have many generators, several fundamental operations, fundamental operations of arity higher than 2, and to algebras where only some of the operations are…

Logic · Mathematics 2018-12-10 Joseph Van Name

A differential category is an additive symmetric monoidal category, that is, a symmetric monoidal category enriched over commutative monoids, with an algebra modality, axiomatizing smooth functions, and a deriving transformation on this…

Category Theory · Mathematics 2025-10-08 Jean-Baptiste Vienney

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

Logic · Mathematics 2022-06-15 Célia Borlido , Brett McLean

Let ${\mathcal A}$ be a Banach algebra with the properties that $\mathrm{rad}({\mathcal A})={\rm rann}({\mathcal A})$ and the algebra ${\mathcal A}/\mathrm{rad}({\mathcal A})$ is commutative. We show that a derivation of ${\mathcal A}$ maps…

Functional Analysis · Mathematics 2022-01-19 Ali Ebrahimzadeh Esfahani , Mehdi Nemati

In the present article, a new method for the evaluation of fractional derivatives of arbitrary real order is proposed. Numerous but inequivalent formulations have been given in the past. Some of them exhibit unsatisfactory properties such…

Functional Analysis · Mathematics 2021-05-04 Cyril Belardinelli

The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…

Logic in Computer Science · Computer Science 2021-11-30 Thomas Ehrhard

In this paper we develop a theory of slice regular functions on a real alternative algebra $A$. Our approach is based on a well--known Fueter's construction. Two recent function theories can be included in our general theory: the one of…

Complex Variables · Mathematics 2018-07-02 Riccardo Ghiloni , Alessandro Perotti

The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…

Logic in Computer Science · Computer Science 2024-02-14 Thomas Ehrhard

The theory of fractional calculus in the complex plane was not built with a specific application in mind. The main obstacle to application was the difficulty with obtaining analytic continuations of fractional derivatives and integrals. It…

Classical Analysis and ODEs · Mathematics 2015-10-01 V. P. Gurarii

Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital…

In calculus, an indefinite integral of a function $f$ is a differentiable function $F$ whose derivative is equal to $f$. In present paper, we generalize this notion of the indefinite integral from the ring of real functions to any ring. The…

Rings and Algebras · Mathematics 2014-06-13 Iztok Banic

Fractional calculus and q-deformed Lie algebras are closely related. Both concepts expand the scope of standard Lie algebras to describe generalized symmetries. A new class of fractional q-deformed Lie algebras is proposed, which for the…

General Physics · Physics 2014-11-21 Richard Herrmann