{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:54Z","timestamp":1725662874562},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108542"},{"type":"electronic","value":"9783540387657"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10854-8_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:30:21Z","timestamp":1330173021000},"page":"165-172","source":"Crossref","is-referenced-by-count":1,"title":["Lower bounds for problems defined by polynomial inequalities"],"prefix":"10.1007","author":[{"given":"Jerzy W.","family":"Jaromczyk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,28]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/0020-0190(80)90125-8","volume":"11","author":"D. Avis","year":"1980","unstructured":"Avis, D., Comments on a lower bound for convex hull determination. Inf. Proc. Let., 11 (1980), 126.","journal-title":"Inf. Proc. Let."},{"key":"17_CR2","unstructured":"Jaromczyk, J., W., Linear decision trees are too weak for convex hull problem. to appear in Inf. Proc. Let."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Jaromczyk, J., W., A note on Rabin's complete proof notion (preliminary version). IInf UW Reports, 102 (1981).","DOI":"10.1007\/3-540-10856-4_99"},{"key":"17_CR4","unstructured":"Jaromczyk, J., W., to appear."},{"key":"17_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6899-5","volume-title":"Elementary Algebraic Geometry","author":"K. Kendig","year":"1977","unstructured":"Kendig, K., Elementary Algebraic Geometry. Springer Verlag, New York, 1977."},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/S0022-0000(72)80034-5","volume":"6","author":"M. O. Rabin","year":"1972","unstructured":"Rabin, M., O., Proving simultaneous positivity of linear forms. J. Comp. Sys. Sci., 6 (1972), 639\u2013650.","journal-title":"J. Comp. Sys. Sci."},{"key":"17_CR7","unstructured":"Snir, M., communicated to me by Peter van Emde Boas."},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0022-0000(72)80002-3","volume":"6","author":"P. M. Spira","year":"1972","unstructured":"Spira, P., M., Complete linear proofs of systems of linear inequalities. J. Comp. Sys. Sci., 6 (1972), 205\u2013216.","journal-title":"J. Comp. Sys. Sci."},{"volume-title":"Einf\u00fchrung in die algebraische Geometrie","year":"1973","author":"B. L. Waerden van der","key":"17_CR9","unstructured":"van der Waerden, B. L., Einf\u00fchrung in die algebraische Geometrie. Springer Verlag, Berlin, 1973."},{"key":"17_CR10","unstructured":"Yao, A., C., A lower bound to finding convex hulls. Report STAN-CS-79-733, April 1979."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10854-8_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:03:46Z","timestamp":1605625426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10854-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108542","9783540387657"],"references-count":10,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-10854-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}
