Ore polynomial rings in one variable in computer algebra.

DOI10.1007/s10958-005-0449-8zbMath1127.16302OpenAlexW2120802615MaRDI QIDQ2462024

Yanyan Li

Publication date: 23 November 2007

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-005-0449-8

zbMATH Keywords

algorithmscomputer algebra systemsdifferential operatorsMapleOre ringsOre polynomial rings

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Ordinary and skew polynomial rings and semigroup rings (16S36) Computational aspects of associative rings (general theory) (16Z05)

Related Items

Linear complete differential resultants and the implicitization of linear DPPEs ⋮ Constructing minimal telescopers for rational functions in three discrete variables ⋮ Stability Problems on D-finite Functions ⋮ Desingularization of Ore operators ⋮ Unnamed Item ⋮ On the existence of telescopers for rational functions in three variables ⋮ Global linearization approach to nonlinear control systems: a brief tutorial overview ⋮ A transfer function approach to the realisation problem of nonlinear systems ⋮ Computing approximate greatest common right divisors of differential polynomials ⋮ Skew Reed-Muller codes

Uses Software

• Maple
• OreTools

Cites Work

• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Non-commutative elimination in Ore algebras proves multivariate identities
• An introduction to pseudo-linear algebra
• A direct algorithm to construct the minimal \(Z\)-pairs for rational functions.
• FFT-like multiplication of linear differential operators
• Theory of non-commutative polynomials
• Telescoping in the context of symbolic summation in Maple
• Decision procedure for indefinite hypergeometric summation
• Formale Theorie der linearen Differentialgleichungen. (Zweiter Teil).
• Formale Theorie der linearen Differentialgleichungen. (Erster Teil).
• Integration of solutions of linear functional equations
• Rational solutions of linear differential and difference equations with polynomial coefficients
• A Maple package for the symbolic construction of power series solutions of linear ordinary differential equations
• An algorithm for searching the greatest common divisor for Ore polynomials with polynomial coefficients depending on a parameter
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item