next up previous
Next: Integer Relations Up: Applications of Integer Relation Previous: Applications of Integer Relation

Introduction

Integer relation algorithms are core tools for computer-assisted mathematics. Their main purpose is the ``reverse engineering'' of real numbers in the sense that they help to recover a formula that evaluates to a given real number.

This paper is written from our perspective as frequent users of integer relation algorithms, mainly by presenting research that we have done recently. The background of the algorithms is described only to the extent to which average users would like to be able to modify integer relation code available to them. Those who want to learn more about the theory of these algorithms, including all proofs and complexity analyses, are referred to the excellent survey [29].

Two types of integer relation algorithms and certain general applications of them are introduced in Section 2. Examples of more specific applications are discussed in detail in Section 3. Implementations available to us at the present time are briefly surveyed in Section 4.



 

Agnes Szanto
2000-05-10