Related papers: Nelson's Logical Diagrams
The early Renaissance artist Albrecht Durer published a book on geometry a few years before he died. This was intended to be a guide for young craftsmen and artists giving them both practical and mathematical tools for their trade. In the…
For a complex polynomial $D(t)$ of even degree, one may define the continued fraction of $\sqrt{D(t)}$. This was found relevant already by Abel in 1826, and later by Chebyshev, concerning integration of (hyperelliptic) differentials; they…
After different variables and functions changes, the generalized dispersal problem, recalled in (1) below and considered in part I, see Labbas, Maingot and Thorel [14], leads us to consider, to study and to invert the sum of linear…
To provide generalized solutions if a given problem admits no actual solution is an important task in mathematics and the natural sciences. It has a rich history dating back to the early 19th century when Carl Friedrich Gauss developed the…
The theory of relative logarithmic jet spaces is developed for log schemes. With this theory the existence of bounds of intersection multiplicities of curves and divisors on certain log schemes is established. This result extends those of…
A proof of Lagrange's and Jacobi's four-square theorem due to Hurwitz utilizes orders in a quaternion algebra over the rationals. Seeking a generalization of this technique to orders over number fields, we identify two key components: an…
Satisfiability solving has been used to tackle a range of long-standing open math problems in recent years. We add another success by solving a geometry problem that originated a century ago. In the 1930s, Esther Klein's exploration of…
The concept of a tolerance relation, shortly called tolerance, was studied on various algebras since the seventieth of the twentieth century by B. Zelinka and the first author. Since tolerances need not be transitive, their blocks may…
We generalize Demailly's construction of projective jet bundles and strictly negatively curved pseudometrics on them to the logarithmic case. We establish this logarithmic generalization explicitly via coordinates, just as Noguchi's…
K. G\"odel [G1] discovered his celebrated solution to Einstein equations in 1949. Additional contributions were made by Kundt [K] and Hawking-Ellis ([H-E],5.7). On the other hand, a general Lorentz invariant operator, associated to the…
Hourglass is an equal-area pseudocylindrical map projection developed by John P. Snyder in mid 1940s. It was never published in a detailed way by its author, and only a couple of references exist in literature since 1991, both of them…
Bethe Ansatz was discoverd in 1932. Half a century later its algebraic structure was unearthed: Yang-Baxter equation was discovered, as well as its multidimensional generalizations [tetrahedron equation and $d$-simplex equations]. Here we…
Terwilliger algebras are finite-dimensional semisimple algebras that were first introduced by Paul Terwilliger in 1992 in studies of association schemes and distance-regular graphs. The Terwilliger algebras of the conjugacy class…
Groupoids are mathematical structures able to describe symmetry properties more general than those described by groups. They were introduced (and named) by H. Brandt in 1926. Around 1950, Charles Ehresmann used groupoids with additional…
This article focuses on a combinatorial structure specific to triangulated plane graphs with quadrangular outer face and no separating triangle, which are called irreducible triangulations. The structure has been introduced by Xin He under…
Kippenhahn discovered a real algebraic plane curve whose convex hull is the numerical range of a matrix. The correctness of this theorem was called into question when Chien and Nakazato found an example where the spatial analogue fails.…
The subalgebra of diagonal elements of a quantum matrix group has been conjectured by Daniel Krob and Jean-Yves Thibon to be isomorphic to a cubic algebra, coined the quantum pseudo-plactic algebra. We present a functorial approach to the…
We discuss supergraphs and their relation to "chiral functions" in N=4 Super Yang-Mills. Based on the magnon dispersion relation and an explicit three-loop result of Sieg's we make an all loop conjecture for the rational contributions of…
Orthogonality of the Jacobi and of Laguerre polynomials, P_n^(a,b) and L_n^(a), is established for a,b complex (a,b not negative integers and a+b different from -2,-3,...) using the Hadamard finite part of the integral which gives their…
Infinitesimals are natural products of the human imagination. Their history goes back to the Greek antiquity. Their role in the calculus and analysis has seen dramatic ups and downs. They have stimulated strong opinions and even vitriol.…