Related papers: The half-form $\sqrt{dx}$
The aim of this short paper is to give a practical introduction to functional interpretation of proofs for computer scientists interested in synthesis.
This work is an analytical and numerical study of the composition of several fractals into one and of the relation between the composite dimension and the dimensions of the component fractals. In the case of composition of standard IFS with…
The squircle is an intermediate shape between the square and the circle. In this paper, we examine and discuss equations for different types of squircles. We then build upon these 2D shapes to come-up with various 3D surfaces based on…
We construct the quasi-classical approximation of the form factors in finite volume using the separation of variables. The latter is closely related to the Baxter equation.
We give an $L_\infty$-interpretation of the classification, obtained in [AP2], of the formal deformations of a family of exact Poisson structures in dimension three. We indeed obtain again the explicit formulas for all the formal…
This paper gives a short survey of some basic results related to estimates of fractional integrals and Fourier transforms. It is closely adjoint to our previous survey papers \cite{K1998} and \cite{K2007}. The main methods used in the paper…
We model the process of human full interpretation of object images, namely the ability to identify and localize all semantic features and parts that are recognized by human observers. The task is approached by dividing the interpretation of…
Let $P=\mathbb P^m(e)\times\mathbb P^n(h)$ be a product of weighted projective spaces, and let $\Delta_P$ be the diagonal of $P\times P$. We prove an algebraization result for formal-rational functions on certain closed subvarieties $X$ of…
The split string formalism offers a simple template upon which we can build many generalizations of Schnabl's analytic solution of open string field theory. In this paper we consider two such generalizations: one which replaces the wedge…
We study some properties of quadratic forms with values in a field whose underlying vector spaces are endowed with the structure of right vector spaces over a division ring extension of that field. Some generalized notions of isotropy,…
By using the algebra of exterior forms and the first order formalism with constraints, an alternative derivation of the field equations for the Minimal massive 3D gravity model is presented.
In this short note we perform covariant Hamiltonian analysis of F(R)-gravity.
We contemplate the notion of ambiguity in mathematical discourse. We consider a general method of resolving ambiguity and semantic options for sustaining a resolution. The general discussion is applied to the case of `fraction' which is…
We introduce a logical framework for reasoning about "uncertain interpretations" and investigate two key applications: a new semantics for implication capturing a kind of "meaning entailment", and a conservative notion of "evidentially…
The purpose of the article is to estimate the mean square of a squareroot length exponential sum of Fourier coefficients of a holomorphic cusp form.
This paper aims to show that a simple framework, utilizing basic formalisms from set theory and category theory, can clarify and inform our theories of the relation between mind and matter.
This note presents an application of the quasi-conform transformation in surveying.
The paper presents derivation and interpretation of one type of variable order derivative definitions. For mathematical modelling of considering definition the switching and numerical scheme is given. The paper also introduces a numerical…
In this article we establish some formalism of Derived Witt-D\'evissage theory for resolving subcategories of abelian categories. Results directly apply to noetherian schemes.
As deep neural models in NLP become more complex, and as a consequence opaque, the necessity to interpret them becomes greater. A burgeoning interest has emerged in rationalizing explanations to provide short and coherent justifications for…