На главную страницу
На главную страницу
На главную страницу
English page
English page
ФАНО России | РАН | Math-Net.Ru | ММО | Scopus | MathSciNet | Zentralblatt MATH | Проверка почты | Справка 

   
 Об институте
 Научная деятельность
 Публикации
 Правила оформления научных работ
 Администрация
 Ученый совет
 Диссертационные советы
 Отделы
Сотрудники 
 Аспирантура
 Научно-образовательный центр
 Совет молодых ученых
 Профком МИАН
 Семинары
 Конференции
 Мероприятия
 Издания МИАН
 In memoriam
 Фотогалерея МИАН
 Музей МИАН
 Реквизиты МИАН
 Библиотека


    Адрес института
Адрес: Россия, 119991, Москва, ул. Губкина, д. 8
Тел.: +7(495) 984 81 41
Факс: +7(495) 984 81 39
Сайт: www.mi.ras.ru
E-mail: steklov@mi.ras.ru

Посмотреть карту
Схема проезда

   

Наиболее важные результаты научных исследований – 2015

2016  |  2015  |  2014  |  2013  |  2012  |  2011  |  2010  |  2009  |  2008  |  2007  |  2006  |  2005  |  2004  |  2003  |  2002  |  2001  |  2000  |  1999  |  1998  |  1997  |  1996

В 2015 году в МИАН получены следующие результаты первостепенной важности, определяющие развитие соответствующей области математики в мировом масштабе. Эти результаты рекомендованы Ученым советом МИАН (на заседании от 12 ноября 2015 года, протокол № 8) к включению в список важнейших достижений российских ученых в области математики за 2015 год.

Андреев Николай Николаевич,
кандидат физ.-матем. наук, заведующий Лабораторией популяризации и пропаганды математики,
Коновалов Сергей Петрович,
кандидат физ.-матем. наук, старший научный сотрудник,
Панюнин Никита Михайлович,
кандидат физ.-матем. наук, научный сотрудник,
«Книга "Математическая составляющая"»

Книга «Математическая составляющая» — первая в отечественной научно-популярной литературе, в которой рассказывается как о «математической составляющей» фундаментальных достижений современной цивилизации, так и о математической «начинке» привычных, каждодневных вещей. Книга написана для того, чтобы такое представление смогли получить самые широкие слои читателей, и в особенности те, кто принимает важные решения: от школьника, выбирающего свою будущую профессию, до государственного деятеля, определяющего приоритеты в развитии страны.

Еще одна особенность книги — популярно-описательный стиль изложения, рассчитанный на самые широкие круги читателей.

Все авторы — известные учёные, среди них — 8 научных сотрудников МИАН.

Возможность получения читателем научной информации из первых рук — важная особенность книги. Книга превосходно издана, красочные и математически точные иллюстрации — ее важная составляющая.

[1] Математическая составляющая, ред. Н. Н. Андреев, С. П. Коновалов, Н. М. Панюнин, Математические этюды, М., 2015, ISBN 978-5-906825-00-1, 151 с.

Васильев Виктор Анатольевич,
академик РАН, доктор физ.-матем. наук, главный научный сотрудник,
«Лемма Ньютона об интегрируемых овалах в высших размерностях, и группы, порожденные отражениями»

Решена задача В. И. Арнольда о многомерном обобщении XXVIII леммы Ньютона, поставленная в 1987 году в связи с празднованием 300-летия «Начал». Для произвольных ограниченных областей с гладкими границами во всех четномерных пространствах доказано, что не существует выпуклой ограниченной области с бесконечно гладкой границей такой, что объемы, отсекаемые от области всевозможными аффинными гиперплоскостями, определяют алгебраическую функцию на пространстве гиперплоскостей. Доказательство основано на теории Пикара–Лефшеца и теории групп, порожденных отражениями.

[1] V. A. Vassiliev, Newton's lemma XXVIII on integrable ovals in higher dimensions and reflection groups, Bull. Lond. Math. Soc., 47:2 (2015), 290–300,
arXiv: 1407.7221,
Math-Net.Ru: blms1,
DOI: 10.1112/blms/bdv002,
MathSciNet: MR3335123,
zbMATH: Zbl 1315.14015,
Web of Science: 000354646700012,
eLIBRARY: 24021707,
Scopus: 2-s2.0-84926688206.

