Optimization and Numerical Analysis Workshop (I) 2016

P000004

High-precision eigenvalue evaluation and computer-assisted mathematical proof  


*Xuefeng LIU (新潟大学)


Math formula preview: