In between Nikolay Mitrofanovich Krylov and Valery Goppa who is known for works on interpolation, non-linear mechanics, and numerical methods?