Pages that link to "Item:Q2643577"
From MaRDI portal
The following pages link to Algorithmic proofs of two theorems of Stafford. (Q2643577):
Displaying 11 items.
- Recent progress in an algebraic analysis approach to linear systems (Q335929) (← links)
- Serre's reduction of linear partial differential systems with holonomic adjoints (Q432747) (← links)
- Cyclic irreducible non-holonomic modules over the Weyl algebra: an algorithmic characterization. (Q616331) (← links)
- Exact linear modeling using Ore algebras (Q650834) (← links)
- Two blossoming proofs of the Lane-Riesenfeld algorithm (Q884714) (← links)
- Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix (Q2196124) (← links)
- Module structure of certain rings of differential operators (Q2199655) (← links)
- A constructive study of the module structure of rings of partial differential operators. (Q2255606) (← links)
- Computation of bases of free modules over the Weyl algebras. (Q2466875) (← links)
- Towards an effective version of a theorem of Stafford (Q5960301) (← links)
- Restrictions of Pfaffian systems for Feynman integrals (Q6183549) (← links)