# Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities

@article{Chyzak1998NonCommutativeEI, title={Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities}, author={Fr{\'e}d{\'e}ric Chyzak and Bruno Salvy}, journal={J. Symb. Comput.}, year={1998}, volume={26}, pages={187-227} }

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.

## 251 Citations

### Elimination theory for differential difference polynomials

- MathematicsISSAC '03
- 2003

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

- Mathematics, Computer Science
- 2006

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 )

- Mathematics
- 2004

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

- Mathematics
- 2001

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

- MathematicsISSAC '06
- 2006

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

- MathematicsArXiv
- 2021

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

- MathematicsTURKISH JOURNAL OF 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

- MathematicsInt. J. Algebra Comput.
- 2018

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

- MathematicsCASC
- 2011

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

- Computer Science, MathematicsISSAC
- 2012

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.

## References

SHOWING 1-10 OF 63 REFERENCES

### An Introduction to Commutative and Noncommutative Gröbner Bases

- MathematicsTheor. Comput. Sci.
- 1994

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

- Mathematics
- 1995

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

- Mathematics
- 1992

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

- Mathematics
- 1989

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

- MathematicsJ. Symb. Comput.
- 1995

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

- MathematicsISSAC '90
- 1990

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.