Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computing Semi-algebraic Invariants for Polynomial Dynamical Systems   In this paper, we consider an extended concept of invariant for polynomial
dynamical system (PDS) with domain and initial condition, and establish a sound
and complete criterion for checking semi-algebraic invariants (SAI) for such
PDSs. The main idea is encoding relevant dynamical properties as conditions on
the high order Lie derivatives of polynomials occurring in the SAI. A direct
consequence of this criterion is a relatively complete method of SAI generation
based on template assumption and semi-algebraic constraint solving. Relative
completeness means if there is an SAI in the form of a predefined template,
then our method can indeed find one using this template.

5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
32
The categories of this paper are: atom-ph
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
24
The categories of this paper are: dg-ga