Related papers: Brackets and Projective Geometry in Macaulay2
We study the finite generation of the intersection algebra of two principal ideals I and J in a unique factorization domain R. We provide an algorithm that produces a list of generators of this algebra over R. In the special case that R is…
This article presents some aspects and experience in the use of algebraic manipulation software applied to general relativity. Some years ago certain results were reported using computer algebra platforms, but the growing popularity of…
We take advantage of the principal bundle geometry of the space of connections to obtain general results on the presymplectic structure of two classes of (pure) gauge theories: invariant theories, and non-invariant theories satisfying two…
The $6 = 3\times 2$ huge Lie algebra $\Xi$ of all local and non local differential operators on a circle is applied to the standard Adler-Kostant-Symes (AKS) R-bracket sckeme. It is shown in particular that there exist three additional Lie…
We use Kauffman's bracket polynomial to define a complex-valued invariant of virtual rational tangles that generalizes the well-known fraction invariant for classical rational tangles. We provide a recursive formula for computing the…
Added lemma provided by Michel Brion. Other (minor) changes. Submitted version. Let k be any field, let X' be a projective and geometrically integral k-scheme and let Y' be a finite closed subscheme of X'. If f: Y'-> Y is a schematically…
Recently, shearlet systems were introduced as a means to derive efficient encoding methodologies for anisotropic features in 2-dimensional data with a unified treatment of the continuum and digital setting. However, only very few…
Classical mechanical systems with internal constraints will be examined using the extended symplectic formalism of Faddeev-Jackiw. We will derive the generalized brackets of the theory and the corresponding equations of motion. The…
An overview of some recent results on the geometry of partial differential equations in application to integrable systems is given. Lagrangian and Hamiltonian formalism both in the free case (on the space of infinite jets) and with…
In the first part of the thesis, we study a classical invariant of projective varieties, the secant defectivity. The second part is devoted to modern algebraic geometry, we study the birational geometry of blow-ups of Grassmannians at…
We develop a geometric framework for the numerical integration of mechanical systems evolving on manifolds. After briefly reviewing classical numerical methods and highlighting their limitations and shortcomings in non-flat (non-Euclidean)…
Reformulating computer vision problems over Riemannian manifolds has demonstrated superior performance in various computer vision applications. This is because visual data often forms a special structure lying on a lower dimensional space…
In bracket algebra, the calculation of invariant division and invariant Gr\"{o}bner basis proposed in \cite{li 2014} rely on straightening algorithm. Until now, there are at least three different types of straightening algorithms, among…
Many statistical models are algebraic in that they are defined by polynomial constraints or by parameterizations that are polynomial or rational maps. This opens the door for tools from computational algebraic geometry. These tools can be…
We give a bracket polynomial expression for intermediate terms between discriminant and resultant for pair of binary forms. As an application of the bracket polynomial expression, we give an algebraic proof of the algebraic independence of…
We describe the main functions of the Macaulay2 package Quasidegrees. The purpose of this package is to compute the quasidegree set of a finitely generated A-graded module presented as the cokernel of a monomial matrix. We provide examples…
The concept of Lagrange structure allows one to systematically quantize the Lagrangian and non-Lagrangian dynamics within the path-integral approach. In this paper, I show that any Lagrange structure gives rise to a covariant Poisson…
We describe the mathematical properties of pairwise comparisons matrices with coefficients in an arbitrary group. We provide a vocabulary adapted for the description of main algebraic properties of inconsistency maps, describe an example…
We present two hypermatrix formulations of the Cayley Hamilton theorem. One of the proposed formulation naturally extends to hypermatrices the combinatorial interpretations of the classical Cayley Hamilton theorem. We conclude by discussing…
We create plots of algebraic integers in the complex plane, exploring the effect of sizing the integers according to various arithmetic invariants. We focus on Galois theoretic invariants, in particular creating plots which emphasize…