Данцин Е. Я. Две системы доказательства тавтологичности, основанные на методе расщеплений // Записки научных семинаров ЛОМИ, 1981, 105, 24–44.
Dantsin E., Goerdt A., Hirsch E. A., Schoening U. Deterministic algorithms for k-SAT based on covering codes and local search // Proceedings of the 27 International Colloquuium on Automata, Languages and Programming, ICALP'2000, vol. 1853 of LNCS, p. 236–247, Springer, July 2000. A journal version will appear in Theoretical Computer Science in 2002.
М. А. Всемирнов, Э. А. Гирш, Е. Я. Данцин, С. В. Иванов, “Алгоритмы для пропозициональной выполнимости и верхние оценки их сложности”, Зап. научн. сем. ПОМИ, 277 (2001), 14–46; M. A. Vsemirnov, E. A. Hirsch, E. Ya. Dantsin, S. V. Ivanov, “Algorithms for SAT and upper bounds on their complexity”, J. Math. Sci. (N. Y.), 118:2 (2003), 4948–4962
Е. Я. Данцин, “Вероятностная проверка доказательств в исчислениях”, Зап. научн. сем. ПОМИ, 241 (1997), 97–116; E. Ya. Dantsin, “Probabilistic verification of proofs in calculuses”, J. Math. Sci. (New York), 98:4 (2000), 479–489
1995
3.
Е. Я. Данцин, “Доказательства в арифметике, использующие случайные числа”, Зап. научн. сем. ПОМИ, 220 (1995), 49–71; E. Ya. Dantsin, “Randomized proofs in arithmetic”, J. Math. Sci. (New York), 87:1 (1997), 3209–3220
1989
4.
Е. Я. Данцин, В. Я. Крейнович, “Вероятностный вывод в системах прогнозирования”, Докл. АН СССР, 307:1 (1989), 17–21; E. Ya. Dantsin, V. Ya. Kreinovich, “Probabilistic inference in prediction systems”, Dokl. Math., 40:1 (1990), 8–12
1981
5.
Е. Я. Данцин, “Две системы доказательства тавтологичности, основанные на методе расщеплений”, Зап. научн. сем. ЛОМИ, 105 (1981), 24–44; E. Ya. Dantsin, “Two tautologihood proof systems based on the split method”, J. Soviet Math., 22:3 (1983), 1293–1305
Е. Я. Данцин, “Об аппроксимативном варианте понятия конструктивной аналитической функции”, Зап. научн. сем. ЛОМИ, 60 (1976), 49–58; E. Ya. Dantsin, “On an approximative version of the notion of constructive analytic function”, J. Soviet Math., 14:6 (1980), 1457–1463
Е. Я. Данцин, “Изменение сложности функций при применении кратной рекурсии”, Зап. научн. сем. ЛОМИ, 32 (1972), 12–17
2023
8.
С. Н. Артемов, Л. Д. Беклемишев, Л. Я. Боркин, А. М. Вершик, Э. А. Гирш, Е. Я. Данцин, И. А. Ибрагимов, Е. В. Кальменс, В. Я. Крейнович, Д. А. Кубенский, А. А. Лодкин, Ю. В. Матиясевич, Б. А. Новиков, В. П. Оревков, А. Л. Семенов, А. О. Слисенко, А. Х. Шень, “Григорий Самуилович Цейтин (некролог)”, УМН, 78:3(471) (2023), 170–176; S. N. Artemov, L. D. Beklemishev, L. Ya. Borkin, A. M. Vershik, E. A. Hirsch, E. Ya. Dantsin, I. A. Ibragimov, E. V. Kalmens, V. Ya. Kreinovich, D. A. Koubenski, A. A. Lodkin, Yu. V. Matiyasevich, B. A. Novikov, V. P. Orevkov, A. L. Semenov, A. O. Slissenko, A. Kh. Shen, “Gregory Samuilovich Tseytin (obituary)”, Russian Math. Surveys, 78:3 (2023), 555–561
2013
9.
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013), 173–176; M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Russian Math. Surveys, 68:4 (2013), 763–767
2001
10.
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, А. А. Иванов, Б. Ю. Конев, В. А. Лифшиц, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к восьмидесятилетию со дня рождения)”, УМН, 56:3(339) (2001), 181–184; M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Russian Math. Surveys, 56:3 (2001), 601–605
Исследования по конструктивной математике и математической логике. X, Зап. научн. сем. ПОМИ, 241, ред. Е. Я. Данцин, В. П. Оревков, 1997 http://mi.mathnet.ru/book334
Исследования по конструктивной математике и математической логике. IX, Зап. научн. сем. ПОМИ, 220, ред. Е. Я. Данцин, В. П. Оревков, 1995, 149 с. http://mi.mathnet.ru/book922
Обратная связь: