High-precision eigenvalue evaluation and computer-assisted mathematical proof  

---

*Xuefeng LIU (新潟大学)

TBA

---

Math formula preview: