Related papers: Leibniz Differential and Non-Standard Calculus
In this article we study convex non-autonomous variational problems with differential forms and corresponding function spaces. We introduce a general framework for constructing counterexamples to the Lavrentiev gap, which we apply to…
We use fast-growing finite and infinite sequences of natural numbers and more complicated constructs to define models of hypercomputation and interpret non-arithmetic predicates, with the strongest extensions reaching full second order…
Differential linear logic (DiLL) provides a fine analysis of resource consumption in cut-elimination. We investigate the subsystem of DiLL without promotion in a deep inference formalism, where cuts are at an atomic level. In our system…
The $\nu$-zeros of the Bessel functions of purely imaginary order are examined for fixed argument $x>0$. In the case of the modified Bessel function of the second kind $K_{i\nu}(x)$, it is known that it possesses a countably infinite…
The procedure "Lie group --> Lie algebra" has a generalization "simplicial manifold --> L_infinity algebra", or yet better, "presheaf on the category of surjective submersions --> L_infinity algebra". We describe this generalization,…
We discuss the inequalities for $q$-integrals because of the fact that the inequalities can be very useful in the future mathematical research. Since $q$-integral of a function over an interval $[a,b]$ is defined by the difference of two…
For finite-dimensional linear semigroups which leave a proper cone invariant it is shown that irreducibility with respect to the cone implies the existence of an extremal norm. In case the cone is simplicial a similar statement applies to…
Following a recent proposal for integrable theories in higher dimensions based on zero curvature, new Lorentz invariant submodels of the principal chiral model in 2+1 dimensions are found. They have infinite local conserved currents, which…
A refinement of the classic equivalence relation among Cauchy sequences yields a useful infinitesimal-enriched number system. Such an approach can be seen as formalizing Cauchy's sentiment that a null sequence "becomes" an infinitesimal. We…
We describe a non-extensional variant of Martin-L\"of type theory which we call two-dimensional type theory, and equip it with a sound and complete semantics valued in 2-categories.
The bases of the theory of integrals for multidimensional differential systems are stated. The integral equivalence of total differential systems, linear homogeneous systems of partial differential equations, and Pfaff systems of equations…
Liouvillian systems were initially introduced within the framework of differential algebra. They can be seen as a natural extension of differential flat systems. Many physical non flat systems seem to be Liouvillian. We present in this…
Given two infinite sequences with known binomial transforms, we compute the binomial transform of the product sequence. Various identities are obtained and numerous examples are given involving sequences of special numbers: Harmonic…
The calculus of finite differences is a solid foundation for the development of operations such as the derivative and the integral for infinite sequences. Here we showed a way to extend it for finite sequences. We could then define…
Second order approximate ancillaries have evolved as the primary ingredient for recent likelihood development in statistical inference. This uses quantile functions rather than the equivalent distribution functions, and the intrinsic…
As far as algebraic properties are concerned, the usual addition on the class of ordinal numbers is not really well behaved; for example, it is not commutative, nor left cancellative etc. In a few cases, the natural Hessemberg sum is a…
This paper is divided into two parts. The first is a review, through categorical lenses, of the classical theory of regular-singular differential systems over $C((x))$ and $\mathbb P^1_C\smallsetminus\{0,\infty\}$, where $C$ is…
We develop new aspects of the the of numerosity theory; more exactly, we emphasize its relation with the ordinal numbers, cardinal numbers, hyperreal numbers and surreal numbers. In particular, we combine the notion of numerosity with the…
These lecture notes highlight the mathematical and computational structure relating to the formulation of, and development of algorithms for, the Bayesian approach to inverse problems in differential equations. This approach is fundamental…
We give a number of theoretical and practical methods related to the computation of L-functions, both in the local case (counting points on varieties over finite fields, involving in particular a detailed study of Gauss and Jacobi sums),…