Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Euler's "Misleading Induction", Andrews' "Fix", and How to Fully
  Automate them   One of the greatest experimental mathematicians of all time was also one of
the greatest mathematicians of all time, the great Leonhard Euler. Usually he
had an uncanny intuition on how many "special cases" one needs before one can
formulate a plausible conjecture, but one time he was "almost fooled", only to
find out that his conjecture was premature.
  In 1990, George Andrews found a way to "correct" Euler. Here we show how to
generate, AUTOMATICALLY, rigorously-proved Euler-Andrews Style formulas, that
enables one to generate Euler-style "cautionary tales" about the "danger" of
using naive empirical induction. Ironically, the way we prove the Andrews-style
corrections is empirical! But in order to turn the empirical proof into a
full-fledged rigorous proof, we must make sure that we check sufficiently many
(but still not that many!) special cases.

30
The categories of this paper are: q-alg
1
The categories of this paper are: cs
4
The categories of this paper are: cond-mat
21
The categories of this paper are: adap-org
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an