Related papers: Constructive Reverse Mathematics
A Compact Introduction to Fractional Calculus is presented including basic definitions, fractional differential equations and special functions.
In this expository article we introduce a diagrammatic scheme to represent reverse classes of weights and some of their properties.
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational…
This is a survey of old and new problems and results in additive number theory.
We introduce the notion of a combinatorial inverse system in non-commutative variables. We present two important examples, some conjectures and results. These conjectures and results were suggested and supported by computer investigations.
We develop the theory of versal deformations of dialgebras and describe a method for constructing a miniversal deformation of a dialgebra.
These lecture notes evolve around mathematical concepts arising in inverse problems. We start by introducing inverse problems through examples such as differentiation, deconvolution, computed tomography and phase retrieval. This then leads…
In this note, we give an exposition of the construction of Seiberg-Witten invariants.
Some properties of the inverse of the Normal distribution are studied. Its derivatives, integrals and asymptotic behavior are presented.
Subaddivity type matrix inequalities for concave funcions and symetric norms are given.
An approach to constructing an upper bound for the Riemann-Farey sum is described.
The field of structural engineering is vast, spanning areas from the design of new infrastructure to the assessment of existing infrastructure. From the onset, traditional entry-level university courses teach students to analyse structural…
In this paper an iterated function system on the space of distribution functions is built. The inverse problem is introduced and studied by convex optimization problems. Some applications of this method to approximation of distribution…
A new construction of naturally reductive spaces is presented. This construction gives a large amount of new families of naturally reductive spaces. First the infinitesimal models of the new naturally reductive spaces are constructed. A…
We give a formula for the inverse matrix to an infinite matrix with possibly noncommutative entries, generalizing the Newton interpolation formula and the Taylor formula.
Proof systems for the Relativized Propositional Calculus are defined and compared.
We extend a study by Lempp and Hirst of infinite versions of some problems from finite complexity theory, using an intuitionistic version of reverse mathematics and techniques of Weihrauch analysis.
An analytical approach to convolution of functions, which appear in perturbative calculations, is discussed. An extended list of integrals is presented.
The Jacobian algebras are introduced and their various properties are studied.
The outline of a programme for restructuring mathematical logic. We explain what we mean by "restructuring" and carry out exemplary parts of the programme.