Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The evaluation of geometric queries: constraint databases and quantifier
  elimination   We model the algorithmic task of geometric elimination (e.g., quantifier
elimination in the elementary field theories of real and complex numbers) by
means of certain constraint database queries, called geometric queries. As a
particular case of such a geometric elimination task, we consider sample point
queries. We show exponential lower complexity bounds for evaluating geometric
queries in the general and in the particular case of sample point queries.
Although this paper is of theoretical nature, its aim is to explore the
possibilities and (complexity-)limits of computer implemented query evaluation
algorithms for Constraint Databases, based on the principles of the most
advanced geometric elimination procedures and their implementations, like,
e.g., the software package "Kronecker".

21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th