Related papers: A Lost Theorem: Definite Integrals in Asymptotic S…
The theory of abstract convexity, also known as convexity without linearity, is an extension of the classical convex analysis. There are a number of remarkable results, mostly concerning duality, and some numerical methods, however, this…
This paper offers what seems at first to be a minor technical correction to the current practice of computing indefinite integrals, and introduces the idea of a "Kahanian constant of integration". However, the total impact of this minor…
We introduce a concept of asymptotic principal values which enables us to handle rigorously singular integrals of higher-order poles encountered in the computation of various quantities based on correlation functions of a vacuum. Several…
A fundamental question in computer science is: Is it harder to solve $n$ instances independently than to solve them simultaneously? This question, known as the direct sum question or direct sum theorem, has been paid much attention in…
We describe a numerical algorithm for evaluating the numbers of roots minus the number of poles contained in a region based on the argument principle with the function of interest being written as a Mellin transformation of a usually…
We discuss some problems with the indefinite integral notation and the way of teaching of integrals in Calculus. Based on the discussion, and in order to avoid mistakes, we propose another notation for indefinite integrals.
Despite recent advances in automating theorem proving in full first-order theories, inductive reasoning still poses a serious challenge to state-of-the-art theorem provers. The reason for that is that in first-order logic induction requires…
We provide an algorithm for computing the number of integral points lying in certain triangles that do not have integral vertices. We use techniques from Algebraic Geometry such as the Riemann-Roch formula for weighted projective planes and…
By giving the definition of the sum of a series indexed by a set on which a group acts, we prove that the sum of the series that defines the Riemann zeta function, the Epstein zeta function, and a few other series indexed by $\Z^k$ has an…
The goal of this paper is twofold. First, we present a unified way of formulating numerical integration problems from both approximation theory and discrepancy theory. Second, we show how techniques, developed in approximation theory, work…
In the theory of complex valued functions of a complex variable arguably the first striking theorem is that pointwise differentiability implies $C^{\infty}$ regularity. As mentioned in Ahlfors's standard textbook there have been a number of…
Axiomatic set theory is almost universally accepted as the basic theory which provides the foundations of mathematics, and in which the whole of present day mathematics can be developed. As such, it is the most natural framework for…
The need to describe abrupt changes or response of nonlinear systems to impulsive stimuli is ubiquitous in applications. Also the informal use of infinitesimal and infinite quantities is still a method used to construct idealized but…
We apply the algebraic theory of infinite classical lattices from Part I to write an axiomatic theory of measurements, based on Mackey's axioms for quantum mechanics. The axioms give a complete theory of measurements in the sense of Haag…
This paper establishes calculus upon two physical facts: (1) any average velocity is always between two instantaneous velocities, and (2) the motion of an object is determined once its velocity has been determined. It directly defines…
We introduce a symbolic method for the evaluation of definite integrals containing combinations of various functions, including exponentials, logarithm and products of Bessel functions of different types. The method we develop is naturally…
The goal of this Section is to formulate some of the basic results on the theory of integral equations and mention some of its applications. The literature of this subject is very large. Proofs are not given due to the space restriction.…
By combining classical techniques together with two novel asymptotic identities contained in [FL], we analyse certain single sums of Riemann-zeta type. In addition, we analyse Euler-Zagier double exponential sums for particular values of…
Approximation in measure is employed to solve an asymptotic Dirichlet problem on arbitrary open sets and to show that many functions, including the Riemann zeta-function, are universal in measure. Connections with the Riemann Hypothesis are…
The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here on the case of finite-valued logics, and exhibit: (i) a…