Related papers: On Gosper-Karaji algebraic Identities
The paper is devoted to graded algebras having a single homogeneous relation. Using Gerasimov's theorem, a criterion to be N-Koszul is given, providing new examples. An alternative proof of Gerasimov's theorem for N=2 is given. Some related…
This paper describes our method of pairing automorphic distributions. This represents a third technique for obtaining the analytic properties of automorphic L-functions, in addition to the existing methods of integral representations…
Parametric search has been widely used in geometric algorithms. Cole's improvement provides a way of saving a logarithmic factor in the running time over what is achievable using the standard method. Unfortunately, this improvement comes at…
We introduce an algorithm to decide isomorphism between tensors. The algorithm uses the Lie algebra of derivations of a tensor to compress the space in which the search takes place to a so-called densor space. To make the method practicable…
Asymmetric unification, or unification with irreducibility constraints, is a newly developed paradigm that arose out of the automated analysis of cryptographic protocols. However, there are still relatively few asymmetric unification…
A new kind of graded Lie algebra (we call it $Z_{2,2}$ graded Lie algebra) is introduced as a framework for formulating parasupersymmetric theories. By choosing suitable bose subspace of the $Z_{2,2}$ graded Lie algebra and using relevant…
We generalize the method of combinatorial telescoping to the case of multiple summations. We shall demonstrate this idea by giving combinatorial proofs for two identities of Andrews on parity indices of partitions.
We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and…
We present a different proof of the following identity due to Munarini, which generalizes a curious binomial identity of Simons. \begin{align*} \sum_{k=0}^{n}\binom{\alpha}{n-k}\binom{\beta+k}{k}x^k…
By direct calculations of matrix form of super Jacobi and mixed super Jacobi identities which are obtained from adjoint representation, and using the automorphism supergroup of the gl(1|1) Lie superalgebra, we determine and classify all…
Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…
In recent years, Karr's difference field theory has been extended to the so-called $R\Pi\Sigma$-extensions in which one can represent not only indefinite nested sums and products that can be expressed by transcendental ring extensions, but…
We present a method to construct explicitly L-infinity algebras governing simultaneous deformations of various kinds of algebraic structures and of their morphisms. It is an alternative to the heavy use of the operad machinery of the…
We develop a finiteness notion for unbounded chain complexes over a commutative noetherian integral domain $R$ employing the Abel summation method. The algebraic K-theory of such complexes is defined, and shown to be non-trivial. We also…
We present an enhanced algorithm for exploring mirror symmetry for elliptic curves through the correspondence of algebraic and tropical geometry, focusing on Gromov-Witten invariants of elliptic curves and, in particular, Hurwitz numbers.…
Using generalized hypergeometric functions to perform symbolic manipulation of equations is of great importance to pure and applied scientists. There are in the literature a great number of identities for the Meijer-G function. On the other…
An algorithm for embedding finite dimensional Lie algebras into Lie algebras of vector fields (and Lie superalgebras into Lie superalgebras of vector fields) is offered in a way applicable over ground fields of any characteristic. The…
The Lie algebra version of the Krull-Schmidt Theorem is formulated and proved. This leads to a method for constructing the automorphisms of a direct sum of Lie algebras from the automorphisms of its indecomposable components. For…
Let A be an algebra whose group of units U(A) satisfies a Laurent polynomial identity (LPI). We establish conditions on these polynomials in such a way that nil-generated algebras and group algebras with torsion groups over infinite fields…
The interplay rich between algebraic geometry and string and gauge theories has recently been immensely aided by advances in computational algebra. However, these symbolic (Gr\"{o}bner) methods are severely limited by algorithmic issues…