The Logical Anatomy of Optimization: Reverse Mathematics, Proof Mining, and the Price of Convergence
Source files
root filemain.tex · root file66 KiB · SHA-256 6f6f6768a2bd7a1f… · view textancillaryanc/specker_gd.py3 KiB · SHA-256 fc6a3978bb5c1c64… · view textancillaryanc/staircase.py2 KiB · SHA-256 66172a74cef1718f… · view textauxiliary fileappendix.tex3 KiB · SHA-256 adc6ca3bb3245512… · view textauxiliary fileappendix_lp.tex9 KiB · SHA-256 611ea7ccab5cbaad… · view textauxiliary fileatlas.tex3 KiB · SHA-256 9f370c17167a1f37… · view textauxiliary fileconvergence.tex29 KiB · SHA-256 61e8040cc7f2777e… · view textauxiliary fileconvergence_limits.tex5 KiB · SHA-256 96b1cafd348689d4… · view textauxiliary fileduality.tex11 KiB · SHA-256 d47d1be72f67f892… · view textauxiliary fileexistence.tex18 KiB · SHA-256 3588911ccf7c16df… · view textauxiliary filefeasible.tex8 KiB · SHA-256 d955b6cd740c7126… · view textauxiliary filefeasible_kkt.tex1 KiB · SHA-256 6230f65b3c90eccd… · view textauxiliary filefig_map.tex4 KiB · SHA-256 35c23085af8d76a9… · view text
auxiliary filefigs/specker_gd.pdf69 KiB · SHA-256 e84fa8821aa7c17d… · raw download withheld by file policy
auxiliary fileintro.tex12 KiB · SHA-256 2360fc67cfe37747… · view textauxiliary fileprelim.tex11 KiB · SHA-256 31f30b12baa95b54… · view textauxiliary fileproofmining.tex7 KiB · SHA-256 ad1a930f63939ed1… · view textauxiliary fileproofmining_fejer.tex4 KiB · SHA-256 671cd30a252caefa… · view textauxiliary filesynthesis.tex10 KiB · SHA-256 c162a563a0ee7e6a… · view text