G. Orriols Giménez, “A negative result for hearing the shape of a triangle: a computer-assisted proof”, Reports@SCM, vol. 5, no. 1, pp. 33–44, May 2020.