Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Davydov, Gennadii Valentinovich
Statistics Math-Net.Ru
Total publications: 14
Scientific articles: 11

Number of views:
This page:352
Abstract pages:5469
Full texts:3296
References:129

https://www.mathnet.ru/eng/person19142
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/202738

Publications in Math-Net.Ru Citations
1997
1. G. V. Davydov, I. M. Davydova, “Number representations of satisfiability”, Zap. Nauchn. Sem. POMI, 241 (1997),  72–96  mathnet  mathscinet  zmath; J. Math. Sci. (New York), 98:4 (2000), 464–478 3
1990
2. G. V. Davydov, I. M. Davydova, “Solvability of the system $Ax=0$, $x\ge0$, with indeterminate coefficients”, Izv. Vyssh. Uchebn. Zaved. Mat., 1990, no. 9,  85–88  mathnet  mathscinet  zmath; Soviet Math. (Iz. VUZ), 34:9 (1990), 108–112
1988
3. G. V. Davydov, I. M. Davydova, “A flow interpretation of $NP$-complete problems”, Izv. Vyssh. Uchebn. Zaved. Mat., 1988, no. 12,  59–62  mathnet  mathscinet  zmath; Soviet Math. (Iz. VUZ), 32:12 (1988), 96–101
4. G. V. Davydov, I. M. Davydova, “Non-tree-like coverings in discrete optimization”, Izv. Vyssh. Uchebn. Zaved. Mat., 1988, no. 3,  66–69  mathnet  mathscinet  zmath; Soviet Math. (Iz. VUZ), 32:3 (1988), 93–97
1985
5. G. V. Davydov, I. M. Davydova, “A dual criterion of optimality in sorting problems”, Izv. Vyssh. Uchebn. Zaved. Mat., 1985, no. 1,  57–59  mathnet  mathscinet  zmath; Soviet Math. (Iz. VUZ), 29:1 (1985), 73–77
1974
6. G. V. Davydov, P. Yu. Suvorov, “A reduction of proposittional tautologihood to graph-coloring in three colors”, Zap. Nauchn. Sem. LOMI, 40 (1974),  10–13  mathnet  mathscinet  zmath
1971
7. G. V. Davydov, “A synthesis of the resolution method and the inverse method”, Zap. Nauchn. Sem. LOMI, 20 (1971),  24–35  mathnet  mathscinet  zmath
1969
8. G. V. Davydov, S. Yu. Maslov, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “A computer algorithm for establishing deducibility, based on the inverse method”, Zap. Nauchn. Sem. LOMI, 16 (1969),  8–19  mathnet  mathscinet  zmath
1968
9. G. V. Davydov, “Some notes on proof searching in predicate calculus”, Zap. Nauchn. Sem. LOMI, 8 (1968),  8–20  mathnet  mathscinet  zmath
1967
10. G. V. Davydov, “On correction of unprovable formulae”, Zap. Nauchn. Sem. LOMI, 4 (1967),  18–29  mathnet  mathscinet  zmath 1
11. G. V. Davydov, “A proof method for the classical predicate calculus”, Zap. Nauchn. Sem. LOMI, 4 (1967),  8–17  mathnet  mathscinet  zmath
2013
12. 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)”, Uspekhi Mat. Nauk, 68:4(412) (2013),  173–176  mathnet  mathscinet  elib; Russian Math. Surveys, 68:4 (2013), 763–767  isi  elib  scopus
2001
13. 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)”, Uspekhi Mat. Nauk, 56:3(339) (2001),  181–184  mathnet  mathscinet  zmath; Russian Math. Surveys, 56:3 (2001), 601–605  isi 1
1984
14. 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)”, Uspekhi Mat. Nauk, 39:2(236) (1984),  129–130  mathnet  mathscinet; Russian Math. Surveys, 39:2 (1984), 133–135  isi 4

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024