1
Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems
结合AI与数学严谨验证，解决特征值问题的十位数精度挑战，学术交叉亮点突出。
arXiv:2606.23821v1 Announce Type: cross Abstract: Accurate numerical eigenvalues are often difficult to certify, especially in singular or non-normal …