Title | Towards an Effective Version of a Theorem of Stafford |
Author(s) | Andre Hillebrand, Wiland Schmale |
Type | Article in Journal |
Abstract | A classical theorem of Stafford says: every left ideal of partial differential operators with rational or even polynomial coefficients in n variables can be generated by two elements. The highly involved proof of this theorem is reorganized and completed for rational coefficients in order to yield a procedure which guarantees the computability in finitely many steps. Consequences for an eventual normal form for matrices of such operators are discussed. |
Length | 18 |
Copyright | Academic Press |
File |
|
URL |
dx.doi.org/10.1006/jsco.2001.0491 |
Language | English |
Journal | Journal of Symbolic Computation |
Volume | 32 |
Number | 6 |
Pages | 699-716 |
Year | 2001 |
Month | December |
Translation |
No |
Refereed |
No |