Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Algorithmic proofs of two theorems of Stafford   Two classical results of Stafford say that every (left) ideal of the $n$-th
Weyl algebra $A_n$ can be generated by two elements, and every holonomic
$A_n$-module is cyclic, i.e. generated by one element. We modify Stafford's
original proofs to make the algorithmic computation of these generators
possible.

20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
14
The categories of this paper are: math-ph
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc