{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:37:49Z","timestamp":1770752269411,"version":"3.50.0"},"reference-count":18,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"1","funder":[{"DOI":"10.13039\/100000879","name":"Alfred P. Sloan Foundation","doi-asserted-by":"publisher","award":["Research Fellowship"],"award-info":[{"award-number":["Research Fellowship"]}],"id":[{"id":"10.13039\/100000879","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1351108"],"award-info":[{"award-number":["CCF-1351108"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1137\/151002526","type":"journal-article","created":{"date-parts":[[2017,2,28]],"date-time":"2017-02-28T16:29:24Z","timestamp":1488299364000},"page":"429-455","source":"Crossref","is-referenced-by-count":52,"title":["An Automatic Inequality Prover and Instance Optimal Identity Testing"],"prefix":"10.1137","volume":"46","author":[{"given":"Gregory","family":"Valiant","sequence":"first","affiliation":[]},{"given":"Paul","family":"Valiant","sequence":"additional","affiliation":[]}],"member":"351","published-online":{"date-parts":[[2017,2,28]]},"reference":[{"key":"atypb1","first-page":"19","author":"Acharya J.","year":"2011","journal-title":"Proceedings of the Conference on Learning Theory"},{"key":"atypb4","first-page":"266","author":"Bar-Yossef Z.","year":"2001","journal-title":"Proceedings of the Symposium on Theory of Computing"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539702403645"},{"key":"atypb6","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1109\/SFCS.2001.959920","author":"Batu T.","year":"2001","journal-title":"Proceedings of the IEEE Symposium on Foundations of Computer Science"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1145\/2432622.2432626"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973402.88"},{"key":"atypb10","first-page":"1841","author":"Diakonikolas I.","year":"2015","journal-title":"Philadelphia"},{"key":"atypb12","first-page":"733","author":"Guha S.","year":"2006","journal-title":"Proceedings of the ACM-SIAM Symposium on Discrete Algorithms"},{"key":"atypb13","first-page":"83","volume":"4","author":"Kolmogorov A. N.","year":"1933","journal-title":"Giornale Istituto Italiano Attuari"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1162\/089976603321780272"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2004.833360"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2008.928987"},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1137\/070701649"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1145\/2331042.2331052"},{"key":"atypb20","first-page":"685","author":"Valiant G.","year":"2011","journal-title":"Proceedings of the ACM Symposium on Theory of Computing"},{"key":"atypb21","first-page":"403","author":"Valiant G.","year":"2011","journal-title":"Proceedings of the IEEE Symposium on Foundations of Computer Science"},{"key":"atypb22","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1145\/2897518.2897641","author":"Valiant G.","year":"2016","journal-title":"Proceedings of the ACM Symposium on Theory of Computing"},{"key":"atypb23","doi-asserted-by":"publisher","DOI":"10.1137\/080734066"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/151002526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,24]],"date-time":"2022-07-24T23:18:07Z","timestamp":1658704687000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/151002526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":18,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,12]]},"published-print":{"date-parts":[[2017,1]]}},"alternative-id":["10.1137\/151002526"],"URL":"https:\/\/doi.org\/10.1137\/151002526","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1]]}}}