Optimization and Numerical Analysis Workshop (I) 2016
P000004
High-precision eigenvalue evaluation and computer-assisted mathematical proof
*Xuefeng LIU (新潟大学)
TBA
TBA
Math formula preview: