Related papers: Rational trigonometry via projective geometric alg…
The real number system is geometrically extended to include three new anticommuting square roots of plus one, each such root representing the direction of a unit vector along the orthonormal coordinate axes of Euclidean 3-space. The…
We introduce invariant rings for forms (homogeneous polynomials) and for d points on the projective space, from the point of view of representation theory. We discuss several examples, addressing some computational issues. We introduce the…
We propose a new method for constructing rational spatial Pythagorean Hodograph (PH) curves based on determining a suitable rational framing motion. While the spherical component of the framing motion is arbitrary, the translation part is…
New families of algebras and DG algebras with two simple modules are introduced and described. Using the twisted tensor product operation, we prove that such algebras have finite global dimension, and the resulting DG algebras are smooth.…
This paper presents an alternative proof of the Fundamental Theorem of Algebra that has several distinct advantages. The proof is based on simple ideas involving continuity and differentiation. Visual software demonstrations can be used to…
We reformulate superalgebra and supergeometry in completely categorical terms by a consequent use of the functor of points. The increased abstraction of this approach is rewarded by a number of great advantages. First, we show that one can…
In this paper a comprehensive review is given on the current status of achievements in the geometric aspects of the Painlev\'e equations, with a particular emphasis on the discrete Painlev\'e equations. The theory is controlled by the…
Geometric data analysis and learning has emerged as a distinct and rapidly developing research area, increasingly recognized for its effectiveness across diverse applications. At the heart of this field lies curvature, a powerful and…
We introduce positive Gorenstein ideals. These are Gorenstein ideals in the graded ring $\RR[x]$ with socle in degree 2d, which when viewed as a linear functional on $\RR[x]_{2d}$ is nonnegative on squares. Equivalently, positive Gorenstein…
We prove that the set of non-degenerate second order maximally superintegrable systems in the complex Euclidean plane carries a natural structure of a projective variety, equipped with a linear isometry group action. This is done by…
This work develops a numerical solver based on the combination of isogeometric analysis (IGA) and the tensor train (TT) decomposition for the approximation of partial differential equations (PDEs) on parameter-dependent geometries. First,…
Generating high-quality geometry problems is both an important and challenging task in education. Compared to math word problems, geometry problems further emphasize multi-modal formats and the translation between informal and formal…
This article accompanies my June 1998 seminaire Bourbaki talk on Givental's work. After a quick review of descendent integrals in Gromov-Witten theory, I discuss Givental's formalism relating hypergeometric series to solutions of quantum…
In this paper we will do the following: (1) show how to geometrically define multiplication, using only basic plane geometry, independently of area and any notion of similar triangles; (2) prove all the properties of multiplication using…
In category theory, logic and geometry cooperate with each other producing what is known under the name Synthetic Differential Geometry (SDG). The main difference between SDG and standard differential geometry is that the intuitionistic…
It is proved that classifiable simple separable nuclear purely infinite C*-algebras having finitely generated K-theory and torsion-free K_1 are semiprojective. This is accomplished by exhibiting these algebras as C*-algebras of infinite…
An approximate formulation of a robust geometric program (RGP) as a convex program is proposed. Interest in using geometric programs (GPs) to model complex engineering systems has been growing, and this has motivated explicitly modeling the…
We present the Dirac equation in a geometry with torsion and non-metricity balancing generality and simplicity as much as possible. In doing so, we use the vielbein formalism and the Clifford algebra. We also use an index-free formalism…
Conic optimization is the minimization of a differentiable convex objective function subject to conic constraints. We propose a novel primal-dual first-order method for conic optimization, named proportional-integral projected gradient…
We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a…