{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,16]],"date-time":"2024-09-16T05:13:03Z","timestamp":1726463583353},"reference-count":38,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4886,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2000,3]]},"DOI":"10.1016\/s0304-3975(99)00188-7","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T01:51:05Z","timestamp":1027648265000},"page":"145-162","source":"Crossref","is-referenced-by-count":4,"title":["Uncomputably large integral points on algebraic plane curves?"],"prefix":"10.1016","volume":"235","author":[{"given":"J.Maurice","family":"Rojas","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/S0304-3975(99)00188-7_BIB1","doi-asserted-by":"crossref","first-page":"203","DOI":"10.4064\/aa-58-2-203-209","article-title":"On Runge's Theorem","volume":"58","author":"Ayad","year":"1991","journal-title":"Acta. Arith."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB2","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1098\/rsta.1968.0010","article-title":"Contributions to the theory of diophantine equations I: on the representation of integers by binary forms","volume":"263","author":"Baker","year":"1968","journal-title":"Philos. Trans. Roy. Soc. London Ser. A"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB3","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1017\/S0305004100044418","article-title":"Bounds for the solutions of the hyperelliptic equation","volume":"65","author":"Baker","year":"1969","journal-title":"Proc. Camb. Philos. Soc."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB4","series-title":"Transcendental Number Theory","author":"Baker","year":"1975"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB5","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1017\/S0305004100045904","article-title":"Integer points on curves of genus 1","volume":"67","author":"Baker","year":"1970","journal-title":"Proc. Camb. Philos. Soc."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB6","doi-asserted-by":"crossref","unstructured":"A. Beauville, Complex Algebraic Surfaces, 2nd edition, London Mathematical Society Student Texts, Vol. 34, Cambridge University Press, Cambridge, 1996.","DOI":"10.1017\/CBO9780511623936"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB7","doi-asserted-by":"crossref","unstructured":"L. Blum, F. Cucker, M. Shub, S. Smale, Complexity and Real Computation, Springer, Berlin, 1998.","DOI":"10.1007\/978-1-4612-0701-6"},{"issue":"4","key":"10.1016\/S0304-3975(99)00188-7_BIB8","first-page":"615","article-title":"The Mordell conjecture revisited","volume":"17","author":"Bombieri","year":"1990","journal-title":"Ann. Sculoa Norm. Sup. Pisa Cl. Sci."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB9","doi-asserted-by":"crossref","unstructured":"B. Brindza, On S-integral solutions of the equation ym = f(x), Acta. Math. Hungar. (1\u20132) 44 (1984) 133\u2013139.","DOI":"10.1007\/BF01974110"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB10","doi-asserted-by":"crossref","unstructured":"H. Cohen, A Course in Computational Number Theory, Graduate Texts in Mathematics, Vol. 138, Springer, Berlin, 1993.","DOI":"10.1007\/978-3-662-02945-9"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB11","unstructured":"M.R. Garey, D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, A Series of Books in the Mathematical Sciences, W. H. Freeman and Co., San Francisco, Calif., 1979."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB12","doi-asserted-by":"crossref","unstructured":"P. Gianni, V. Miller, B. Trager, Decomposition of algebras, Symbolic and Algebraic Computation (Rome, 1988), Lecture Notes in Comput. Sci., Vol. 358, Springer, Berlin, 1989, pp. 300\u2013308.","DOI":"10.1007\/3-540-51084-2_29"},{"issue":"1","key":"10.1016\/S0304-3975(99)00188-7_BIB13","first-page":"79","article-title":"Integer points on curves of genus two and their Jacobians","volume":"344","author":"Grant","year":"1994","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB14","unstructured":"R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, No. 52, Springer, Berlin."},{"issue":"4","key":"10.1016\/S0304-3975(99)00188-7_BIB15","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1006\/jsco.1994.1051","article-title":"An Algorithm for Computing an Integral Basis in an Algebraic Function Field","volume":"18","author":"van Hoeij","year":"1994","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB16","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1002\/malq.19810272504","article-title":"Classification of quantifier prefixes over diophantine equations","volume":"27","author":"Jones","year":"1981","journal-title":"Z. Math. Logik Grundlagen Math., Bd."},{"issue":"3","key":"10.1016\/S0304-3975(99)00188-7_BIB17","doi-asserted-by":"crossref","first-page":"549","DOI":"10.2307\/2273588","article-title":"Universal diophantine equation","volume":"47","author":"Jones","year":"1982","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"10.1016\/S0304-3975(99)00188-7_BIB18","first-page":"51","article-title":"Newton polyhedra and the genus of complete intersections","volume":"12","author":"Khovanskii","year":"1978","journal-title":"Funct. Anal. (translated from Russian)"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB19","doi-asserted-by":"crossref","unstructured":"P. Koiran, Randomized and deterministic algorithms for the dimension of algebraic varieties, Proc. 38th Annual IEEE Computer Society Conf. on Foundations of Computer Science (FOCS), Oct. 20\u201322, 1997, ACM Press, New York.","DOI":"10.1109\/SFCS.1997.646091"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB20","series-title":"Fundamentals of Diophantine Geometry","author":"Lang","year":"1983"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB21","series-title":"Hilbert's Tenth Problem","author":"Matiyasevich","year":"1993"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB22","unstructured":"Y.V. Matiyasevich, J. Robinson, Two universal 3-quantifier representations of recursively enumerable sets, Teoriya Algorifmov i Matematicheskaya Logika (Volume dedicated to A.A. Markov), Vychislitel'ny\u0131\u0306 Tsentr, Akademiya Nauk SSSR, Moscow, pp. 112\u2013123."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB23","unstructured":"R. Miranda, Algebraic Curves and Riemann Surfaces, Graduate Studies in Mathematics, Vol. 5, American Mathematical Society, Providence, RI."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB24","doi-asserted-by":"crossref","unstructured":"D. Mumford, Algebraic Geometry I: Complex Projective Varieties, Reprint of the 1976 edition, Classics in Mathematics, Springer, Berlin, 1995.","DOI":"10.1007\/978-3-642-61833-8_2"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB25","doi-asserted-by":"crossref","unstructured":"B. Poonen, Computational aspects of curves of genus at least 2, Algorithmic Number Theory (Talence, 1996), Lecture Notes in Comput. Sci. Vol. 1122, Springer, Berlin, 1996, pp. 283\u2013306.","DOI":"10.1007\/3-540-61581-4_63"},{"issue":"1","key":"10.1016\/S0304-3975(99)00188-7_BIB26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/cm-66-1-1-7","article-title":"Integer points on curves of genus 0","volume":"66","author":"Poulakis","year":"1993","journal-title":"Colloq. Math."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB27","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1006\/jsco.1998.0271","article-title":"Solving sparse degenerate polynomial systems faster","volume":"28","author":"Rojas","year":"1999","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB28","doi-asserted-by":"crossref","unstructured":"J.M. Rojas, On the complexity of diophantine geometry in low dimensions, Proceedings of the 31st Annual ACM Symposium on Theory of Computing (STOC\u201999, May 1\u20134, 1999, Atlanta, Georgia), ACM Press, 1999, pp. 527\u2013536.","DOI":"10.1109\/CCC.1999.766252"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB29","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1515\/crll.1887.100.425","article-title":"\u00dcber ganzzahlige L\u00f6sungen von Gleichungen zwischen zwei Ver\u00e4nderlichen","volume":"100","author":"Runge","year":"1887","journal-title":"J. Reine Angew. Math."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB30","series-title":"Selected Topics on Polynomials","author":"Schinzel","year":"1982"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB31","first-page":"33","article-title":"Integer Points on Curves of Genus 1","volume":"81","author":"Schmidt","year":"1992","journal-title":"Compositio Math."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB32","unstructured":"C.L. Siegel, \u00dcber einige Anwendungen Diophantischer Approximationen, Abh. Preuss. Akad. Wiss. Phys. Math. Kl. (1929)."},{"key":"10.1016\/S0304-3975(99)00188-7_BIB33","doi-asserted-by":"crossref","unstructured":"J.H. Silverman, The Arithmetic of Elliptic Curves, corrected reprint of the 1986 original, Graduate Texts in Mathematics, Vol. 106, Springer, Berlin, 1995.","DOI":"10.1007\/978-1-4757-1920-8"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB34","doi-asserted-by":"crossref","unstructured":"J.H. Silverman, On the distribution of integer points on curves of genus zero, Theoret. Comput. Sci. 235 (this Vol.) (2000) 163\u2013170.","DOI":"10.1016\/S0304-3975(99)00189-9"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB35","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF03025291","article-title":"Mathematical problems for the next century","volume":"20","author":"Smale","year":"1998","journal-title":"Math. Intelligencer"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB36","series-title":"Further results on Hilbert's tenth problem, Ph.D. Thesis","author":"Sun","year":"1992"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB37","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1016\/0196-6774(87)90013-7","article-title":"Computational complexities of diophantine equations with parameters","volume":"8","author":"Shih-Ping","year":"1987","journal-title":"J. Algorithms"},{"key":"10.1016\/S0304-3975(99)00188-7_BIB38","doi-asserted-by":"crossref","unstructured":"P. Vojta, Diophantine Approximations and Value Distribution Theory, Lecture Notes in Mathematics, Vol. 1239, Springer, Berlin, 1987.","DOI":"10.1007\/BFb0072989"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599001887?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599001887?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,16]],"date-time":"2023-04-16T18:45:03Z","timestamp":1681670703000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397599001887"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["S0304397599001887"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(99)00188-7","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}