is a sum of two Tribonacci numbers for at least two values of k. … The main tools used in this
work are lower bounds for linear forms in logarithms á la Baker and a version of the
Baker–Davenport reduction method from Diophantine approximation, in addition to
elementary properties of Tribonacci numbers and solutions to Pell equations. 2 Preliminaries …