Our intention is to display three
sets of analytic results which we have obtained over the past few years
entirely or principally through directed computer experimentation. While
each set in some way involves Pi, our main interest is in the role of
directed discovery in the analysis. The results we display either could
not or would not have been obtained without access to high level symbolic
computation. In our case we primarily used Maple, but the precise vehicle
is not the point. We intend to focus on the pitfalls and promises of what
Lakatos called ``quasi-inductive'' mathematics.
Annotation Form Interface