Ore polynomial rings in one variable in computer algebra.
From MaRDI portal
Recommendations
Cites work
- A direct algorithm to construct the minimal \(Z\)-pairs for rational functions.
- 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
- An introduction to pseudo-linear algebra
- Decision procedure for indefinite hypergeometric summation
- FFT-like multiplication of linear differential operators
- Formale Theorie der linearen Differentialgleichungen. (Erster Teil).
- Formale Theorie der linearen Differentialgleichungen. (Zweiter Teil).
- scientific article; zbMATH DE number 1253996 (Why is no real title available?)
- scientific article; zbMATH DE number 1253997 (Why is no real title available?)
- scientific article; zbMATH DE number 1254298 (Why is no real title available?)
- scientific article; zbMATH DE number 1262439 (Why is no real title available?)
- scientific article; zbMATH DE number 2151191 (Why is no real title available?)
- scientific article; zbMATH DE number 798609 (Why is no real title available?)
- scientific article; zbMATH DE number 3367062 (Why is no real title available?)
- scientific article; zbMATH DE number 3021687 (Why is no real title available?)
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Integration of solutions of linear functional equations
- Non-commutative elimination in Ore algebras proves multivariate identities
- Rational solutions of linear differential and difference equations with polynomial coefficients
- Telescoping in the context of symbolic summation in Maple
- Theory of non-commutative polynomials
Cited in
(20)- Computing the bound of an Ore polynomial. Applications to factorization
- On Ore rings, linear operators and factorization
- Constructing minimal telescopers for rational functions in three discrete variables
- On the existence of telescopers for rational functions in three variables
- Computing approximate greatest common right divisors of differential polynomials
- Ore polynomial rings and linear systems reducing
- Ore polynomials in Sage
- scientific article; zbMATH DE number 5841486 (Why is no real title available?)
- Global linearization approach to nonlinear control systems: a brief tutorial overview
- Hyperexponential solutions of finite-rank ideals in orthogonal ore rings
- scientific article; zbMATH DE number 2151191 (Why is no real title available?)
- Skew Reed-Muller codes
- A transfer function approach to the realisation problem of nonlinear systems
- Stability Problems on D-finite Functions
- Efficient Quotients of Non-commutative Polynomials
- Separability problems in creative telescoping
- An algorithm for computing greatest common right divisors of parametric Ore polynomials
- Symbolic summation of multivariate rational functions
- Linear complete differential resultants and the implicitization of linear DPPEs
- Desingularization of Ore operators
This page was built for publication: Ore polynomial rings in one variable in computer algebra.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2462024)