search

JuliaLang / www_old.julialang.org

Julia Project web site (Old)
http://www_old.julialang.org/
Other
150 stars 276 forks source link

Certifying numerical estimates of spectral gaps #795

Closed kalmarek closed 6 years ago

kalmarek commented 6 years ago

Pure Mathematics