Related papers: Constructive Reverse Mathematics
The purpose of this note is to compare various approximation methods as applied to the inverse of the Bessel function of the first kind, in a given domain of the complex plane.
We construct the generating function for products of inverse central binomial coefficients with harmonic numbers.
We formulate a relative, representation theoretic, notion of the algebraic cone construction. This motivates a generalization of the cone corresponding to a preprojective algebra.
This list presents problems in the Reverse Mathematics of infinitary Ramsey theory which I find interesting but do not personally have the techniques to solve. The intent is to enlist the help of those working in Reverse Mathematics to take…
We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $\Pi^1_2$…
Short introduction to the gauge/gravity duality
This is a survey article on classical groups (over arbitrary division rings) and their geometries.
In this paper, we provide a local method to find compositional inverses of all PPs, some new PPs and their compositional inverses are given.
A projective rectangle is like a projective plane that has different lengths in two directions. We develop the basic theory of projective rectangles including incidence properties, projective subplanes, configuration counts, a partial…
A working mathematician's summary of many results on the derived category, perverse sheaves, and vanishing cycles. This is the August 2025 version, with a completely revised section on vanishing cycles.
A matrix (and any associated linear system) will be referred to as structured if it has a small displacement rank. It is known that the inverse of a structured matrix is structured, which allows fast inversion (or solution), and reduced…
For the most up-to-date version please visit http://www.cis.upenn.edu/~brautbar/ccgame.pdf
An approach to the foundations of quantum theory is advertised that proceeds by "reverse engineering" quantum field theory. As a concrete instance of this approach, the general boundary formulation of quantum theory is outlined.
In this note we give a precise statement and a detailed proof for reconstruction problem of weak bialgebra maps. As an application we characterize indecomposability of weak algebras in categorical setting.
Rejoinder: Classifier Technology and the Illusion of Progress [math.ST/0606441]
We describe an approximate rational arithmetic with round-off errors (both absolute and relative) controlled by the user. The rounding procedure is based on the continued fraction expansion of real numbers. Results of computer experiments…
The aim of this note is two-fold. In the first part of the paper we are going to investigate an inverse problem related to additive energy. In the second, we investigate how dense a subset of a finite structure can be for a given additive…
Following recent work of R. Cluckers and F. Loeser [Fonctions constructible et integration motivic I, C. R. Math. Acad. Sci. Paris 339 (2004) 411 - 416] on motivic integration, we develop a direct image formalism for positive constructible…
This work introduces a new inversion formula for analytical functions. It is simple, generally applicable and straightforward to use both in hand calculations and for symbolic machine processing. It is easier to apply than the traditional…
In this article, specific definitions of the Moore-Penrose inverse, Drazin inverse of the quaternion tensor and the inverse along two quaternion tensors are introduced under the T-product. Some characterizations, representations and…