Related papers: An Elementary but Logical Approach to Integration
Euclidean quantum-gravity path-integrals are investigated within Regge calculus by computer simulations. The domain of integration is restricted by introducing a lower limit for the fatness of each simplex. We use the standard hypercubic…
We propose an implementation of lambda+, a recently introduced simply typed lambda-calculus with pairs where isomorphic types are made equal. The rewrite system of lambda+ is a rewrite system modulo an equivalence relation, which makes its…
The fundamental problem of calculus of variations is considered when solutions are differentiable curves on locally convex spaces. Such problems admit an extension of the Euler-Lagrange equations [Orlov 2002] for continuously normally…
I describe some deep-seated problems in higher mathematical education, and give some ideas for their solution -- I advocate a move away from the traditional introduction of mathematics through calculus, and towards computation and discrete…
This paper does not contain any new results, it is just an attempt to present, in a systematic way, one construction which establishes an interesting relationship between some ideas and notions well-known in the theory of integrable systems…
Path integrals are a ubiquitous tool in theoretical physics. However, their use is sometimes hindered by the lack of control on various manipulations -- such as performing a change of the integration path -- one would like to carry out in…
The theory of Banach spaces of Dirichlet series has drawn an increasing attention in the recent 25 years. One of the main interest of this new theory is that of defining analogues of the classical spaces of analytic functions on the unit…
To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on procedural questions. This would enable an account of…
We present a generalization of Hilfer derivatives in which Riemann--Liouville integrals are replaced by more general Prabhakar integrals. We analyze and discuss its properties. Further, we show some applications of these generalized…
We generalize in this short paper the classical Luzin's theorem about existence of integral on the measurable function and its multidimensional analogues on the many popular classes of rearrangement invariant (r.i.) spaces, namely, on the…
This paper proposes an alternative to standard first-order logic that seeks greater naturalness, generality, and semantic self-containment. The system removes the first-order restriction, avoids type hierarchies, and dispenses with external…
We present a simple proof of some interpolation inequalities between H\"{o}lder and Lebesgue's spaces. As an example, to demonstrate the simplicity of their applications to nonlinear PDE, we give also a simple proof of an a-priory estimate…
We extend the {\lambda}-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of expressions. In order to be able to unify…
After introducing Berezin integral for polynomials of odd variables, we develop the elementary integral calculus based on supersmooth functions on the superspace ${\mathfrak{R}}^{m|n}$. Here, ${\mathfrak{R}}$ is the Fr\'echet-Grassmann…
We present libami, a lightweight implementation of algorithmic Matsubara integration (AMI) written in C++. AMI is a tool for analytically resolving the sequence of nested Matsubara integrals that arise in virtually all Feynman perturbative…
The primary aim of this chapter is, commemorating the 150th anniversary of Riemann's death, to explain how the idea of {\it Riemann sum} is linked to other branches of mathematics. The materials I treat are more or less classical and…
This paper gives an overview of some basic properties of Leibniz algebras. Some of the results were known earlier, but in the article they are accompanied by new simple proofs. Some of the results are new. The article can be viewed as a…
We describe an algorithm for arbitrary-precision computation of the elementary functions (exp, log, sin, atan, etc.) which, after a cheap precomputation, gives roughly a factor-two speedup over previous state-of-the-art algorithms at…
We obtain a new decomposition of the Riemann-Liouville operators of fractional integration as a series involving derivatives (of integer order). The new formulas are valid for functions of class $C^n$, $n \in \mathbb{N}$, and allow us to…
Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reasoning about regularly structured programs. Interest in KATs has increased greatly since NetKAT demonstrated how well extensions of KATs with…