{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T19:53:34Z","timestamp":1773258814246,"version":"3.50.1"},"reference-count":16,"publisher":"Informa UK Limited","issue":"4","funder":[{"name":"NSF","award":["DMS-1708320"],"award-info":[{"award-number":["DMS-1708320"]}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Experimental Mathematics"],"published-print":{"date-parts":[[2023,10,2]]},"DOI":"10.1080\/10586458.2021.1982078","type":"journal-article","created":{"date-parts":[[2021,10,28]],"date-time":"2021-10-28T12:36:46Z","timestamp":1635424606000},"page":"615-630","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":4,"title":["Computer Bounds for Kronheimer\u2013Mrowka Foam Evaluation"],"prefix":"10.1080","volume":"32","author":[{"given":"David","family":"Boozer","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of California, Los Angeles, CA, USA"}]}],"member":"301","published-online":{"date-parts":[[2021,10,28]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/098"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0040-9383(94)00051-4"},{"key":"e_1_3_3_4_1","unstructured":"Boozer D. Computer program for finding lower bounds on J\u266d(K). Available at: http:\/\/www.math.ucla.edu\/\u223cdavidboozer and https:\/\/www.dropbox.com\/s\/4eh819j0upz0e7w\/foams.nb?dl=0."},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jagm.1996.0806"},{"key":"e_1_3_3_6_1","first-page":"1382","article-title":"Formal proof\u2013the four-color theorem","volume":"55","author":"Gonthier G.","year":"2008","unstructured":"Gonthier, G. (2008). Formal proof\u2013the four-color theorem. Not. Am. Math. Soc. 55: 1382\u2013139.","journal-title":"Not. Am. Math. Soc"},{"key":"e_1_3_3_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316717134"},{"key":"e_1_3_3_8_1","doi-asserted-by":"publisher","DOI":"10.2140\/agt.2004.4.1045"},{"key":"e_1_3_3_9_1","article-title":"Foam evaluation and Kronheimer\u2013Mrowka theories","author":"Khovanov M.","unstructured":"Khovanov, M., Robert, L.-H. Foam evaluation and Kronheimer\u2013Mrowka theories, preprint, arXiv:1808.09662.","journal-title":"preprint, arXiv:1808.09662"},{"key":"e_1_3_3_10_1","article-title":"Tait colorings, and an instanton homology for webs and foams","author":"Kronheimer P. B.","unstructured":"Kronheimer, P. B., Mrowka, T. S. Tait colorings, and an instanton homology for webs and foams. J. Eur. Math. Soc. arXiv:1508.07205.","journal-title":"J. Eur. Math. Soc. arXiv:1508.07205"},{"key":"e_1_3_3_11_1","article-title":"Exact triangles for SO(3) instanton homology of webs","author":"Kronheimer P. B.","unstructured":"Kronheimer, P. B., Mrowka, T. S. Exact triangles for SO(3) instanton homology of webs, arXiv:1508.07207.","journal-title":"arXiv:1508.07207"},{"key":"e_1_3_3_12_1","article-title":"A deformation of instanton homology for webs","author":"Kronheimer P. B.","unstructured":"Kronheimer, P. B., Mrowka, T. S. A deformation of instanton homology for webs, arXiv:1710.05002.","journal-title":"arXiv:1710.05002"},{"key":"e_1_3_3_13_1","doi-asserted-by":"crossref","first-page":"3661","DOI":"10.2140\/agt.2013.13.3661","article-title":"sl3-foam homology calculations","volume":"13","author":"Lewark L.","unstructured":"Lewark, L. (2013). sl3-foam homology calculations, Algebr. Geom. Topol. 13: 3661\u20133686.","journal-title":"Algebr. Geom. Topol"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","DOI":"10.2140\/agt.2012.12.293"},{"key":"e_1_3_3_15_1","unstructured":"Mathematics Stack Exchange. \u201cGraded free\u201d is stronger than \u201cgraded and free?\u201d https:\/\/math.stackexchange.com\/questions\/557402\/graded-free-is-stronger-than-graded-and-free."},{"key":"e_1_3_3_16_1","article-title":"A closed formula for the evaluation of sln-foams","author":"Robert L.-H.","unstructured":"Robert, L.-H., Wagner, E. A closed formula for the evaluation of sln-foams, arXiv:1702.04140.","journal-title":"arXiv:1702.04140"},{"key":"e_1_3_3_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/jctb.1997.1750"}],"container-title":["Experimental Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10586458.2021.1982078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T22:55:57Z","timestamp":1700693757000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/10586458.2021.1982078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,28]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,10,2]]}},"alternative-id":["10.1080\/10586458.2021.1982078"],"URL":"https:\/\/doi.org\/10.1080\/10586458.2021.1982078","relation":{},"ISSN":["1058-6458","1944-950X"],"issn-type":[{"value":"1058-6458","type":"print"},{"value":"1944-950X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,28]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=uexm20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=uexm20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2021-10-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}