Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computation of Pommaret Bases Using Syzygies   We investigate the application of syzygies for efficiently computing (finite)
Pommaret bases. For this purpose, we first describe a non-trivial variant of
Gerdt's algorithm to construct an involutive basis for the input ideal as well
as an involutive basis for the syzygy module of the output basis. Then we apply
this new algorithm in the context of Seiler's method to transform a given ideal
into quasi stable position to ensure the existence of a finite Pommaret basis.
This new approach allows us to avoid superfluous reductions in the iterative
computation of Janet bases required by this method. We conclude the paper by
proposing an involutive variant of the signature based algorithm of Gao et al.
to compute simultaneously a Grobner basis for a given ideal and for the syzygy
module of the input basis. All the presented algorithms have been implemented
in Maple and their performance is evaluated via a set of benchmark ideals.

10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
19
The categories of this paper are: eess
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int