Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities

  title={Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities},
  author={Fr{\'e}d{\'e}ric Chyzak and Bruno Salvy},
  journal={J. Symb. Comput.},
Many computations involving special functions, combinatorial sequences or theirq-analogues can be performed using linear operators and simple arguments on the dimension of related vector spaces. In this article, we develop a theory of ?-finite sequences and functions which provides a unified framework to express algorithms for computing sums and integrals and for the proof or discovery of multivariate identities. This approach is vindicated by an implementation. 

Elimination theory for differential difference polynomials

It is proved that for certain term orderings, Buchberger's algorithm applied to differential difference systems terminates and produces a Gröbner basis, therefore, differential-difference algebras provide a new instance of non-commutative graded rings which are effective GröBner structures.

On Preimages of Ideals in Certain Non–commutative Algebras

New algorithms for non–commutative Grobner ready algebras, which enable one to perform advanced operations with ideals and modules are presented and their implementation in computer algebra system Singular is presented.

Hyperexponential Solutions of Finite-rank Ideals in Orthogonal Ore Algebras ( the General Case )

An orthogonal Ore algebra is an abstraction of common properties of linear partial differential, shift and q-shift operators. Using orthogonal Ore algebras, we present an algorithm for finding

Analytic combinatorics : functional equations, rational and algebraic functions

This report is part of a series whose aim is to present in a synthetic way the major methods and models in analytic combinatorics. Here, we detail the case of rational and algebraic functions and

Intersection of ideals with non-commutative subalgebras

An algorithm for the computation of the preimage of a left ideal under a morphism of non-commutative GR-algebras is presented, and both its abilities and limitations are shown.

Resultant-based Elimination in Ore Algebra

This work starts with defining the concept of resultant for bivariate Ore polynomials then compute it by the Dieudonné determinant of the polynomial coefficients then applies noncommutative versions of evaluation and interpolation techniques to the computation process to improve the efficiency of the method.

Formal residue and computer-assisted proofs of combinatorial identities

  • Hai-Tao Jin
  • Mathematics
  • 2018
The coefficient of x−1 of a formal Laurent series f(x) is called the formal residue of f(x) . Many combinatorial numbers can be represented by the formal residues of hypergeometric terms. With these

On rings of differential Rota-Baxter operators

Using the language of operated algebras, a class of operator rings and enriched modules induced by a derivation or Rota-Baxter operator is constructed and investigated, led to the integro-differential analogs of the classical Weyl algebra.

On Two-Generated Non-commutative Algebras Subject to the Affine Relation

It is proved, that among algebras over a field K, generated by two variables x and y subject to the single relation yx = qxy + ax + βy + γ for q ∈ K* and α, β, γ ∈K, there are precisely five isomorphism classes.

Computing closed form solutions of integrable connections

Algorithms for computing rational and hyperexponential solutions of linear D-finite partial differential systems written as integrable connections are presented and an arithmetic complexity analysis of the algorithms is provided.



Binomial identities - combinatorial and algorithmic aspects

Differentiably Finite Power Series

Non-Commutative Gröbner Bases in Algebras of Solvable Type

Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory

Problems connected with ideals generated by finite sets F of multivariate polynomials occur, as mathematical subproblems, in various branches of systems theory, see, for example, [5]. The method of

An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities

SummaryIt is shown that every ‘proper-hypergeometric’ multisum/integral identity, orq-identity, with a fixed number of summations and/or integration signs, possesses a short, computer-constructible

Gröbner basis and the problem of contiguous relations

It is a classical problem to find contiguous relations of hypergeometric functions of several variables. Recently Kametaka [11] and Okamoto [15] have developed the theory of hypergeometric solutions

A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities

Abstract Based on Gosper's algorithm for indefinite hypergeometric summation, Zeilberger's algorithm for proving binomial coefficient identities constitutes a recent breakthrough in symbolic

An algorithm of constructing the integral of a module--an infinite dimensional analog of Gröbner basis

A complete algorithm of obtaining M/&M, an answer to the research problem of the paper [AZ], is given by introducing an analog of Grijbner basis of a submodule of a kind of infinite dimensional free module.