Related papers: Leibniz Differential and Non-Standard Calculus
Kinematic algebras can be realised on geometric spaces and constrain the physical models that can live on these spaces. Different types of kinematic algebras exist and we consider the interplay of these algebras for non-relativistic limits…
We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus for an impredicative logic -- in our case a sequent calculus for…
We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of several equivalent statements} borrowed from algebra, real analysis, general topology, and non-standard analysis. We also…
Problems in additive number theory related to sum and difference sets, more general binary linear forms, and representation functions of additive bases for the integers and nonnegative integers.
A finite-dimensional Lie algebra is called an A-algebra if all of its nilpotent subalgebras are abelian. These arise in the study of constant Yang-Mills potentials and have also been particularly important in relation to the problem of…
There is a way of assigning a realizability notion to each degree of incomputability. In our setting, we make use of Weihrauch degrees (degrees of incomputability/discontinuity of partial multi-valued functions) to obtain Lifschitz-like…
Fractional calculus is the calculus of differentiation and integration of non-integer orders. In a recently paper (Annals of Physics 323 (2008) 2756-2778), the Fundamental Theorem of Fractional Calculus is highlighted. Based on this…
In his 1676 text De Quadratura Arithmetica, Leibniz distinguished infinita terminata from infinita interminata. The text also deals with the notion, originating with Desargues, of the perspective point of intersection at infinite distance…
This Note revisits the Leibnitz integral calculus method based on differentiation under the integral sign with respect to a parameter either already existing or introduced ad hoc. Through several cases exemplifying the method, it is shown…
High dimensional data can have a surprising property: pairs of data points may be easily separated from each other, or even from arbitrary subsets, with high probability using just simple linear classifiers. However, this is more of a rule…
In this paper we introduce the notion of existentially closed Leibniz algebras. Then we use HNN-extensions of Leibniz algebras in order to prove an embedding theorem.
We consider a family of integer sequences generated by nonlinear recurrences of the second order, which have the curious property that the terms of the sequence, and integer multiples of the ratios of successive terms (which are also…
The theory of fractional calculus has developed in a number of directions over the years, including: the formulation of multiple different definitions of fractional differintegration; the extension of various properties of standard calculus…
Set-theoretical, physical, and intuitive notions of continuum are compared. It is shown that the independence of the continuum hypothesis determines status and properties of the set of intermediate cardinality. The intermediate set is a…
Non-Archimedean mathematics is an approach based on fields which contain infinitesimal and infinite elements. Within this approach, we construct a space of a particular class of generalized functions, ultrafunctions. The space of…
We study translation-invariant integrodifferential operators that generate L\'{e}vy processes. First, we investigate different notions of what a solution to a nonlocal Dirichlet problem is and we provide the classical representation formula…
The existence of an infinite set of conserved currents in completely integrable classical models, including chiral and Toda models as well as the KP and self-dual Yang-Mills equations, is traced back to a simple construction of an infinite…
We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differential equation admits an exponentially algebraic solution, that…
Invariants of general linear system of two hyperbolic partial differential equations (PDEs) are derived under transformations of the dependent and independent variables by real infinitesimal method earlier. Here a subclass of the general…
Non-linear state estimation and some related topics, like parametric estimation, fault diagnosis, and perturbation attenuation, are tackled here via a new methodology in numerical differentiation. The corresponding basic system theoretic…