Let a be a vector of real numbers. By an integer relation for a we mean a non-zero integer vector c such that caT = 0. We discuss the algorithms for nding such integer relations from the user's point of view, by presenting examples of their applications and by reviewing the available software implementations.
Jonathan M. Borwein, Petr Lisonek