Related papers: Nelson's Logical Diagrams
Using increasing sequences of real numbers, we generalize the idea of formal moment differentiation first introduced by W. Balser and M. Yoshino. Slight departure from the concept of Gevrey sequences enables us to include a wide variety of…
Eisermann and Lamm introduced a notion of symmetric equivalence among symmetric union diagrams and studied it using a refined form of the Jones polynomial. We introduced invariants of symmetric equivalence via refined versions of…
The goal of this paper is to give a purely geometric proof of a theorem by Branko Gr\"unbaum concerning configuration of triangles coming from the classical Napoleon's theorem in planar Euclidean geometry.
The aim of this paper is to generalize the link between Heyting algebras and Nelson algebras, established independently by Fidel and Vakarelov at the end of the 1970s, in the framework of bounded distributive hemi-implicative lattices. For…
In 1945 Einstein concluded that [1]: 'The present theory of relativity is based on a division of physical reality into a metric field (gravitation) on the one hand, and into an electromagnetic field and matter on the other hand. In reality…
The modern theory of homogeneous structures begins with the work of Roland Fra\"iss\'e. The theory developed in the last seventy years is placed in the border area between combinatorics, model theory, algebra, and analysis. We turn our…
Constants of motion, Lagrangians and Hamiltonians admitted by a family of relevant nonlinear oscillators are derived using a geometric formalism. The theory of the Jacobi last multiplier allows us to find Lagrangian descriptions and…
In a seminal paper Richard Stanley derived Pieri rules for the Jack symmetric function basis. These rules were extended by Macdonald to his now famous symmetric function basis. The original form of these rules had a forbidding complexity…
In this paper, based on isosceles orthogonality, we have found equivalent definitions for four constants: $A_2(X)$ proposed by Baronti in 2000 [J. Math. Anal. Appl. 252(2000), 124-146], $C'_{\mathrm{NJ}}(X)$ introduced by Alonso et al. in…
Geometric algebra was initiated by W.K. Clifford over 130 years ago. It unifies all branches of physics, and has found rich applications in robotics, signal processing, ray tracing, virtual reality, computer vision, vector field processing,…
The characterization of global solutions to the obstacle problems in $\mathbb{R}^N$, or equivalently of null quadrature domains, has been studied over more than 90 years. In this paper we give a conclusive answer to this problem by proving…
For $Y \subset X$ a locally complete intersection of codimension p, Spencer Bloch [2] constructed the semi-regularity map $\pi: H^{1}(\mathcal{N}_{Y/X}) \to H^{p+1}(\Omega_{X/k}^{p-1})$. As an analogue, we construct a map $\tilde{\pi}:…
The algebraic structures known as {\it Leavitt path algebras} were initially developed in 2004 by Ara, Moreno and Pardo, and almost simultaneously (using a different approach) by the author and Aranda Pino. During the intervening decade,…
This year marks the 100th anniversary of Einstein's General Theory of Relativity (1915-2015). The first nontrivial solution of the Einstein field equations was derived by Karl Schwarzschild in 1916. This Note will focus mainly on the…
Felix Klein's so-called Erlangen Program was published in 1872 as professoral dissertation. It proposed a new solution to the problem how to classify and characterize geometries on the basis of projective geometry and group theory. The…
Persson and Strang (2003) evaluated the integral over [-1,1] of a squared odd degree Legendre polynomial divided by x^2 as being equal to 2. We consider a similar integral for orthogonal polynomials with respect to a general even…
We give a damped inexact Newton method for entropy-regularized least-squares on the nonnegative orthant that converges globally at a linear rate with $O(\log\epsilon^{-1})$ iteration complexity, locally at a superlinear-to-quadratic rate,…
The main focus is on the Hamilton-Jacobi techniques in classical general relativity that were pursued by Peter Bergmann and Arthur Komar in the 1960's and 1970's. They placed special emphasis on the ability to construct the factor group of…
A quadrilateral is said to be rational if its four sides, the two diagonals and the area are all expressible by rational numbers. The problem of constructing rational quadrilaterals dates back to the seventh century when Brahmagupta gave an…
A half-square of a bipartite graph $B=(X,Y,E_B)$ has one color class of $B$ as vertex set, say $X$; two vertices are adjacent whenever they have a common neighbor in $Y$. If $G=(V,E_G)$ is the half-square of a planar bipartite graph…