Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Generating Loop Invariants by Computing Vanishing Ideals of Sample
  Points   Loop invariants play a very important role in proving correctness of
programs. In this paper, we address the problem of generating invariants of
polynomial loop programs. We present a new approach, for generating polynomial
equation invariants of polynomial loop programs through computing vanishing
ideals of sample points. We apply rational function interpolation, based on
early termination technique, to generate invariants of loop programs with
symbolic initial values. Our approach avoids first-order quantifier elimination
and cylindrical algebraic decomposition(CAD). An algorithm for generating
polynomial invariants is proposed and some examples are given to illustrate the
algorithm. Furthermore, we demonstrate on a set of loop programs with symbolic
initial values that our algorithm can yield polynomial invariants with degrees
high up to 15.

14
The categories of this paper are: math-ph
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an