|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1997 |
1. |
Г. В. Давыдов, И. М. Давыдова, “Числовые представления выполнимости”, Зап. научн. сем. ПОМИ, 241 (1997), 72–96 ; G. V. Davydov, I. M. Davydova, “Number representations of satisfiability”, J. Math. Sci. (New York), 98:4 (2000), 464–478 |
3
|
|
1990 |
2. |
Г. В. Давыдов, И. М. Давыдова, “О разрешимости системы $Ax=0$, $х\ge0$, с неопределенными коэффициентами”, Изв. вузов. Матем., 1990, № 9, 85–88 ; G. V. Davydov, I. M. Davydova, “Solvability of the system $Ax=0$, $x\ge0$, with indeterminate coefficients”, Soviet Math. (Iz. VUZ), 34:9 (1990), 108–112 |
|
1988 |
3. |
Г. В. Давыдов, И. М. Давыдова, “Потоковая интерпретация $NP$-полных задач”, Изв. вузов. Матем., 1988, № 12, 59–62 ; G. V. Davydov, I. M. Davydova, “A flow interpretation of $NP$-complete problems”, Soviet Math. (Iz. VUZ), 32:12 (1988), 96–101 |
4. |
Г. В. Давыдов, И. М. Давыдова, “Недревовидные покрытия в дискретной оптимизации”, Изв. вузов. Матем., 1988, № 3, 66–69 ; G. V. Davydov, I. M. Davydova, “Non-tree-like coverings in discrete optimization”, Soviet Math. (Iz. VUZ), 32:3 (1988), 93–97 |
|
1985 |
5. |
Г. В. Давыдов, И. М. Давыдова, “Двойственный критерий оптимальности в переборных задачах”, Изв. вузов. Матем., 1985, № 1, 57–59 ; G. V. Davydov, I. M. Davydova, “A dual criterion of optimality in sorting problems”, Soviet Math. (Iz. VUZ), 29:1 (1985), 73–77 |
|
1974 |
6. |
Г. В. Давыдов, П. Ю. Суворов, “Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета”, Зап. научн. сем. ЛОМИ, 40 (1974), 10–13 |
|
1971 |
7. |
Г. В. Давыдов, “Синтез метода резолюций с обратным методом”, Зап. научн. сем. ЛОМИ, 20 (1971), 24–35 |
|
1969 |
8. |
Г. В. Давыдов, С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Машинный алгорифм установления выводимости на основе обратного метода”, Зап. научн. сем. ЛОМИ, 16 (1969), 8–19 |
|
1968 |
9. |
Г. В. Давыдов, “Некоторые замечания о поиске вывода в исчислении предикатов”, Зап. научн. сем. ЛОМИ, 8 (1968), 8–20 |
|
1967 |
10. |
Г. В. Давыдов, “О корректировании недоказуемых формул”, Зап. научн. сем. ЛОМИ, 4 (1967), 18–29 |
1
|
11. |
Г. В. Давыдов, “Метод установления выводимости в классическом исчислении предикатов”, Зап. научн. сем. ЛОМИ, 4 (1967), 8–17 |
|
|
|
2013 |
12. |
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 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 |
13. |
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, А. А. Иванов, Б. Ю. Конев, В. А. Лифшиц, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к восьмидесятилетию со дня рождения)”, УМН, 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 |
1
|
|
1984 |
14. |
Г. В. Давыдов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, А. В. Сочилина, Н. А. Шанин, “Сергей Юрьевич Маслов (некролог)”, УМН, 39:2(236) (1984), 129–130 ; G. V. Davydov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, A. V. Sochilina, N. A. Shanin, “Sergei Yur'evich Maslov (obituary)”, Russian Math. Surveys, 39:2 (1984), 133–135 |
4
|
|