Pages that link to "Item:Q1264426"
From MaRDI portal
The following pages link to Non-commutative elimination in Ore algebras proves multivariate identities (Q1264426):
Displaying 50 items.
- A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings. (Q317652) (← links)
- Recent progress in an algebraic analysis approach to linear systems (Q335929) (← links)
- Transforming linear functional systems into fully integrable systems (Q413413) (← links)
- Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases (Q432750) (← links)
- On the computation of \(\pi\)-flat outputs for linear time-varying differential-delay systems (Q460592) (← links)
- On the existence of telescopers for mixed hypergeometric terms (Q480640) (← links)
- A fast approach to creative telescoping (Q541971) (← links)
- Serre's reduction of linear functional systems. (Q541975) (← links)
- Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases (Q633089) (← links)
- The commutation relation \(xy=qyx+hf(y)\) and Newton's binomial formula (Q638606) (← links)
- Exact linear modeling using Ore algebras (Q650834) (← links)
- The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences (Q720596) (← links)
- Letterplace ideals and non-commutative Gröbner bases. (Q840707) (← links)
- A characteristic set method for ordinary difference polynomial systems (Q1006653) (← links)
- A Mathematica package for \(q\)-holonomic sequences and power series (Q1037558) (← links)
- Computer proofs of a new family of harmonic number identities. (Q1415382) (← links)
- Asymptotics of multivariate sequences. I: Smooth points of the singular variety (Q1604575) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Desingularization in the \(q\)-Weyl algebra (Q1745779) (← links)
- Length enumeration of fully commutative elements in finite and affine Coxeter groups (Q1786472) (← links)
- Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity (Q1841819) (← links)
- Factoring systems of linear PDEs with finite-dimensional solution spaces (Q1878482) (← links)
- Apparent singularities of D-finite systems (Q2000276) (← links)
- Buchberger-Zacharias theory of multivariate Ore extensions (Q2013546) (← links)
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions (Q2029003) (← links)
- Why you cannot even hope to use Ore algebras in cryptography (Q2043853) (← links)
- Constructing minimal telescopers for rational functions in three discrete variables (Q2168558) (← links)
- On the existence of telescopers for rational functions in three variables (Q2229731) (← links)
- Structural theorems for symbolic summation (Q2267370) (← links)
- Pseudo-factorials, elliptic functions, and continued fractions (Q2270201) (← links)
- Constructive arithmetics in Ore localizations of domains (Q2284948) (← links)
- Linear differential equations as a data structure (Q2329042) (← links)
- The colored Jones function is \(q\)-holonomic (Q2388869) (← links)
- Some open problems related to creative telescoping (Q2402228) (← links)
- Reduction-based creative telescoping for Fuchsian D-finite functions (Q2409011) (← links)
- Algorithmic operator algebras via normal forms in tensor rings (Q2409019) (← links)
- An algebraic framework generalizing the concept of transfer functions to nonlinear systems (Q2440711) (← links)
- A new symbolic method for solving linear two-point boundary value problems on the level of operators (Q2456540) (← links)
- Elimination and identities with the integral sign (Q2461311) (← links)
- Ore polynomial rings in one variable in computer algebra. (Q2462024) (← links)
- Factoring and decomposing a class of linear functional systems (Q2463621) (← links)
- Computation of bases of free modules over the Weyl algebras. (Q2466875) (← links)
- Summation algorithms for Stirling number identities (Q2469233) (← links)
- A new Sigma approach to multi-summation (Q2483910) (← links)
- Effective algorithms for parametrizing linear control systems over Ore algebras (Q2491981) (← links)
- A telescoping method for double summations (Q2503028) (← links)
- Effective scalar products of D-finite symmetric functions (Q2568968) (← links)
- Advanced determinant calculus: a complement (Q2575011) (← links)
- There is no efficient reverse derivation mode for discrete derivatives (Q2576878) (← links)
- On computing the coefficients of bivariate holonomic formal series (Q2581355) (← links)
