Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automated conjecturing of Frobenius numbers via grammatical evolution   Conjecturing formulas and other symbolic relations occurs frequently in
number theory and combinatorics. If we could automate conjecturing, we could
benefit not only from speeding up, but also from finding conjectures previously
out of our grasp. Grammatical evolution, a genetic programming technique, can
be used for automated conjecturing in mathematics. Concretely, this work
describes how one can interpret the Frobenius problem as a symbolic regression
problem, and then apply grammatical evolution to it. In this manner, a few
formulas for Frobenius numbers of specific quadruples were found automatically.
The sketch of the proof for one conjectured formula, using lattice point
enumeration method, is provided as well.
  Same method can easily be used on other problems to speed up and enhance the
research process.

19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys