{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:43Z","timestamp":1725662923356},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108566"},{"type":"electronic","value":"9783540387695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_99","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:33:06Z","timestamp":1330191186000},"page":"321-326","source":"Crossref","is-referenced-by-count":4,"title":["An extension of Rabin's complete proof concept"],"prefix":"10.1007","author":[{"given":"Jerzy W.","family":"Jaromczyk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"30_CR1","unstructured":"Avis, D., Lower bounds for geometric problems. Allerton Conference, October 1980."},{"key":"30_CR2","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":"30_CR3","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0020-0190(79)90069-3","volume":"9","author":"D. McCallum","year":"1979","unstructured":"McCallum, D., Avis, D., A linear algorithm for finding the convex hull of a simple polygon. Inf. Proc. Let., 9 (1979), 201\u2013206.","journal-title":"Inf. Proc. Let."},{"key":"30_CR4","unstructured":"Jaromczyk, J., Linear decision trees are too weak for convex hull problem. to appear in Inf. Proc. Let."},{"key":"30_CR5","unstructured":"Jaromczyk, J., Lower bounds for problems defined by polynomial inequalities. FCT'81."},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Jaromczyk, J., A note on Rabin's complete proof notion (preliminary version). IInf UW Reports, 102 (1981).","DOI":"10.1007\/3-540-10856-4_99"},{"key":"30_CR7","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":"30_CR8","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/S0022-0000(72)80034-5","volume":"6","author":"M. Rabin","year":"1972","unstructured":"Rabin, M., Proving simultaneous positivity of linear forms. J. Comp. Sys. Sci., 6 (1972), 639\u2013650.","journal-title":"J. Comp. Sys. Sci."},{"key":"30_CR9","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 linear inequalities. J. Comp. Sys. Sci., 6 (1972), 205\u2013216.","journal-title":"J. Comp. Sys. Sci."},{"key":"30_CR10","volume-title":"Einf\u00fchrung in die algebraische Geometrie","author":"B. L. Waerden van der","year":"1973","unstructured":"van der Waerden, B., L., Einf\u00fchrung in die algebraische Geometrie. Springer Verlag, Berlin, 1973."},{"key":"30_CR11","unstructured":"Yao, A., A lower bound to finding convex hulls. Report STAN-CS-79-733, April 1979."},{"key":"30_CR12","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1137\/0209028","volume":"9","author":"A. C. Yao","year":"1980","unstructured":"Yao, A., C., Rivest, R., On the polyhedral decision problem. SIAM J. Comp., 9 (1980), 343\u2013347.","journal-title":"SIAM J. Comp."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10856-4_99.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:04:09Z","timestamp":1605643449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_99"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_99","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}