Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards Ranking Geometric Automated Theorem Provers   The field of geometric automated theorem provers has a long and rich history,
from the early AI approaches of the 1960s, synthetic provers, to today
algebraic and synthetic provers.
  The geometry automated deduction area differs from other areas by the strong
connection between the axiomatic theories and its standard models. In many
cases the geometric constructions are used to establish the theorems'
statements, geometric constructions are, in some provers, used to conduct the
proof, used as counter-examples to close some branches of the automatic proof.
Synthetic geometry proofs are done using geometric properties, proofs that can
have a visual counterpart in the supporting geometric construction.
  With the growing use of geometry automatic deduction tools as applications in
other areas, e.g. in education, the need to evaluate them, using different
criteria, is felt. Establishing a ranking among geometric automated theorem
provers will be useful for the improvement of the current
methods/implementations. Improvements could concern wider scope, better
efficiency, proof readability and proof reliability.
  To achieve the goal of being able to compare geometric automated theorem
provers a common test bench is needed: a common language to describe the
geometric problems; a comprehensive repository of geometric problems and a set
of quality measures.

35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
2
The categories of this paper are: math
3
The categories of this paper are: physics
31
The categories of this paper are: ao-sci
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th