Non-commutative Elimination in Ore Algebras Proves Multivariate Identities

Frédéric Chyzak, Bruno Salvy

Type: Article

Publication Date: 1998-08-01

Citations: 248

DOI: https://doi.org/10.1006/jsco.1998.0207

Similar Works

Action	Title	Year	Authors
+	Optimization of basic algorithms in Commutative Algebra (PhD Thesis)	1998	Massimo Caboara
+	Optimization of basic algorithms in Commutative Algebra	1998	Massimo Caboara
+	Analysis and Linear Algebra	2023	Thomas Holey Armin Wiedemann
+	Algorithmic methods in commutative algebra	1996	Michael Kalkbrener
+	Sedenions: algebra and analysis	2000	K. Imaeda Mari Imaeda
+	Basic Properties of Non-Commutative Functions	2020	Jim Agler John E. McCarthy N. J. Young
+	Innovative approaches to algebra : Theory and applications across mathematical disciplines	2024	Anu Kathuria
+	Book Reviews: A Survey of Modern Algebra	1954	Lucas Graves
+	Elementary Operators and Applications	1992
+	Algebra	2009	Bruce Mills
+	Algebra	2003	A. P. Roberts
+	Algebra	2012	Bruce F. Torrence Eve A. Torrence
+	Algebra	2021	Thomas A. Garrity
+	Lecture notes on linear algebra	2003	Wai Chee Shiu Chuan I Chu
+	Algebra	2009	NULL AUTHOR_ID
+	Algebra	2013	Siegfried Bosch
+	Elementary Linear Algebra, With Applications, Concepts, and Computations	1981	Marc W. Konvisser
+	Erratum to: A Concise Introduction to Linear Algebra	2018	Géza Schay
+	Computational Linear and Commutative Algebra	2016	Martin Kreuzer Lorenzo Robbiano
+	Algebra	2002	Serge Lang

Action	Title	Year	Authors
+ PDF Chat	Pseudo-factorials, elliptic functions, and continued fractions	2009	Roland Bacher Philippe Flajolet
+ PDF Chat	Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras	2020	Thomas Cluzeau Christoph Koutschan Alban Quadrat Maris Tõnso
+ PDF Chat	Advanced determinant calculus: A complement	2005	C. Krattenthaler
+ PDF Chat	Proof of Ira Gessel's lattice path conjecture	2009	Manuel Kauers Christoph Koutschan Doron Zeilberger
+	Non-Commutative Grobner Bases in Poincare-Birkhoff-Witt Extensions	2002	Mark Giesbrecht G reg Reid Yang Zang
+ PDF Chat	Analytic combinatorics in several variables	2014	Robin Pemantle Mark C. Wilson
+ PDF Chat	Contraction of Ore Ideals with Applications	2016	Yi Zhang
+	Using morphism computations for factoring and decomposing linear functional systems	2006	Thomas Cluzeau Alban Quadrat
+	Asymptotics of Multivariate Sequences, part I. Smooth points of the singular variety	2000	Robin Pemantle Mark C. Wilson
+	Refined Holonomic Summation Algorithms in Particle Physics	2017	J. Blümlein M. Round Carsten Schneider

Action	Title	Year	Authors
+	Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type	1994	Peter Paule
+	Some Algorithmic Questions of Constructing Standard Bases	1985	André Galligo
+ PDF Chat	Rational function certification of multisum/integral/“𝑞” identities	1992	Herbert S. Wilf Doron Zeilberger
+	Gröbner basis and the problem of contiguous relations	1989	Nobuki Takayama
+	A WZ-style proof of Jacobi polynomials' generating function	1992	Sheldon Parnes Shalosh B. Ekhad
+ PDF Chat	GFUN	1994	Bruno Salvy Paul Zimmermann
+	A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities	1995	Peter Paule Markus Schorn
+	Binomial identities — combinatorial and algorithmic aspects	1994	Volker Strehl
+	An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities	1992	Herbert S. Wilf Doron Zeilberger
+	Differentiably Finite Power Series	1980	Richard P. Stanley