MathOverflow

I am collecting examples of theorems and conjectures in knot theory that were originally discovered (or inspired) by computer experiments.Examples include:
Hoste’s conjecture on zeros of the Alexander polynomials of alternating knots (see discussion in Stoimenow paper)....

I am trying to find a simpler solution to the following integral:
$$\int^\infty_{-\infty} \bigg [ \int^\infty_t \frac{dm(R_0)}{dr} \frac{1}{R_0} d\tau \bigg ] m(R_0) dt$$
where:

I am studying sums that appear in the analysis of exponential sums and need a good big–O bound in terms of $(q, x, H)$. Specifically, let
$$T = \frac{x}{\gamma q} + \frac{m}{\gamma}, \quad 1\le m \le K_8 := \left\lfloor \gamma H - \frac{x}{q} + \frac12\right\rfloor,$$...

Basically intuitionistic logic is classical logic minus the law of the excluded middle, i.e. $\neg A\vee A$ is not necessarily valid for all formulas. So I would take this to mean that classical logic allows one to prove more theorems but apparently...