Проблема обрізаної шахівниці (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Проблема обрізаної шахівниці" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

207^th place

811^th place

2^nd place

4^th place

low place

179^th place

277^th place

6^th place

26^th place

129^th place

archive.org

Alekhnovich, Michael (2004), Mutilated chessboard problem is exponentially hard for resolution, Theoretical Computer Science, 310 (1-3): 513—525, doi:10.1016/S0304-3975(03)00395-5.
Відповідно до Мендельсона, оригінальна публікація була у книзі Хонсбергера. Mendelsohn, N. S. (2004), Tiling with dominoes, The College Mathematics Journal, Mathematical Association of America, 35 (2): 115—120, doi:10.2307/4146865, JSTOR 4146865; Honsberger, R. (1973), Mathematical Gems I, Mathematical Association of America.

Відповідно до Мендельсона, оригінальна публікація була у книзі Хонсбергера. Mendelsohn, N. S. (2004), Tiling with dominoes, The College Mathematics Journal, Mathematical Association of America, 35 (2): 115—120, doi:10.2307/4146865, JSTOR 4146865; Honsberger, R. (1973), Mathematical Gems I, Mathematical Association of America.

Arthan, R. D. (2005), The Mutilated Chessboard Theorem in Z (PDF), процитовано 6 травня 2007, Теорему обрізаної шахівниці запропонував більш як 40 років тому Джон МакКарті як “міцний горішок” для автоматичного міркування.

Andrews, Peter B.; Bishop, Matthew (1996), On Sets, Types, Fixed Points, and Checkerboards, Theorem Proving With Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini, Palermo, Italy, 15-17th, 1996, Proceedings, Lecture Notes in Computer Science, Springer-Verlag, більшість рішень цієї проблеми в літературі вирішують її в концептуальному сенсі, однак не дають доказів теореми для обох оригінальних формулювань МакКарті.
Bancerek, Grzegorz (1995), The Mutilated Chessboard Problem—checked by Mizar, у Boyer, Robert; Trybulec, Andrzej (ред.), QED Workshop, II, Warsaw University, с. 25—26, Проблема, запропонована Джон МакКарті в лекції "Heavy duty set theory"¹, була вирішена тут.

Маккарті, Джон (1999), Creative Solutions to Problems, AISB Workshop on Artificial Intelligence and Creativity, процитовано 27 квітня 2007