Related papers: An Elementary but Logical Approach to Integration
Logical relations (LR) have been around for many years, and today they are used in many formal results. However, it can be difficult to LR beginners to find a good place to start to learn. Papers often use highly specialized LRs that use…
A new approach to compute Feynman Integrals is presented. It relies on an integral representation of a given Feynman Integral in terms of simpler ones. Using this approach, we present, for the first time, results for a certain family of…
We present numerical techniques based on generalized functions adapted to nonlinear calculations. They concern main numerical engineering problems ruled by-or issued from-nonlinear equations of continuum mechanics. The aim of this text is…
We extend the notion of regularized integrals introduced by Li-Zhou that aims to assign finite values to divergent integrals on configuration spaces of Riemann surfaces. We then give cohomological formulations for the extended notion using…
The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus from these logics, however, is problematic. In this paper we…
This work proposes a methodology to develop new numerical integration algorithms for ordinary differential equations based on state quantization, generalizing the notions of Linearly Implicit Quantized State Systems (LIQSS) methods. Using…
This is a brief introduction to the world of Noncommutative Algebra aimed at advanced undergraduate and beginning graduate students.
We use Taylor's formula with Lagrange remainder to make a modern adaptation of Poisson's proof of a version of the fundamental theorem of calculus in the case when the integral is defined by Euler sums, that is Riemann sums with left (or…
Linear algebraic primitives are at the core of many modern algorithms in engineering, science, and machine learning. Hence, accelerating these primitives with novel computing hardware would have tremendous economic impact. Quantum computing…
We define a notion which contains numerous basic notions of Analysis as special cases, for example limit, continuity, differential, Riemann and Lebesgue integral, root and exponential functions. Properties like additivity or linearity of…
A new method for finding first integrals of discrete equations is presented. It can be used for discrete equations which do not possess a variational (Lagrangian or Hamiltonian) formulation. The method is based on a newly established…
In the standard work of Bierens de Haan about integrals we look at table 129. This table lists a number of integrals of a certain kind. In this paper the table is expanded with a number of similar integrals. These are determined by a number…
General fractional calculus offers an elegant and self-consistent path toward the generalization of fractional calculus to an enhanced class of kernels. Prabhakar's theory can be thought of, to some extent, as an explicit realization of…
Repeated integration is a major topic of integral calculus. In this article, we study repeated integration. In particular, we study repeated integrals and recurrent integrals. For each of these integrals, we develop reduction formulae for…
L. Weinstein's brilliant short proof of de Branges's Theorem is made even shorter by using computer algebra.
The usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary…
We present a subgradient method for minimizing non-smooth, non-Lipschitz convex optimization problems. The only structure assumed is that a strictly feasible point is known. We extend the work of Renegar [5] by taking a different…
We generalize some classical results for the Schlesinger system of partial differential equations and give the explicit form of its solution, associated with rational matrix functions in general position.
We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design,…
The paragrassmann calculus proposed earlier is applied to constructing paraconformal transformations and paragrassmann generalizations of the Virasoro-Neveu-Schwarz-Ramond algebras.