Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automated Proofs in Geometry : Computing Upper Bounds for the Heilbronn
  Problem for Triangles   We propose a method for computing upper bounds for the Heilbronn problem for
triangles.

12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg