Cited in
(22)- Effective algorithms for parametrizing linear control systems over Ore algebras
- Computer algebra methods for equivariant dynamical systems
- Advanced determinant calculus
- Holonomic tools for basic hypergeometric functions
- finvar.lib
- Gb
- HYPERG
- Felix
- LINLBF
- BERGMAN
- KSEG
- Symmetry in Chaos
- GBNP
- MAS
- pqTelescope
- Catfact
- moregroebner
- symmetry
- Non-commutative elimination in Ore algebras proves multivariate identities
- Examples and Exercises
- \textsc{Plural}, a non-commutative extension of \textsc{Singular}: past, present and future.
- Gröbner Bases
This page was built for software: Mgfun
