Pisot and Salem numbers in intervals of the real line
David W. Boyd · Mathematics of Computation · 1978
Based on the work of Dufresnoy and Pisot, we develop an algorithm for determining all the Pisot numbers in an interval of the real line, provided this number is finite. We apply the algorithm to the problem of determining small Salem numbers by Salem’s construction, and to the proof that certain Pisot sequences satisfy no linear recurrence relation.