Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Method for the Automated Discovery of Angle Theorems   The Naive Angle Method, used by Geometry Expressions for solving problems
which involve only angle constraints, represents a geometrical configuration as
a sparse linear system. Linear systems with the same underlying matrix
structure underpin a number of different geometrical theorems. We use a graph
theoretical approach to define a generalization of the matrix structure.

18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom