Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Вербицкий Олег Васильевич

кандидат физико-математических наук (1994)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)

Научная биография:

Вербицкий, О. В. Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : дис. ... канд. физ.-мат. наук : 01.01.06. - Москва, 1994. - 73 с.


https://www.mathnet.ru/rus/person8928
Список публикаций на Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/317334

Публикации в базе данных Math-Net.Ru Цитирования
2000
1. Т. О. Банах, Я. Б. Воробец, О. В. Вербицкий, “Рамсеевские задачи для пространств с симметриями”, Изв. РАН. Сер. матем., 64:6 (2000),  3–40  mathnet  mathscinet  zmath; T. O. Banakh, Ya. B. Vorobets, O. V. Verbitskii, “Ramsay problems for spaces with symmetries”, Izv. Math., 64:6 (2000), 1091–1127  isi  scopus 7
1993
2. О. В. Вербицкий, “О возможности проведения любого активного доказательства за ограниченное число раундов”, Изв. РАН. Сер. матем., 57:3 (1993),  152–178  mathnet  mathscinet  zmath; O. V. Verbitskii, “On the possibility of performing any multi-prover interactive proof in constantly many rounds”, Russian Acad. Sci. Izv. Math., 42:3 (1994), 561–586  isi
1991
3. О. В. Вербицкий, “Оптимальные алгоритмы для $\mathbf{co}\mathscr{NP}$-множеств и проблема $\mathscr{EXP}\stackrel{?}{=}\mathscr{NEXP}$”, Матем. заметки, 50:2 (1991),  37–46  mathnet  mathscinet  zmath; O. V. Verbitskii, “Optimal algorithms for $\mathbf{co}\mathscr{NP}$-sets and the $\mathscr{EXP}\stackrel{?}{=}\mathscr{NEXP}$ problem”, Math. Notes, 50:2 (1991), 796–801  isi 1

Организации