Related papers: A Lost Theorem: Definite Integrals in Asymptotic S…
For a large integer $m,$ we obtain an asymptotic formula for the number of solutions of a certain congruence modulo $m$ with four variables, where the variables belong to special sets of residue classes modulo $m.$ This formula are applied…
Constructing tests or confidence regions that control over the error rates in the long-run is probably one of the most important problem in statistics. Yet, the theoretical justification for most methods in statistics is asymptotic. The…
I explain a direct approach to differentiation and integration. Instead of relying on the general notions of real numbers, limits and continuity, we treat functions as the primary objects of our theory, and view differentiation as division…
We propose a novel foundation for calculus that focuses on the notion of approximations while avoiding the use of limits altogether. Continuity is defined as approximation at a point, while differentiability is defined as approximation with…
This is an introduction to the set-theoretic method of forcing, including its application in proving the independence of the Continuum Hypothesis from the Zermelo-Fraenkel axioms of set theory. I presuppose no particular mathematical…
Program synthesis is the task of automatically deriving a program that has been specified by a user in advance. Combining automated theorem proving with program synthesis enables the automated construction of proven-to-be-correct programs,…
The so-called Riemann sums have their origin in the efforts of Greek mathematicians to find the center of gravity or the volume of a solid body. These researches led to the method of exhaustion, discovered by Archimedes and described using…
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…
This paper begins with a re-examination of the Riemann-Siegel Integral, which first discovered amongst by Bessel-Hagen in 1926 and expanded upon by C. L. Siegel on his 1932 account of Riemanns unpublished work on the zeta function. By…
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn…
We address generating theorems from a given set of axioms, without proof goal, aiming at value from a mathematical point of view or as lemmas for automated proving. As benchmark, we convert a fragment of the Metamath database set.mm. Our…
The aim of these notes is to provide a reasonably short and "hands-on" introduction to the differential calculus on associative algebras over a field of characteristic zero. Following a suggestion of Ginzburg's we call the resulting theory…
In symbolic integration, the Risch--Norman algorithm aims to find closed forms of elementary integrals over differential fields by an ansatz for the integral, which usually is based on heuristic degree bounds. Norman presented an approach…
This text is a presentation (without proofs) of some of my recent results on the singular terms of asymptotic expansions of period-integrals using (a,b)-modules. I try to explain why this simple algebraic structure is interesting and…
A solution to the problem of unifying the General Relativistic and Quantum Theoretical formalisms is given which introduces a new non-axiomatic symbolic method and an algebraic generalization of the Calculus to non-finite symbolisms without…
A Master equation has been previously obtained which allows the analytic integration of a fairly large family of functions provided that they possess simple properties. Here, the properties of this Master equation are explored, by extending…
We propose a strategy to study the analytic structure of Feynman parameter integrals where singularities of the integrand consist of rational irreducible components. At the core of this strategy is the identification of a selected stratum…
This paper establishes grounds for deeper exploration into the question of dual nature of mathematics as an abstract discipline and as a concrete science. It is argued, as one of the consequences of the discussion, that the division into…
We give an overview of basic methods that can be used for obtaining asymptotic expansions of integrals: Watson's lemma, Laplace's method, the saddle point method, and the method of stationary phase. Certain developments in the field of…
We present here a large collection of harmonic and quadratic harmonic sums, that can be useful in applied questions, e.g., probabilistic ones. We find closed-form formulae, that we were not able to locate in the literature.