Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: New developments in the theory of Groebner bases and applications to
  formal verification   We present foundational work on standard bases over rings and on Boolean
Groebner bases in the framework of Boolean functions. The research was
motivated by our collaboration with electrical engineers and computer
scientists on problems arising from formal verification of digital circuits. In
fact, algebraic modelling of formal verification problems is developed on the
word-level as well as on the bit-level. The word-level model leads to Groebner
basis in the polynomial ring over Z/2n while the bit-level model leads to
Boolean Groebner bases. In addition to the theoretical foundations of both
approaches, the algorithms have been implemented. Using these implementations
we show that special data structures and the exploitation of symmetries make
Groebner bases competitive to state-of-the-art tools from formal verification
but having the advantage of being systematic and more flexible.

4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an