Orriols Giménez, G. A Negative Result for Hearing the Shape of a Triangle: A Computer-Assisted Proof. Reports@SCM 2020, 5, 33-44.