Холево Александр Семенович,
доктор физ.-матем. наук, заведующий Отделом теории вероятностей и математической статистики,
«Доказательство гипотезы о квантовых гауссовских оптимизаторах»

В работах А. С. Холево в сотрудничестве с европейскими коллегами дано решение, в позитивном смысле, проблемы квантовых гауссовских оптимизаторов, возникшей в квантовой информатике более 15 лет назад: средствами некоммутативной теории вероятностей показано, что выпуклый функционал общего вида (включая энтропии фон Неймана, Реньи и нормы Шаттена), заданный на области значений гауссовского вполне положительного отображения (канала) на алгебре канонических коммутационных соотношений, достигает глобального экстремума на образе когерентных состояний, причем последние характеризуются этим свойством. Этот результат позволил вычислить пропускные способности и описать оптимальные методы кодирования для математических моделей каналов связи, наиболее употребительных в квантовой информатике и квантовой оптике.

[1] А. С. Холево, Гауссовские оптимизаторы и проблема аддитивности в квантовой теории информации, УМН, 70:2(422) (2015), 141–180,
Math-Net.Ru: rm9634,
DOI: 10.4213/rm9634,
MathSciNet: MR3353129,
ADS NASA: 2015RuMaS..70..331H,
eLIBRARY: 23421591;
A. S. Holevo, Gaussian optimizers and the additivity problem in quantum information theory, Russian Math. Surveys, 70:2 (2015), 331–367,
DOI: 10.1070/RM2015v070n02ABEH004949,
MathSciNet: MR3353129,
Web of Science: 000358073900004,
eLIBRARY: 23991466,
Scopus: 2-s2.0-84937419246.
[2] V. Giovannetti, A. S. Holevo, R. García-Patrón, A solution of Gaussian optimizer conjecture for quantum channels, Comm. Math. Phys., 334:3 (2015), 1553–1571,
Math-Net.Ru: cmph1,
DOI: 10.1007/s00220-014-2150-6,
MathSciNet: MR3312443,
zbMATH: Zbl 1308.81046,
Web of Science: 000350030500011,
eLIBRARY: 24033488,
Scopus: 2-s2.0-84906438681.
[3] A. Mari, V. Giovannetti, A. S. Holevo, Quantum state majorization at the output of bosonic Gaussian channels, Nature Communications, 5 (2014), 3826, 5 pp.,
DOI: 10.1038/ncomms4826,
Web of Science: 000337373200001,
Scopus: 2-s2.0-84900024188.
[4] V. Giovannetti, R. Garcia-Patron, N. J. Cerf, A. S. Holevo, Ultimate classical communication rates of quantum optical channels, Nature Photonics, 8:10 (2014), 216, 6 pp.,
DOI: 10.1038/nphoton.2014.216,
Web of Science: 000343145200015,
Scopus: 2-s2.0-84908042553.

 
 

В 2015 году в МИАН получены следующие важные результаты фундаментальных исследований. Эти результаты признаны Ученым советом МИАН (на заседании от 12 ноября 2015 года, протокол № 8) лучшими работами по МИАН в 2015 году.

Буфетов Александр Игоревич,
доктор физ.-матем. наук, ведущий научный сотрудник,
«Квази-симметрии детерминантных точечных процессов»

А. И. Буфетовым установлено, что классический синус-процесс Дайсона и, более общо, процесс, отвечающий проектору с интегрируемым ядром, квази-инвариантен относительно группы диффеоморфизмов прямой с компактным носителем. Производная Радона-Никодима при этом находится в виде явно заданного мультипликативного функционала. Свойство квази-инвариантности можно считать аналогом гиббсовского свойства для детерминантных точечных случайных полей. В совместной работе с Янши Шиу (CNRS-Тулуза) А. И. Буфетовым устанавливается, что детерминантные точечные процессы, отвечающие классическим пространствам голоморфных функций (пространства Бергмана, пространства Фока) квази-инвариантны относительно группы диффеоморфизмов с компактным носителем.

[1] А. И. Буфетов, О действии группы диффеоморфизмов на детерминантные меры, УМН, 70:5 (2015), 175–176,
Math-Net.Ru: rm9662,
DOI: 10.4213/rm9662.
[2] Alexander I. Bufetov, Yanqi Qiu, Equivalence of Palm measures for determinantal point processes associated with Hilbert spaces of holomorphic functions, C. R. Math. Acad. Sci. Paris, 353:6 (2015), 551–555,
Math-Net.Ru: crmat1,
DOI: 10.1016/j.crma.2015.03.018,
MathSciNet: MR3348991,
zbMATH: Zbl 06451248,
Web of Science: 000356840800015,
eLIBRARY: 24033490,
Scopus: 2-s2.0-84929607269.
[3] Alexander I. Bufetov, Quasi-Symmetries of Determinantal Point Processes, 2015 (v1 – 2014), 45 pp.,
arXiv: 1409.2068v2.

Быков Дмитрий Владимирович,
кандидат физ.-матем. наук, старший научный сотрудник,
«Интегрируемые свойства сигма-моделей с несимметрическими таргет-пространствами»

Известно, что сигма-модели с симметрическими таргет-пространствами являются классически интегрируемыми. На примере сигма-модели, таргет-пространством которой служит пространство флагов $U(3)/U(1)^3$, показано, что «включение» нетривиального B-поля приводит к уравнениям движения, которые могут быть записаны в виде условия нулевой кривизны однопараметрического семейства связностей.

[1] D. Bykov, Integrable properties of $\sigma$-models with non-symmetric target spaces, Nuclear Phys. B, 894 (2015), 254–267,
arXiv: 1412.3746
Math-Net.Ru: nphb2,
DOI: 10.1016/j.nuclphysb.2015.03.005,
MathSciNet: MR3333626,
Web of Science: 000353853300011,
eLIBRARY: 24016126,
Scopus: 2-s2.0-84924530102.

Ватутин Владимир Алексеевич,
доктор физ.-матем. наук, ведущий научный сотрудник,
«Предельные теоремы для условных распределений редуцированных разложимых критических ветвящихся процессов»

Рассматривается строго критический ветвящийся процесс Гальтона–Ватсона с $N$ типами частиц, занумерованных числами $1,2,\dots,N$, в котором частицы типа $i$ могут производить потомков лишь типов $j\geqslant i$. При условии, что процесс начинается с одной частицы типа 1 и не вырождается к моменту $n$, изучаются числа $Z_i(m,n)$ частиц типа $i$, существовавших в момент $m

Показано, в частности, что распределения последовательности процессов $$\mathbf{Z}(n^t,n)=(Z_1(n^t,n),\dots,Z_N(n^t,n)),\qquad t\in[0,1],$$ при условии невырождения к моменту $n\to\infty$ сходятся к распределению ступенчатого процесса с фиксированными границами $N$ ступенек, у которого на каждой ступеньке отлична от 0 только одна координата. Описаны процессы переходов между ступеньками, найдено предельное распределение расстояния до ближайшего общего предка всех частиц, существующих в процессе в далекий момент $n$.

[1] V. Vatutin, Macroscopic and microscopic sutructures of the family tree for a critical decomposable branching process”, Abstracts of the Intrenational Congress of Mathematicians (Seoul, Korea, August 13–21, 2014), Abstracts. Short Communications. Posters Sessions, Seoul ICM 2014, Organizing Committee, Seoul, Korea, 2014, 431,
[2] В. А. Ватутин, Структура разложимых редуцированных ветвящихся процессов. I. Конечномерные распределения, ТВП, 59:4 (2014), 667–692,
Math-Net.Ru: tvp4591,
DOI: 10.4213/tvp4591,
eLIBRARY: 23780244.
[3] В. А. Ватутин, Структура разложимых редуцированных ветвящихся процессов. II. Функциональные предельные теоремы, ТВП, 60:1 (2015), 25–44,
Math-Net.Ru: tvp4604,
DOI: 10.4213/tvp4604,
eLIBRARY: 23780257.

Гайфуллин Александр Александрович,
доктор физ.-матем. наук, ведущий научный сотрудник,
«О гипотезе кузнечных мехов в пространствах постоянной кривизны»

Построены контрпримеры к гипотезе кузнечных мехов в сферических пространствах всех размерностей [1]. Доказана гипотеза кузнечных мехов для ограниченных изгибаемых многогранников в нечетномерных пространствах Лобачевского [2].

[1] А. А. Гайфуллин, Вложенные изгибаемые сферические кросс-политопы с непостоянными объемами, Геометрия, топология и приложения, Сборник статей. К 70-летию со дня рождения профессора Николая Петровича Долбилина, Тр. МИАН, 288, МАИК, М., 2015, 67–94,
Math-Net.Ru: tm3598,
DOI: 10.1134/S0371968515010057,
eLIBRARY: 23302165;
A. A. Gaifullin, Embedded flexible spherical cross-polytopes with nonconstant volumes, Proc. Steklov Inst. Math., 288 (2015), 56–80,
arXiv: 1501.06198
DOI: 10.1134/S0081543815010058,
Web of Science: 000353881900005,
Scopus: 2-s2.0-84928718929.
[2] А. А. Гайфуллин, Аналитическое продолжение объема и гипотеза кузнечных мехов в пространствах Лобачевского, Матем. сб., 206:11 (2015), 61–112,
Math-Net.Ru: sm8522,
DOI: 10.4213/sm8522.

Кашин Борис Сергеевич,
академик РАН, доктор физ.-матем. наук, главный научный сотрудник,
«О методе Лунина нахождения больших подматриц с малой нормой»

С использованием подхода, предложенного А. А. Луниным в 1989 г., даются оценки сверху норм больших подматриц данной $(N\times n)$-матрицы, задающей оператор единичной нормы из пространства $l_2^n$ в $l_1^N$.

[1] Б. С. Кашин, О методе Лунина нахождения больших подматриц с малой нормой, Матем. сб., 206:7 (2015), 95–102,
Math-Net.Ru: msb8495,
DOI: 10.4213/sm8495,
eLIBRARY: 23780226;
B. S. Kashin, Lunin's method for selecting large submatrices with small norm, Sb. Math., 206:7 (2015), 980–987,
DOI: 10.1070/SM2015v206n07ABEH004485,
Web of Science: 000362272200004,
Scopus: 2-s2.0-84943279231.

Козлов Валерий Васильевич,
академик РАН, доктор физ.-матем. наук, директор, главный научный сотрудник,
«Динамика систем с сервосвязями»

Изучается динамика систем с сервосвязями Бегена в двух вариантах:
– когда связи реализуются посредством управляемых сил. Классические неголономные системы представляют важный частный случай,
– когда связи реализуются посредством управления инерционными свойствами системы. Примером являются вакономные системы.
Особое внимание уделено исследованию движения на группах Ли с левоинвариантной кинетической энергией и левоинвариантной связью. Наличие симметрий позволяет свести динамические уравнения к замкнутой системе дифференциальных уравнений с квадратичными правыми частями на алгебре Ли. В качестве примеров рассмотрено вращение твердого тела с левоинвариантной сервосвязью — проекция угловой скорости на некоторое фиксированное в теле направление равно нулю (обобщение неголономной задачи Суслова), а также движение саней Чаплыгина с сервосвязями определенного вида. Динамика систем с сервосвязями Бегена богаче и разнообразнее по сравнению с более привычной динамикой неголономных и вакономных систем.

[1] Valery V. Kozlov, The dynamics of systems with servoconstraints. I, Regul. Chaotic Dyn., 20:3 (2015), 205–224,
Math-Net.Ru: rcd1,
DOI: 10.1134/S1560354715030016,
MathSciNet: MR3357272,
Web of Science: 000356354200001,
Scopus: 2-s2.0-84934930966;
В. В. Козлов, Динамика систем с сервосвязями. I, Нелинейная динам., 11:2 (2015), 353–376,
Math-Net.Ru: nd485,
eLIBRARY: 23828736.
[2] V. V. Kozlov, The dynamics of systems with servoconstraints. II, Regul. Chaotic Dyn., 20:4 (2015), 401–427,
Math-Net.Ru: rcd3,
DOI: 10.1134/S1560354715040012,
MathSciNet: MR3376598,
Web of Science: 000358990500001,
eLIBRARY: 23996103,
Scopus: 2-s2.0-84938589237.

Козырев Сергей Владимирович,
доктор физ.-матем. наук, ведущий научный сотрудник,
«Некоторые математические методы исследования сложных и биологических систем»

Исследованы различные математические модели сложных и биологических систем. Рассмотрена [1] динамика квантовых многочастичных систем в модели экситонного переноса в квантовом фотосинтезе при помощи мастер-уравнений типа Линдблада в методе стохастического предела квантовой теории. Показано, что за счёт настройки взаимодействий можно получить эффект сверхпереноса в данной модели. Изучена [2] динамика молекулярной машины при помощи систему уравнений ультраметрической реакции-диффузии со сносом. Построена [3] решеточная модель с нелокальным взаимодействием для линейного полимера. Показано, что в такой модели возникают решёточные аналоги вторичных структур в белке (альфа-спиралей и бета-тяжей).

[1] И. Я. Арефьева, И. В. Волович, С. В. Козырев, Метод стохастического предела и интерференция в квантовых многочастичных системах, ТМФ, 183:3 (2015), 388–408,
Math-Net.Ru: tmf8828,
DOI: 10.4213/tmf8828,
MathSciNet: MR3399653,
eLIBRARY: 23780233;
I. V. Volovich, S. V. Kozyrev, Stochastic limit method and interference in quantum many-particle systems, Theoret. and Math. Phys., 183:3 (2015), 782–799,
DOI: 10.1007/s11232-015-0296-9,
MathSciNet: MR3399653,
Web of Science: 000356934400004,
Scopus: 2-s2.0-84932650634.
[2] A. Khrennikov, S. Kozyrev, A. Månsson, Hierarchical model of the actomyosin molecular motor based on ultrametric diffusion with drift, Infin. Dimens. Anal. Quantum Probab. Relat. Top., 18:2 (2015), 1550013, 16 pp.,
arXiv: 1312.7528,
Math-Net.Ru: idaqp1,
DOI: 10.1142/S0219025715500137,
MathSciNet: MR3356251,
zbMATH: Zbl 06471200,
Web of Science: 000356062300005,
eLIBRARY: 24046588,
Scopus: 2-s2.0-84930926535.
[3] S. V. Kozyrev, I. V. Volovich, Quinary lattice model of secondary structures of polymers, Phys. A, 393 (2014), 86–95,
arXiv: 1206.4424,
DOI: 10.1016/j.physa.2013.09.020,
MathSciNet: MR3118040,
Web of Science: 000328179200008,
Scopus: 2-s2.0-84886590917.

Королев Максим Александрович,
доктор физ.-матем. наук, ведущий научный сотрудник,
«Моменты тригонометрических полиномов и их применение в теории дзета-функции Римана»

В этой работе для дробных моментов тригонометрических полиномов впервые получены асимптотические разложения в виде бесконечных рядов с явно вычисленными коэффициентами и с достаточно точными остаточными членами. Полиномы такого вида используются в теории дзета-функции Римана для приближения ее логарифма на критической прямой. Следствиями полученных асимптотических разложений явились уточнение оценок остаточных членов в формулах А. Сельберга и А. Гоша для дробных моментов функции $S(t)$ — ветви аргумента дзета-функции Римана на критической прямой, а также вывод аналогов формул А. Сельберга, связанных с законом Грама в теории дзета-функции Римана.

[1] М. А. Королев, Моменты тригонометрических полиномов и их применение в теории дзета-функции Римана, Доклады Академии наук, 456:3 (2014), 272–274,
DOI: 10.7868/S0869565214150031,
MathSciNet: MR3287547,
eLIBRARY: 21485156;
M. A. Korolev, Moments of trigonometric polynomials and their applications in the theory of the Riemann zeta-function, Dokl. Math., 89:3 (2014), 305–307,
DOI: 10.1134/S1064562414030132,
MathSciNet: MR3287547,
Web of Science: 000339402700012,
Scopus: 2-s2.0-84904353286.
[2] М. А. Королёв, Закон Грама в теории дзета-функции Римана. Ч. 1, Совр. пробл. матем., 20, МИАН, М., 2015 (в печати).

Кузнецов Александр Геннадьевич,
доктор физ.-матем. наук, ведущий научный сотрудник,
«Категорные разрешения нерациональных особенностей»

Разрешение особенностей — одна из самых важных процедур в алгебраической геометрии. Однако, с категорной точки зрения, не все особенности можно разрешить геометрическими методами, в случае нерациональных особенностей не существует геометрического категорногоразрешения. В нашей работе мы показываем, что тем не менее любая особенность в характеристике нуль допускает категорное разрешение. Соответствующая категория строится модификацией геометрической процедуры разрешения особенностей (восходящей к Хиронаке).

[1] Alexander Kuznetsov, Valery A. Lunts, Categorical resolutions of irrational singularities, Int. Math. Res. Not. IMRN, 2015:13 (2015), 4536–4625,
Math-Net.Ru: imrn3,
DOI: 10.1093/imrn/rnu072,
zbMATH: Zbl 06465114,
Web of Science: 000359714900003,
Scopus: 2-s2.0-84941905378.

Немировский Стефан Юрьевич,
член-корр. РАН, доктор физ.-матем. наук, главный научный сотрудник, директор Научно-образовательного центра МИАН,
«Рационально выпуклые области и особенности лагранжевых поверхностей в $C^2$»

В работе даётся полная характеристика расслоений над поверхностями со слоем-диском, допускающих вложение в $C^2$ в виде рационально выпуклых строго псевдовыпуклых областей. Устанавливается тесная связь этого со свойствами лагранжевых поверхностей с изолированными особенностями в $R^4$, в частности, даётся полная характеристика лагранжевых поверхностей с особенностями типа открытых зонтиков Уитни.

[1] S. Nemirovski, K. Siegel, Rationally convex domains and singular Lagrangian surfaces in $\mathbb C^2$, Invent. Math., 2015 (Published online), 26 pp.
arXiv: 1410.4652,
Math-Net.Ru: invma1,
DOI: 10.1007/s00222-015-0598-4,
eLIBRARY: 24026595,
Scopus: 2-s2.0-84928735711.

Подольский Владимир Владимирович,
кандидат физ.-матем. наук, старший научный сотрудник,
«Оценки длин переформулировок запросов к снабженным логической теорией базам данных»

В цикле работ В. В. Подольского был получен ряд результатов по приложению теории сложности булевых схем к так называемым базам данных с онтологическим доступом. На элементах такой базы данных задаются предикаты, а также некоторая логическая теория первого порядка. Запросом к такой базе данных является формула логики первого порядка, а ответом на запрос является набор элементов базы данных, удовлетворяющий этой формуле. Одним из основных вопросов в этой области является вопрос об алгоритмической сложности задачи поиска ответа на заданный запрос к базе данных. Стандартным подходом к решению этой задачи является переформулировка заданного запроса к базе данных в таком виде, чтобы поиск ответа на запрос зависел лишь от значения предикатов, заданных на элементах базы. В цикле из трех работ, совместных с разными соавторами, исследовался вопрос о том, насколько увеличивается длина запроса при такой переформулировке. Был получен ряд верхних и нижних оценок этой величины при различных ограничениях на виды рассматриваемых логических теорий, запросов и переформулировок запросов. Для получения этих оценок используются классические результаты из теории сложности булевых схем. Была введена новая модель вычисления булевых функций, так называемые гиперграфовые программы. Эта модель была использована как связующее звено между запросами к базам данных и булевыми схемами.

[1] Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev, The price of query rewriting in ontology-based data access, Artificial Intelligence, 213 (2014), 42–59,
DOI: 10.1016/j.artint.2014.04.004,
MathSciNet: MR3210915,
zbMATH: Zbl 06302337,
Web of Science: 000337772500002,
eLIBRARY: 21880243,
Scopus: 2-s2.0-84901044170.
[2] Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), ACM Digital Library, 2014, 57:1–57:10,
arXiv: 1401.4420,
[3] Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii, Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results, 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, 2015, 317–328,
arXiv: 1406.3047,
Math-Net.Ru: lics1,
DOI: 10.1109/LICS.2015.38.

На главную страницу

© Математический институт им. В.А. Стеклова Российской академии наук, 2004–2017
Разработка и дизайн: Отдел КС и ИТ