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