Non-commutative elimination in Ore algebras proves multivariate identities
From MaRDI portal
Publication:1264426
DOI10.1006/jsco.1998.0207zbMath0944.05006OpenAlexW1977049875MaRDI QIDQ1264426
Publication date: 24 January 1999
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01069833/file/holonomy.pdf
combinatorial identitiesholonomic systemsOre algebrasfunctions and sequencesspecial function identities
Symbolic computation and algebraic computation (68W30) Combinatorial identities, bijective combinatorics (05A19) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items (70)
Factoring systems of linear PDEs with finite-dimensional solution spaces ⋮ On the set of zero coefficients of a function satisfying a linear differential equation ⋮ Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations ⋮ Letterplace ideals and non-commutative Gröbner bases. ⋮ On the Ore Extension Ring of Differential Time-Varying Delay Operators ⋮ A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings. ⋮ The colored Jones function is \(q\)-holonomic ⋮ Telescoping in the context of symbolic summation in Maple ⋮ Recent progress in an algebraic analysis approach to linear systems ⋮ Constructing minimal telescopers for rational functions in three discrete variables ⋮ Some open problems related to creative telescoping ⋮ Reduction-based creative telescoping for Fuchsian D-finite functions ⋮ Algorithmic operator algebras via normal forms in tensor rings ⋮ Transforming linear functional systems into fully integrable systems ⋮ Differential 2-rigs ⋮ On ranks of matrices over noncommutative domains ⋮ Minimization of differential equations and algebraic values of 𝐸-functions ⋮ Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases ⋮ Projective modules and Gröbner bases for skew PBW extensions ⋮ Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases ⋮ Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras ⋮ Equivalences of Linear Functional Systems ⋮ Integrability of the one dimensional Schrödinger equation ⋮ On rings of differential Rota–Baxter operators ⋮ The commutation relation \(xy=qyx+hf(y)\) and Newton's binomial formula ⋮ Computer proofs of a new family of harmonic number identities. ⋮ An algebraic framework generalizing the concept of transfer functions to nonlinear systems ⋮ Exact linear modeling using Ore algebras ⋮ On the computation of \(\pi\)-flat outputs for linear time-varying differential-delay systems ⋮ Elimination theory in differential and difference algebra ⋮ On the existence of telescopers for mixed hypergeometric terms ⋮ A new symbolic method for solving linear two-point boundary value problems on the level of operators ⋮ On the existence of telescopers for rational functions in three variables ⋮ Elimination and identities with the integral sign ⋮ Ore polynomial rings in one variable in computer algebra. ⋮ Factoring and decomposing a class of linear functional systems ⋮ An elimination lemma for algebras with PBW bases ⋮ Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras ⋮ Computation of bases of free modules over the Weyl algebras. ⋮ Desingularization in the \(q\)-Weyl algebra ⋮ Proof of George Andrews’s and David Robbins’s q -TSPP conjecture ⋮ Summation algorithms for Stirling number identities ⋮ Some Homological Properties of SkewPBWExtensions ⋮ Apparent singularities of D-finite systems ⋮ A new Sigma approach to multi-summation ⋮ A fast approach to creative telescoping ⋮ Serre's reduction of linear functional systems. ⋮ Formal residue and computer-assisted proofs of combinatorial identities ⋮ Buchberger-Zacharias theory of multivariate Ore extensions ⋮ Effective algorithms for parametrizing linear control systems over Ore algebras ⋮ Structural theorems for symbolic summation ⋮ Pseudo-factorials, elliptic functions, and continued fractions ⋮ Integral Representation and Algorithms for Closed Form Summation ⋮ A telescoping method for double summations ⋮ The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences ⋮ On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions ⋮ Length enumeration of fully commutative elements in finite and affine Coxeter groups ⋮ Constructive arithmetics in Ore localizations of domains ⋮ Proof of Ira Gessel's lattice path conjecture ⋮ A characteristic set method for ordinary difference polynomial systems ⋮ Why you cannot even hope to use Ore algebras in cryptography ⋮ A Mathematica package for \(q\)-holonomic sequences and power series ⋮ Creative Telescoping for Holonomic Functions ⋮ Linear differential equations as a data structure ⋮ Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity ⋮ Effective scalar products of D-finite symmetric functions ⋮ Advanced determinant calculus: a complement ⋮ There is no efficient reverse derivation mode for discrete derivatives ⋮ On computing the coefficients of bivariate holonomic formal series ⋮ Asymptotics of multivariate sequences. I: Smooth points of the singular variety
Uses Software
This page was built for publication: Non-commutative elimination in Ore algebras proves multivariate identities
