The fundamental technique involved is that of finding integer
relations. Let
be a vector of real
numbers. x is said to possess an integer relation if there exist
integers
not all zero such that
. By an integer relation algorithm, we mean an algorithm
that is guaranteed (provided the computer implementation has
sufficient numeric precision) to recover the vector of integers
,
if it exists, or to produce bounds within which no integer relation
can exist.
Annotation Form Interface