Complexity of Solving Systems of Linear Equations over the Rings of Differential Operators
D. Yu. Grigor'ev · Birkhäuser Boston eBooks · 1991
Denote by A n = A n (F) = F[X 1,…, X n , D 1,…, D n ] the Weyl algebra over a field F([2]) determined by the relations X i X j = X j X i , D i D j = D j D i , X i D i = D i X i − 1, X i D j = D j X i for i ≠ j, and by the algebra of differential operators.