{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T07:48:26Z","timestamp":1773820106787,"version":"3.50.1"},"reference-count":29,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"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":4490,"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":[[2001,4]]},"DOI":"10.1016\/s0304-3975(00)00115-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T10:59:17Z","timestamp":1027594757000},"page":"167-183","source":"Crossref","is-referenced-by-count":7,"title":["Some arithmetical restatements of the Four Color Conjecture"],"prefix":"10.1016","volume":"257","author":[{"given":"Yuri","family":"Matiyasevich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0304-3975(00)00115-8_BIB1","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1215\/ijm\/1256049011","article-title":"Every planar map is four colorable, Part I. Discharging","volume":"21","author":"Appel","year":"1977","journal-title":"Illinois J. of Math."},{"issue":"3","key":"10.1016\/S0304-3975(00)00115-8_BIB2","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1215\/ijm\/1256049012","article-title":"Every planar map is four colorable, Part II. Reducibility","volume":"21","author":"Appel","year":"1977","journal-title":"Illinois J. of Math."},{"key":"10.1016\/S0304-3975(00)00115-8_BIB3","doi-asserted-by":"crossref","unstructured":"K. Appel, W. Haken, Every planar map is four colorable, with the collaboration of D. Koch, Contemporary Mathematics 98, American Mathematical Society, Providence RI, 1989.","DOI":"10.1090\/conm\/098"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB4","doi-asserted-by":"crossref","unstructured":"Y. Colin de Verdiere, On a new graph invariant and a criterion for planarity, in: N. Robertson et al. (eds.), Graph structure theory. Proceedings of the AMS-IMS-SIAM joint summer research conference on graph minors held June 22 to July 5, 1991 at the University of Washington, Seattle, WA (USA). Providence, RI: American Mathematical Society. Contemp. Math. 147, 137\u2013147 (1993).","DOI":"10.1090\/conm\/147\/01168"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB5","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1090\/pspum\/028.2\/0432534","article-title":"Hilbert's tenth problem. Diophantine equations","volume":"28","author":"Davis","year":"1976","journal-title":"Proc. Symp. Pure Math."},{"key":"10.1016\/S0304-3975(00)00115-8_BIB6","unstructured":"R. Fritsch (with the collaboration of Gerda Fritsch), Der Vierfarbensatz. Bibliographisches Institut, Mannheim, 1994, pp. iv+251."},{"issue":"1","key":"10.1016\/S0304-3975(00)00115-8_BIB7","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","article-title":"\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme. I","volume":"38","author":"G\u00f6del","year":"1931","journal-title":"Monatsh. Math. Phys."},{"key":"10.1016\/S0304-3975(00)00115-8_BIB8","unstructured":"D. Hilbert, Mathematische Probleme, Vortrag, gehalten auf dem internationalen Mathematiker-Kongre\u00df zu Paris 1900, Nachrichten von der K\u00f6nigliche Gesellschaft der Wissenschaften zu G\u00f6ttingen (1900) S. 253\u2013297."},{"key":"10.1016\/S0304-3975(00)00115-8_BIB9","first-page":"119","article-title":"On edge-coloring graphs","volume":"33","author":"Hoffman","year":"1992","journal-title":"Ars Combin."},{"issue":"2","key":"10.1016\/S0304-3975(00)00115-8_BIB10","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1006\/aama.1996.0510","article-title":"On a combinatorial expression concerning Fermat's Last Theorem","volume":"18","author":"Hsu","year":"1997","journal-title":"Adv. Appl. Math."},{"issue":"2","key":"10.1016\/S0304-3975(00)00115-8_BIB11","first-page":"41","article-title":"Is the four color theorem true?","volume":"3","author":"Kainen","year":"1993","journal-title":"Geombinatorics"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB12","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0095-8956(90)90114-F","article-title":"Map coloring and the vector cross product","volume":"48","author":"Kaufmann","year":"1990","journal-title":"J. Combin. Theory Ser. B"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB13","first-page":"1","article-title":"Combinatorial recoupling theory and 3-manifold invariants","volume":"vol. 315","author":"Kauffman","year":"1993"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB14","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1142\/9789812798275_0009","article-title":"Spin networks, topology and discrete physics","volume":"17","author":"Kauffman","year":"1994","journal-title":"Adv. Ser. Math. Phys."},{"issue":"3","key":"10.1016\/S0304-3975(00)00115-8_BIB15","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1007\/BF02096619","article-title":"An algebraic approach to the planar coloring problem","volume":"152","author":"Kauffman","year":"1993","journal-title":"Comm. Math. Phys."},{"key":"10.1016\/S0304-3975(00)00115-8_BIB16","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1515\/crll.1852.44.93","article-title":"\u00dcber die Erg\u00e4nzungss\u00e4tze zu den allgemeinen Reciprocit\u00e4tsgesetzen","volume":"44","author":"Kummer","year":"1852","journal-title":"J. Reine Angew. Math."},{"key":"10.1016\/S0304-3975(00)00115-8_BIB17","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0097-3165(72)90016-7","article-title":"A necessary and sufficient condition for primality, and its source","volume":"13","author":"Mann","year":"1972","journal-title":"J. Combin Theory Ser. A"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB18","doi-asserted-by":"crossref","first-page":"367","DOI":"10.4064\/aa-91-4-367-378","article-title":"A binomial representation of the 3x+1 problem","volume":"91","author":"Margenstern","year":"1999","journal-title":"Acta Arith."},{"key":"10.1016\/S0304-3975(00)00115-8_BIB19","doi-asserted-by":"crossref","unstructured":"Ju.V. Matijasevi\u010d, A class of primality criteria formulated in terms of the divisibility of binomial coefficients (in Russian), Zap. Nau\u010dn. Sem. Leningrad, Otdel. Mat. Inst. Steklov. (LOMI), vol. 67, 1997, pp. 167\u2013183, 226\u2013227 (Translated in J. Sov. Math. 16 (1981) 874\u2013885, ISSN 0090-4104).","DOI":"10.1007\/BF01213897"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB20","unstructured":"Yu. Matiyasevich, Desyataya Problema Gilberta, Moscow, Fizmatlit, 1993, English translation: Hilbert's tenth problem. MIT Press, Cambridge, MA, 1993, French translation: Le dixi\u00e8me probl\u00e8me de Hilbert, Masson, Paris, 1995, URL: http:\/\/logic.pdmi.ras.ru\/\u00a0\u0303yumat\/H10Pbook, mirrored at http:\/\/www.informatik.uni-stuttgart.de\/ifi\/ti\/ personen\/ Matiyasevich\/H10Pbook."},{"key":"10.1016\/S0304-3975(00)00115-8_BIB21","unstructured":"Yu. Matiyasevich, A polynomial related to colourings of triangulation of sphere, URL: http:\/\/logic.pdmi.ras.ru\/\u00a0\u0303yumat\/journal\/triangular\/triang.htm, mirrored at http:\/\/www. informatik.uni-stuttgart.de\/ifi\/ti\/personen\/Matiyasevich\/journal\/triangular\/tria ng.htm."},{"key":"10.1016\/S0304-3975(00)00115-8_BIB22","unstructured":"Yu. Matiyasevich, The four colour theorem as a possible corollary of binomial summation, URL: http:\/\/logic.pdmi.ras.ru\/\u00a0\u0303yumat\/journal\/jcontord.htm#4cc, mirrored at http:\/\/www. informatik.uni-stuttgart.de\/ifi\/ti\/personen\/Matiyasevich\/journal\/jcontord.htm#4cc."},{"key":"10.1016\/S0304-3975(00)00115-8_BIB23","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1086\/350003","article-title":"The origin of the four-color conjecture","volume":"56","author":"May","year":"1965","journal-title":"Isis"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB24","unstructured":"M. Petkov\u0161ek, H. Wilf, D. Zeilberger, A=B, AK Peters, Wellesley, MA, USA, 1996, ISBN 1-56881-063-6, http:\/\/www.cis.upenn.edu\/\u00a0\u0303wilf\/AeqB.html."},{"issue":"1","key":"10.1016\/S0304-3975(00)00115-8_BIB25","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/jctb.1997.1750","article-title":"The four-colour theorem","volume":"70","author":"Robertson","year":"1997","journal-title":"J. of Combin. Theory Ser. B"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB26","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1006\/jctb.1994.1073","article-title":"Quickly excluding a planar graph","volume":"62","author":"Robertson","year":"1994","journal-title":"J. Combin. Theory Ser. B"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB27","unstructured":"R. Thomas, An update on the four-colour theorem, Notices Amer. Math. Soc. 45(7) (1998) 848\u2013859 (available at URLs: http:\/\/www.ams.org\/noticies\/199807\/thomas.{ps,pdf})."},{"issue":"1","key":"10.1016\/S0304-3975(00)00115-8_BIB28","doi-asserted-by":"crossref","first-page":"2","DOI":"10.2307\/2978124","article-title":"Thirteen colorful variations on Guthrie's four-color conjecture","volume":"79","author":"Saaty","year":"1972","journal-title":"Amer. Math. Monthly"},{"key":"10.1016\/S0304-3975(00)00115-8_BIB29","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF02100618","article-title":"An algorithmic proof theory for hypergeometric (ordinary and \u201cq\u201d) multisum\/integral identities","volume":"108","author":"Wilf","year":"1992","journal-title":"Invent. Math."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500001158?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500001158?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T04:48:30Z","timestamp":1578458910000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397500001158"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,4]]},"references-count":29,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,4]]}},"alternative-id":["S0304397500001158"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(00)00115-8","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2001,4]]}}}