Публикации сотрудников МИАН

Статьи 1. Dmitri Orlov, “Finite-dimensional differential graded algebras and their geometric realizations”, Adv. Math., 366 (2020), Article 107096 , arXiv: 1907.08162       2. N. G. Marchuk, D. S. Shirokov, “Local Generalization of Paulis Theorem”, Azerbaijan Journal of Mathematics, 10:1 (2020), 38–56 https://www.azjm.org/volumes/1001/pdf/1001-3.pdf, arXiv: 1201.4985 3. Alexander Kolpakov, Alexey Talambutsa, “Spherical and geodesic growth rates of right-angled Coxeter and Artin groups are Perron numbers”, Discrete Math., 343:3 (2020), 111763 , 8 pp., arXiv: 1809.09591             4. I. D. Shkredov, “Any small multiplicative sugroup is not a sumset”, Finite Fields and Their Applications, 63 (2020), https://doi.org/10.1016/j.ffa.2020.101645 , 15 pp.       (cited: 1) 5. I. D. Shkredov, “A remark on sets with small Wiener norm”, In: Raigorodskii A., Rassias M. (eds) “Trigonometric Sums and Their Applications”, Springer, Cham, 2020, 261–272   6. A. Sergeev, “Universal Teichmuüller space as a non-trivial example of infinite-dimensional complex manifolds”, Handbook of Teichmüller Theory, т. 30, IRMA Lectures in Mathematics and Theoretical Physics, VII, European Math. Society Publ. House, Berlin, 2020, 195–213   7. S. Fiedler-Le Touzé, S. Orevkov, E. Shustin, “Corrigendum to "A flexible affine $M$-sextic which is algebraically unrealizable"”, J. Algebraic Geom., 29:1 (2020), 109–121           8. A. K. Pogrebkov, “Induced Dynamics”, J. Nonlinear Math. Phys., 27:2 (2020), 324–336             9. Dmitry Frolenkov, “The cubic moment of automorphic $L$-functions in the weight aspect”, J. Number Theory, 207:2 (2020), 247–281             10. E. O. Kiktenko, A. S. Nikolaeva, Peng Xu, G. V. Shlyapnikov, A. K. Fedorov, “Scalable quantum computing with qudits on a graph”, J. Phys. A, 101:2 (2020), 22304 , 7 pp., arXiv: 1909.08973         11. S.Abdel- Khalek,E.M. Khalil, B. Alsubei,BogolubovJr, M. Rasulova, “Entangled Pair of the su (1) Quantum Systems Interecting with two two-level Atoms”, Journal of Russian Laser Research, 2020, 1-10   12. Sergei Konyagin, Benny Sudakov, “An extremal problem for integer sparse recovery”, Linear Algebra Appl., 56:1 (2020), 1–6 , arXiv: 1904.08661v2         13. G.G. Amosov, A.S. Mokeev, “Non-commutative graphs in the Fock space over one-particle Hilbert space”, Lobachevskii J. Math., 41:4 (2020), 589–593   14. M. Vasilyev, A. Zabrodin, A. Zotov, “Quantum-classical duality for Gaudin magnets with boundary”, Nuclear Phys. B, 952 (2020), 114931 , 20 pp., arXiv: 1911.11792           15. E. O. Kiktenko, D. N. Kublikova, A. K. Fedorov, “Estimating the precision for quantum process tomography”, Optical Engineering, 59:6 (2020), 061614 , 6 pp.   16. E. O. Kiktenko, A. S. Mastiukova, A. K. Fedorov, “Protecting quantum systems from decoherence with unitary operations”, Optical Engineering, 59:7 (2020), 061625 , 17 pp.   17. S. N. Filippov, G. N. Semin, A. N. Pechen, “Quantum master equations for a system interacting with a quantum gas in the low-density limit and for the semiclassical collision model”, Phys. Rev. A, 101 (2020), 12114 , 10 pp., arXiv: 1908.11202           18. D. A. Kronberg, A. S. Nikolaeva, Y. V. Kurochkin, A. K. Fedorov, “Quantum soft filtering for the improved security analysis of the coherent one-way quantum-key-distribution protocol”, Phys. Rev. A, 101:3 (2020), 032334 , arXiv: 1910.06167   19. Y. A. Kharkov, V. E. Sotskov, A. A. Karazeev, E. O. Kiktenko, A. K. Fedorov, “Revealing quantum chaos with machine learning”, Phys. Rev. B, 101 (2020), 64406 , 12 pp., arXiv: 1902.09216         20. G. Shakan, M. Rudnev, I. D. Shkredov, “Stronger sum-product inequalities for small sets”, Proc. Amer. Math. Soc., 148 (2020), 1467–1479       21. Alexander Kuznetsov, Maxim Smirnov, “On residual categories for Grassmannians”, Proc. London Math. Soc. (3), 120:5 (2020), 617–641         22. O. Balkanova, G. Bhowmik, D. Frolenkov, N. Raulf, “Mixed moment of $GL(2)$ and $GL(3)$ $L$-functions”, Proc. London Math. Soc. (3), 121:2 (2020), 177–219       23. V.V.Shokurov, “Skrepa morphisms”, Pure and Applied Mathematics Quarterly, 16:1 (2020), 35-124       24. G. G. Amosov, A. S. Mokeev, A. N. Pechen, “Non-commutative graphs and quantum error correction for a two-mode quantum oscillator”, Quantum Inf. Process., 19:3 (2020), 95 , 12 pp.           25. D. I. Bondar, A. N. Pechen, “Uncomputability and complexity of quantum control”, Scientific Reports, 10 (2020), 1195 , 10 pp., arXiv: 1907.10082       26. Vladimir L. Popov, “Variations on the theme of Zariski$\rm{}^{\prime}s$ Cancellation Problem”, Polynomial Rings and Affine Algebraic Geometrу, PRAAG 2018 (Tokyo, Japan, February 12–16, 2018), ISBN 978-3-030-42135-9 (print), ISBN 978-3-030-42136-6 (online), Springer Proceedings in Mathematics & Statistics (PROMS), 319, Springer, Cham, 2020, 233–250 , arXiv: 1901.07030   27. Fedor V. Fomin, Vladimir V. Podolskii, “CSR 2018 Special Issue on TOCS”, Theory Comput. Syst., 64 (2020), 1–2             28. A. P. Chugainova, A. G. Kulikovskii, “Longitudinal and torsional shock waves in anisotropic elastic cylinders”, Z. Angew. Math. Phys., 71:1 (2020), 17 , 15 pp.             29. Ф. М. Малышев, “Булевы аналоги треугольника Паскаля с максимально возможным числом единиц”, Дискрет. матем., 32:1 (2020), 51–59     30. В. А. Ватутин, Е. Е. Дьяконова, “Вероятность невырождения для одного класса многотипных докритических ветвящихся процессов в случайной среде”, Матем. заметки, 107:2 (2020), 163–177    ; V. A. Vatutin, E. E. D'yakonova, “The Survival Probability for a Class of Multitype Subcritical Branching Processes in Random Environment”, Math. Notes, 107:2 (2020), 189–200         31. М. Р. Габдуллин, “Нижние оценки винеровской нормы в $\mathbb Z_p^d$”, Матем. заметки, 107:4 (2020), 515–532     32. А. Е. Теретёнков, “Динамика моментов произвольного порядка для стохастических пуассоновских сжатий”, Матем. заметки, 107:4 (2020), 637–640     33. Д. В. Осипов, А. Н. Паршин, “Гармонический анализ на группе нормирования ранга 2 двумерного локального поля”, Матем. сб., 211:1 (2020), 125–174   (цит.: 1)    ; D. V. Osipov, A. N. Parshin, “Harmonic analysis on the rank-$2$ value group of a two-dimensional local field”, Sbornik: mathematics, 211:1 (2020), 115–160 , arXiv: 1911.09718         34. В. В. Козлов, “Первые интегралы и асимптотические траектории”, Матем. сб., 211:1 (2020), 32–59        ; V. V. Kozlov, “First integrals and asymptotic trajectories”, Sb. Math., 211:1 (2020), 29–54   35. К. А. Шрамов, “Бирациональные автоморфизмы поверхностей Севери–Брауэра”, Матем. сб., 211:3 (2020), 169–184       36. В. И. Афанасьев, “Функциональные предельные теоремы для разложимых ветвящихся процессов с двумя типами частиц”, Тезисы докладов, представленных на Четвертой международной конференции по стохастическим методам, Теория вероятностей и ее применение, 65:1 (2020), 151-201     37. И. Я. Арефьева, К. Ранну, “Голографический ренормгрупповой поток в анизотропной среде”, ТМФ, 202:2 (2020), 312–324      ; I. Ya. Aref'eva, K. Rannu, “Holographic renormalization group flow in anisotropic matter”, Theoret. and Math. Phys., 202:2 (2020), 272–283       38. А. Г. Сергеев, “Адиабатический предел в уравнениях Гинзбурга–Ландау и Зайберга–Виттена”, ТМФ, 203:1 (2020), 151–160    ; A. G. Sergeev, “Adiabatic limit in Ginzburg–Landau and Seiberg–Witten equations”, Theoret. and Math. Phys., 203:1 (2020), 561–568 39. М. С. Никольский, “О максимальном гарантированном выигрыше в некоторых задачах конфликтного управления многошаговыми процессами”, Тр. ИММ УрО РАН, 26, № 1, 2020, 167–172       40. Д. В. Трещев, “Диффеоморфизмы, сохраняющие объем, как отображения Пуанкаре для сохраняющих объем потоков”, УМН, 75:1(451) (2020), 195–196     41. А. С. Холево, “Об условиях принадлежности оператора классу $\mathscr{S}_{p}$”, УМН, 75:1(451) (2020), 199–200       42. А. Г. Сергеев, “В поисках бесконечномерной кэлеровой геометрии”, УМН, 75:2(452) (2020), 133–184     43. Е. В. Щепин, “О кривой Серпинского–Кноппа”, УМН, 75:2(452) (2020), 191–192     44. А. А. Муравлёв, “Асимптотика границ в одной нелинейной задаче об оптимальной остановке”, УМН, 75:2(452) (2020), 193–194     45. А. И. Буфетов, “Условные меры детерминантных точечных процессов”, Функц. анализ и его прил., 54:1 (2020), 11–28     46. С. Ю. Оревков, “Квазиположительные зацепления и связные суммы”, Функц. анализ и его прил., 54:1 (2020), 81–86       47. М. А. Королев, “Kloosterman sums with primes and the solvability of one congruence with inverse residues — II”, Чебышевский сборник, 21:1 (73), Выпуск посвящен 80-летию академика Российской академии наук, академика Национальной академии наук Белоруссии, доктора физико-математических наук, профессора Владимира Петровича Платонова . (2020), 179–190   ArXiv 48. Vladimir L. Popov, Yuri G. Zarhin, Root lattices in number fields, 2020 , 19 pp., arXiv: 2002.04641 49. Nicola Gigli, Alexander Tyulenev, Korevaar-Schoen's energy on strongly rectifiable spaces, 2020 , 44 pp., arXiv: 2002.07440 50. V. A. Vassiliev, Integrable bodies in odd-dimensional spaces, 2020 , 18 pp., arXiv: 2003.04665 51. Irina Ya. Arefeva, Alexander Patrushev, Pavel Slepov, Holographic Entanglement Entropy in Anisotropic Background with Confinement-Deconfinement Phase Transition, 2020 , 67 pp., arXiv: 2003.05847 52. V. I. Afanasyev, A critical branching process with immigration in random environment, 2020 , 34 pp., arXiv: 2003.06590 53. A. Kuznetsov, Yu. Prokhorov, Rationality of Mukai varieties over non-closed fields, 2020 , 34 pp., arXiv: 2003.10761 54. S. Mori, Yu. Prokhorov, General elephants for threefold extremal contractions with one-dimensional fibers: exceptional case, 2020 , 20 pp., arXiv: arXiv:2002.10693 Научно-популярные и образовательные материалы 55. В. Арнольд, “Эволюционные процессы и обыкновенные дифференциальные уравнения”, Квант, 2020, № 1, 29–37   Personalia 56. А. М. Асташов, И. В. Асташова, А. В. Бочаров, В. М. Бухштабер, В. А. Васильев, А. М. Вербовецкий, А. М. Вершик, А. П. Веселов, М. М. Виноградов, Л. Витальяно, Р. Ф. Витоло, Ф. Ф. Воронов, В. Г. Кац, И. Косманн-Шварцбах, И. С. Красильщик, И. М. Кричевер, А. П. Крищенко, С. К. Ландо, В. В. Лычагин, М. Марван, В. П. Маслов, А. С. Мищенко, С. П. Новиков, В. Н. Рубцов, А. В. Самохин, А. Б. Сосинский, Дж. Сташеф, Д. Б. Фукс, А. Я. Хелемский, Н. Г. Хорькова, В. Н. Четвериков, А. С. Шварц, “Александр Михайлович Виноградов (некролог)”, УМН, 75:2(452) (2020), 185–190     57. С. И. Адян, В. М. Бухштабер, Е. И. Зельманов, С. В. Кисляков, В. В. Козлов, Ю. В. Матиясевич, С. П. Новиков, Д. О. Орлов, А. Н. Паршин, В. Л. Попов, Д. В. Трещев, “Владимир Петрович Платонов (к восьмидесятилетию со дня рождения)”, УМН, 75:2(452) (2020), 197–200     Прочие публикации 58. Дифференциальные уравнения и динамические системы, Сборник статей, Тр. МИАН, 308, ред. С. М. Асеев, А. А. Давыдов, Г. П. Панасенко, МИАН, М., 2020   59. Современные проблемы математической и теоретической физики, Сборник статей. К 80-летию со дня рождения академика Андрея Алексеевича Славнова, Тр. МИАН, 309, ред. Н. А. Славнов, А. К. Погребков, А. А. Белавин, А. В. Зотов, И. В. Тютин, МИАН, М., 2020   60. Избранные вопросы математики и механики, Сборник статей. К 70-летию со дня рождения академика Валерия Васильевича Козлова, Тр. МИАН, 310, ред. Д. В. Трещев, С. В. Болотин, А. Г. Куликовский, И. А. Тайманов, МИАН, М., 2020   61. Анализ и математическая физика, Сборник статей. К 70-летию со дня рождения профессора Армена Глебовича Сергеева, Тр. МИАН, 311, ред. С. Ю. Немировский, А. В. Комлов, МИАН, М., 2020

Статус рукописи: принято к публикации опубликовано online Опубликовано в: 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 Научные публикации: только научные публикации Статус авторов: штатные сотрудники МИАН внештатные сотрудники МИАН прочие авторы с аффилиацией МИАН Публикации включены в базы данных: Журналы включены в базы данных (для публикаций начиная с 2012 г.): Типы публикаций: Статьи Тезисы докладов Книги ArXiv Препринты Дипломные работы, диссертации Рукописи Авторы: Адян С. И.  Амосов Г. Г.  Арефьева И. Я.  Арнольд В. И.  Асеев С. М.  Афанасьев В. И.  Балканова О. Г.  Боголюбов (мл.) Н. Н.  Болотин С. В.  Буслаев В. И.  Буфетов А. И.  Бухштабер В. М.  Быков Д. В.  Васильев В. А.  Ватутин В. А.  Габдуллин М. Р.  Гущин А. А.  Дрожжинов Ю. Н.  Дьяконова Е. Е.  Жаринов В. В.  Житлухин М. В.  Зотов А. В.  Катанаев М. О.  Киктенко Е. О.  Козлов В. В.  Комлов А. В.  Конягин С. В.  Королёв М. А.  Кронберг Д. А.  Кузнецов А. Г.  Кузнецов С. Л.  Куликовский А. Г.  Малышев Ф. М.  Марчук Н. Г.  Муравлёв А. А.  Немировский С. Ю.  Никольский М. С.  Новиков С. П.  Оревков С. Ю.  Орлов Д. О.  Осипов Д. В.  Паршин А. Н.  Печень А. Н.  Погребков А. К.  Подольский В. В.  Попов В. Л.  Пржиялковский В. В.  Прохоров Ю. Г.  Сергеев А. Г.  Славнов Н. А.  Суетин С. П.  Таламбуца А. Л.  Теретёнков А. Е.  Трещев Д. В.  Тюленев А. И.  Филиппов С. Н.  Фроленков Д. А.  Холево А. С.  Чехов Л. О.  Чугайнова А. П.  Шамканов Д. С.  Шкредов И. Д.  Шокуров В. В.  Шрамов К. А.  Щепин Е. В.  Журналы (для публикаций начиная с 2012 г.): Труды Математического института имени В.А. Стеклова Успехи математических наук Теоретическая и математическая физика Математические заметки Доклады Академии наук Математический сборник Известия Российской академии наук. Серия математическая Дискретная математика Теория вероятностей и ее применения Квант Математические вопросы криптографии Lecture Notes in Computer Science Physical Review A Обозрение прикладной и промышленной математики Journal of High Energy Physics Труды Института математики и механики УрО РАН Moscow Mathematical Journal Функциональный анализ и его приложения Regular and Chaotic Dynamics Чебышевский сборник Nuclear Physics B Journal of Physics A: Mathematical and Theoretical Журнал вычислительной математики и математической физики Advances in Mathematics Нелинейная динамика P-Adic Numbers, Ultrametric Analysis, and Applications Труды Московского математического общества International Mathematics Research Notices. IMRN Итоги науки и техники. Серия «Современная математика и ее приложения. Тематические обзоры» Lobachevskii Journal of Mathematics Аффилиации (для публикаций начиная с 2012 г.): Математический институт им. В.А. Стеклова Российской академии наук Национальный исследовательский университет "Высшая школа экономики" Московский физико-технический институт (государственный университет) Московский государственный университет имени М. В. Ломоносова Международный центр квантовой оптики и квантовых технологий (Российский квантовый центр) Московский государственный университет имени М. В. Ломоносова, механико-математический факультет Институт теоретической и экспериментальной физики им. А. И. Алиханова Институт проблем передачи информации им. А.А. Харкевича Российской академии наук Лаборатория алгебраической геометрии и ее приложений, Национальный исследовательский университет «Высшая школа экономики» Московский государственный университет имени М. В. Ломоносова, Научно-исследовательский институт механики Московский государственный технический университет имени Н. Э. Баумана (национальный исследовательский университет) Национальный исследовательский технологический университет "МИСиС" International Institute for Applied Systems Analysis Национальный исследовательский ядерный университет "МИФИ" Сколковский институт науки и технологий Aix-Marseille Université Институт физики Земли им. О. Ю. Шмидта РАН Физико-технологический институт РАН Физический институт им. П. Н. Лебедева Российской академии наук Объединенный институт ядерных исследований, Лаборатория теоретической физики им. Н. Н. Боголюбова Научно-исследовательский институт системных исследований РАН Институт математики и механики им. Н. Н. Красовского Уральского отделения РАН Лаборатория Понселе Институт теоретической физики им. Л.Д. Ландау Российской академии наук Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук Институт программных систем им. А. К. Айламазяна РАН Institut de Mathématiques de Toulouse Laboratoire d'Annecy-le-Vieux de Physique Théorique (LAPTH) Российский университет дружбы народов Хабаровское отделение Института прикладной математики Дальневосточного отделения Российской академии наук Финансовая поддержка (для публикаций начиная с 2012 г.): Российский фонд фундаментальных исследований Конкурс инициативных научных проектов 11-01-00336-a 11-01-00329 11-01-00139 10-01-00178 11-01-00654 15-01-02164 11-01-00440 12-01-00319-а 11-01-00568 11-01-00744 11-01-00828-a 11-01-00336 15-01-02158 11-01-00185-a 12-01-00482 14-01-00860-a 11-01-00330 11-01-00759 12-05-00001 09-02-00393 11-01-00034 11-01-00759-a 11-01-00894_a 11-01-00894-a 13-01-00065 16-01-00562-a 16-07-01281-a 08-01-00395-a 11-01-00335 11-01-00828_a 11-01-00980-a 12-01-00319 12-01-00506 13-01-00685-а 14-01-00318_а 14-01-00695-a 14-01-00739 06-01-00383 09-01-00633 10-02-01398 11-01-00145-а 11-01-00185 11-01-00281-a 11-01-00348-а 11-01-00384 11-01-00417 11-01-00694 11-01-00949-a 11-01-00949-а 12-01-00175 13-01-00295-а 13-01-00622-а 13-08-01096-а 14-01-00160 14-01-00318 14-01-00332 14-01-00860 15-01-09218a 15-01-09218-a 16-07-01281 17-01-00592a 18-01-00273a 18-01-00822 09-01-00624-а 10-02-00312-a 11-01-00145 11-01-00145-a 11-01-00296-a 11-01-00440-a 11-01-00633-a 11-02-00456-a 11-02-01220 12-01-00441 12-02-00594 13-01-00685 14-01-00178-a 14-01-00416 14-01-00707 14-07-00937-a 14-08-00606 15-01-07531 16-01-00117 16-01-00295-а 17–01–00180 17-01-00366 17-01-00592-a 18-01-00273 18-01-00333-a 18-01-00764 18-01-00887 19–01–00332-а 08-01-00342 08-01-00399 10-01-00293-a 10-02-00312 10-02-00499 10-02-00509 10-02-01315-a 11-01-00197_a 11-01-00330-а 11-01-00348-a 11-01-00393 11-01-00495 11-01-00735 11-01-00759-а 11-01-00828-а 11-01-00949 11-01-00986-а 11-02-00441 11-02-00455 11-02-00456 11-02-00456-а 12-01-00175-a 12-01-00175-а 12-01-00319-a 12-01-00648-а 12-01-00888-a 12-02-00193 13-01-00065-а 13-01-00295-a 13-01-00969-a 13-02-00457 13-02-00478 14-01-00012-а 14-01-00049_а 14-01-00127-a 14-01-00178a 14-01-00318-a 14-01-00417 14-01-00474-a 14-01-00506 14-01-00707_a 14-01-00709-a 14-01-00784 15-01-00361 15-01-02158_а 15-01-02164_а 15-01-03747а 15-01-07531-a 16-01-00295_а 16-01-00295-a 16-01-00748 16-01-00766 16-01-00781 16-07-01195 17-01-00180 17-01-00192 17-01-00366 A 17-01-00671 17-01-00805 18–01–00333-а 18-01-00926 18-37-00096 18-37-00282 01-01-00988 06–01–00160 07-01-00144_а 08- 01-00399 08-01-00032 08-01-00095 08-01-00563 08-01-00727-а 08-08-00297 09-01-00265 09-01-00378 09-01-00424 10-01-00096_a 10-01-00139-a 10-01-00139-а 10-01-00178_а 10-01-00178-a 10-01-00178-а 10-01-00395 10-01-00395-a 10-01-00397a 10-01-00406 10-01-00678-a 10-01-00724 10-01-0724-a 10-01-92102 10-02-01315 11-01- 00185-a 11-01-00034_а 11-01-00034-a 11-01-00068 11-01-00068_а 11-01-00068-a 11-01-00068-а 11-01-00185_a 11-01-00197 11-01-00197_а 11-01-00281-а 11-01-00296_a 11-01-00296_а 11-01-00330_а 11-01-00330-a 11-01-00335-a 11-01-00347 11-01-00348_а 11-01-00348a 11-01-00417_а 11-01-00440_a 11-01-00440_а 11-01-00476-а 11-01-00515-a 11-01-00584-a 11-01-00633 11-01-00633_а 11-01-00633-а 11-01-00707-а 11-01-00744-a 11-01-00759_а 11-01-00774 11-01-00822 11-01-00894 11-01-00947-а 11-01-00962_а 11-01-00962-a 11-01-00980 11-01-00986-a 110100986-a 11-02- 00778 11-02-00778 11-07-00464-a 12-01-00175_а 12-01-00190 12-01-00319_а 12-01-00441_а 12-01-00441-a 12-01-00506_а 12-01-00506-a 12-01-00506-а 12-01-00525-a 12-01-00681-а 12-01-00704 12-01-00836 12-01-00888_a 12-01-00888-а 12-02-00284 12-05-00889 12-05-98009 13-01-00110_а 13-01-00295a 13-01-00295а 13-01-00383A 13-01-00622 13-01-00664-a 13-01-00685_а 13-01-00685-a 13-01-00969-а 13-07-00711 14-01-00012-a 14-01-00049 14-01-00160_а 14-01-00178 а 14-01-00203 14-01-00203-а 14-01-00318-а 14-01-00443 14-01-00474 14-01-00474_а 14-01-00486-а 14-01-00537-a 14-01-00547-а 14-01-00684 14-01-00695 14-01-00695_a 14-01-00707_а 14-01-00860_a 14-01-00860_а 14-01-00860-а 14-02-00937 15-01-02094-a 15-01-02094-а 15-01-02158а 15-01-02164а 15-01-03747 15-01-03747a 15–01–09218a 15-02-02128 15-02-04175 16–01–00295-a 16-01-00378_а 16-01-00378-a 16-01-00562 16-01-00562_a 16-01-00578 16–01–00781 16-01-00781_а 16–07–01195 16-07-01195_а 17-01-00366-а 17-01-00477 17-01-00592_a 17-01-00592_а 17-01-00644 17-01-00644_а 17-01-00805-а 17-01-00809 17-01-00809-а 17-02-00396 a 17-02-01134 17-07-00994 18-01-00273 a 18-01-00273_a 18-01-00333_а 18-01-00424 18-01-00460 18-01-00460_а 18-01-00461 18-01-00764-а 18-01-00793-a 18-01-00822 A 18-01-00883 18-01-00926_а 18-02-00642 a 18-02-01081 18-02-01081_а 18-02-40069 18-37-20073 18-51-50005 19-01-00332 19-01-00332_а 19-01-00332-a 19-01-00474 19-07-00750 15-01-02158 15-01-02164 15-51-50045 14-01-00160 14-01-00416 14-01-00332 12-01-33024 10-02-00312 11-02-00456 13-01-12449 14-01-00707 13-01-00622 13-01-00685 14-01-00506 16-01-00781 16-07-01195 12-02-00594 13-01-00234 14-01-00049 14-01-00318 14-01-00860 16-01-00117 16-32-00669 17-08-00742 18-32-00918 09-02-00142 10-01-91331 11-01-00185 11-01-00654 12-01-31284 12-01-33020 13-01-00383 13-01-12402 13-01-12420 14-01-00178 14-01-00537 14-02-00627 15-01-05990 15-02-04175 16-01-00295 16-52-12012 17-01-00805 11-01-00139 11-01-00145 11-01-00330 12-01-00482 12-01-31506 13-01-12047 13-01-12462 13-01-12469 14-01-00012 14-01-00466 14-01-00684 14-05-04053 15-01-03747 15-01-04217 15-01-07531 15-51-05012 01-01-14 02-02-01290 10-01-00178 11-01-00393 11-01-00417 11-01-00568 11-01-00633 11-01-00744 11-01-00759 11-01-00822 11-01-00949 11-01-00962 11-02-01220 12-01-00190 12-01-00319 12-01-00506 12-01-31012 12-01-31165 12-02-92108-JSPS 12-05-00889 13-01-00022 13-01-00251 13-01-00642 13-01-00923 13-01-12446 13-02-00457 13-02-00478 13-02-91330 13-02-91371-ST 14-01-00203 14-01-00346 14-01-00496 14-01-00516 14-01-00695 14-01-00739 14-01-90405-Ukr 14-01-92612 14-01-92691-Ind 14-07-00937 15-01-00361 15-01-05929 15-01-09218 15-01-09242 15-01-99504 15-05-06969 15-31-20484 15-51-52031 15-51-52031-NNSa 15-52-50041-YaF 15RF-054 16-01-00562 16-01-00578 16-01-00706 16-01-00748 16-01-00766 16-29-01092 16-29-03402 16-51-55017 17-01-00671 17-01-00809 17-01-00835 17-51-150001 18-01-000333 18-01-00460 18-01-00822 18-02-01081 18-37-00096 19-01-00474 Конкурс ориентированных фундаментальных исследований по актуальным междисциплинарным темам 11-01-12037-ofi-m 13-01-12430-офи-м2 13-01-12405-офи_м 11-01-12018-офи-м 11-01-12114-ofi-m 13-01-12405-ofi-m2 13-01-12446 офи-м2 11-01-12033-ofi-m 11-01-12112 11-01-12112-ofi-m 13-01-12405 13-01-12405-ofi-m 13-01-12420 офи_м2 11-01-12018-ofi-m 11-01-12033 11-01-12033-офи-м 11-01-12037-офи_м 11-01-12051 11-01-12051-ofi-m 11-01-12051-офи-м 11-01-12067_офи_м 11-01-12075-офи-м 11-01-12112-офи-м 11-01-12114-ofi_m 11-01-12114-офи_м 11-01-12114-офи-м 13-01-12047-офи-м 13-01-12405 ofi-m2 13-01-12420-офи_м2 13-01-12446 13-01-12446-офи-м 13-01-12449 13-01-12462 13-01-12469 13-01-12469-офи_м2 13-01-12469-офи-м2 16-29-01092 09-01-12150 09-01-12161-ofi_m 09-01-12173-офи-м 11-01-12002-ofi-m 11-01-12018_офи_м 11-01-12037 11-01-12037 офи_м 11-01-12043-ofi-m 11-01-12056-офи-м 11-01-12098-офи-м 11-01-12098-офи-м-2011 11-01-12112-ofi-m-2011 11-01-12140_офи_м 11-01-12140-ofi-m 13-01-12043-офи_м 13-01-12064 ofi-m 13-01-12402 офи_м2 13-01-12405 офи_м 13-01-12405_ofi_m 13-01-12405-офи-м 13-01-12417-ofi-m 13-01-12420 13-01-12420 ofi_m2 13-01-12420-офи-м2 13-01-12424-ofi-m 13-01-12430-ofi-m 13-01-12430-ofi-m2 13-01-12430-офи-м-2 13-01-12446 fi-m2 13-01-12446_офи_м 13-01-12446-ofi-m2 13-01-12446-офи-м2 13-01-12449 офи_м 13-01-12469 офи_м2 13-01-12469 офи-м2 13-01-12469_офи-м2 13-01-1247-ofi-m 16-29-01092-ofi_m Конкурс научных проектов, выполняемых ведущими молодежными коллективами 12-01-33024 12-01-33071 12-01-33080 18-31-20031 12-01-33024 mol_a_ved 15-31-20484 12-01-33020 12-01-33020-мол-а-вед 12-01-33071_мол_а_вед 12-01-33080 mol_a_ved 12-01-33080 мол_а_вед 12-01-33080-мол_а_вед 15-31-20484-mol-a-ved 12-01-31012 12-01-33020-mol-a-ved 12-01-33024 мол_а_вед 12-01-33024_мол-а-вед 12-01-33058_мол_а_вед 12-01-33071 mol_a_ved 12-01-33080_мол_а_вед 15-31-20484 mol_a_ved 15-31-20484_mol_a_ved 15-31-20484-mol_a_ved 15-31-20484-мол_а_вед. Конкурс инициативных научных проектов, выполняемых молодыми учеными (Мой первый грант) 12-01-31449-мол а 12-01-31449-мол_а 12-02-31524-mol-a 14-01-31468-mol_a 12-01-31165 12-01-31444 12-01-31506 12-01-31284 12-01-31284-мол-а 12-02-31200 14-01-31281-мол-а 12-01- 31385 12-01-31012 12-01-31059 12-01-31144 12-01-31165-мол-а 12-01-31241-mol-a 12-01-31273-mol-a 12-01-31298 12-01-31298-mol-a 12-01-31342 12-01-31506_мол-а 12-01-37273 12-01-37273-mol_a 12-02-31109-мол_а 12-02-31595 14-01-31115 14-01-31353-mol_a 16-31-00347 Совместный конкурс инициативных научных проектов РФФИ - Японское общество продвижения науки 12-02-92108 15-51-50045 10-02-92109-JSPS 15-52-50041 10-01-92104-JF_a 10-01-92104-YaF_a 13-01-92100 15-51-50045F a 15-51-50045Яф_а 18-51-50005 18-51-50005-ЯФ_а Непрерывный конкурс совместных российско-французских исследовательских проектов в рамках международных ассоциированных лабораторий и международных научно-исследовательских объединений 10-01-93113 09-01-93106 10-01-93115-NTsNIL 10-01-93115 10-01-93115-НЦНИЛ 09-01-93106-NCNIL-a 10-01-93110 Конкурс инициативных научных проектов, проводимый совместно РФФИ и Национальной академией наук Украины 12-01-90416-Укр_а 14-00-90408-Укр-а 14-01-90405-ukr-a 11-02-90453 11-02-90453-Ukr_a 12-01-90416-Ukr_a 12-01-90416-Ukr-a 14-00-90408 Укр_a 14-00-90408 Укр-а 14-00-90408_Укр_а 14-01-90405-Ukr Конкурс инициативных научных проектов, проводимый совместно РФФИ и Немецким научно-исследовательским сообществом (Германия) 08-01-91954 10-01-91331 09-02-91331 13-02-91330 16-52-12012 Конкурс инициативных научных проектов, проводимый РФФИ и CNRS 10-01-93115 09-01-93106-CNRS 12-02-91052-CNRS 12-02-91052 1545 Конкурс инициативных научных проектов, проводимый совместно РФФИ и Лондонским Королевским Обществом (Великобритания) 11-01-92613-KO_a 11-01-92613-KO-a 17-51-10005-KO_a Конкурс проектов фундаментальных научных исследований, выполняемых молодыми учеными - докторами или кандидатами наук, в научных организациях Российской Федерации 16-37-60070 mol-a-dk 16-37-60070 mol_a_dk 16-37-60070_mol_a_dk Конкурс инициативных научных проектов, проводимый РФФИ и Государственным комитетом по науке Министерства образования и науки Республики Армения 18-51-05009 13-01-90614 15-51-05012 Арм_а 18-51-05006 18-51-05006 Арм_а 18-51-05009_Арм_а КЕ_а 09-01-92437 09-01-92437-KEa -09-01-92437 Конкурс совместных российско-тайваньских инициативных научно-исследовательских проектов («ННС_а») 15-51-52031 15-51-52031 HHC_a Конкурс инициативных научных проектов, проводимый РФФИ и Государственным фондом естественных наук Китая (ГФЕН) 13-01-91151 16-51-55012_ГФЕН_а 16-51-55017 16-51-55017-ГФЕН 16-51-55017-ГФЕН_a Конкурс инициативных проектов фундаментальных научных исследований, проводимый совместно РФФИ и Австрийским научным фондом (АНФ) 10-01-91004-АНФ-а 10-01-91004-ANF-a 13-02-91002 Royal Society 11-01-92612 Конкурс 2016 года инициативных научных проектов, проводимый совместно РФФИ и Национальным центром научных исследований Франции 10-01-91056-НЦНИ_а 10-01-93113 12-02-91052 м_а 16-52-12012 14-02-92009 16-52-12012_м_а организация экспедиций (и полевых исследований) 12-02-10000 13-02-10002 14-02-10003 Конкурс инициативных научных проектов, проводимый совместно РФФИ и Вьетнамской академией наук и технологий 14-01-93004 11-02-00778 Конкурсы, направленные на решение проблем, актуальных для Омской области 12-05-98009 Мегасайенс. Лабораторные модели экспериментов программы XFEL (Мегасайенс - XFEL) 18-02-40069 18-02-40069 mega Совместный конкурс РФФИ – Государственный фонд фундаментальных исследований Украины 11-02-90453-Ukr-f-a 11-02-90453 Конкурс инициативных научных проектов, проводимый совместно РФФИ и Белорусским республиканским фондом фундаментальных исследований 14-01-90002 14-01-90002 Бел_а Конкурс научных проектов организации и проведения российских и международных молодежных научных мероприятий 16-31-10001_мол_г 18-31-10008 мол_г СТ_а 13-02-91371 Стабильность 18-31-20031 18-37-20073 Конкурс на лучшие научные проекты междисциплинарных фундаментальных исследований 18-29-10051 mk Конкурс на лучшие проекты по теме Фундаментальные свойства и фазовые превращения адронной и кварк-глюонной материи: установка класса мегасайенс Комплекс NICA 18-02-40069 Конкурс проектов фундаментальных научных исследований, проводимый совместно РФФИ и Агентством по науке и технологиям Республики Узбекистан 18-51-41011_Узб_т Научная работа молодых российских ученых в ведущих научных организациях Российской Федерации 18-37-20073 Совместный конкурс проектов фундаментальных научных исследований РФФИ и Национального научного фонда Болгарии 19-51-18006 Министерство образования и науки Российской Федерации Гранты Президента Российской Федерации для государственной поддержки ведущих научных школ NSh-2928.2012.1 НШ-2928.2012.1 NSh-2998.2014.1 NSh-4612.2012.1 NSh-4713.2010.1 НШ-2998.2014.1 4713.2010.1 НШ-4612.2012.1 НШ-4664.2012.1 НШ-5139.2012.1 НШ-7675.2010.1 2519.2012.1 Nsh-3082.2014.1 SS-4612.2012.1 NSh-3349.2012.2 NSh-5139.2012.1 Nsh-6003.2012.1 NSh-8508.2010.1 НШ-4713.2010.1 НШ-4995.2012.1 НШ-6222.2018.1 5139.2012.1 НШ-2900.2014.1 НШ-65772.2010.1 НШ-9110.2016.1 2998.2014.1 NSh-1500.2014.2 NSh-2519.2012.1 NSh-4172.2010.2 NSh-6431.2012.1 NSh-65648.2010.1 NSh-7675.2010.1 NSh-864.2014.1 НШ-2519.2012.1 НШ-3082.2014.1 НШ-6431.2012.1 N.Sh.-5139.2012.1 NSh-1987.2008.1 NSh-4664.2012.1 NSh-5138.2014.1 NSh-9110.2016.1 НШ-4833.2014.1 НШ-6003.2012.1 2928.2012.1 3830.2014.2 N{\v S}-9091.2016.1 NSH 2928.2012.1 NSh-5593.2012.1 NSh-6222.2018.1 NSh-65772.2010.1 NSh-8265.2010.1 НШ 2928.2012.1 НШ 6222.2018.1 НШ-5911.2012.1 НШ-8508.2010.1 НШ-8684.2010.1 НШ-9091.2016.1 11.G34.31.0023 1542.2003.1 2519.02012.1 691.2008.1 7235.2010.2 N.Sh.-1987.2008.1 N.Sh-65772.2010.1 NSh- 5139.2012.1 NSh 6222.2018.1 NSh.-4713.2010.1 NSh-1303.2012.1 NSh-1410.2012.1 NSh-1423.2014.1 NSh-1983.2008.1 NSh-2484.2014.1 NSh-2900.2014.1 NSh-2964.2014.1 NSh-2998.2014 NSh-3036.2008.2 NSh-3042.2014.2 NSh-3079.2018.5 NSh-3920.2012.2 NSh-4724.2014.2 NSh-4833.2014.1 Nsh-581.2014.1 NSh-5911.2012.1 NSh-6399.2018.1 NSh-8033.2010.1 NSh-8215.2016.1 NSh-8424.2010.1 NSh-8462.2010.1 NSh-9091.2016.1 NX-2998.2014.1 SS-4612.2012 НШ-2484.2014.1 НШ-3042.2014.2 НШ-319.2008.1 НШ-3224.2008.1 НШ-4724.2014.2 НШ-5436.2014.1 НШ-5593.2012.1 НШ-65648.2010.1 НШ-65-772-2010 НШ-8033.2010.1 НШ-8425.2016.1 Конкурс грантов Правительства РФ на проведение исследований под руководством ведущих ученых 11.G34.31.0023 11.G34.31.0053 14.641.31.0001 11.G34.31.0039 11.G34.31.0073 14.W03.31.0031 11 11.G34.31.0023 11.G34.31.0054 2010-220-01-077 2010-220-01-077, договор 11.G34.31.0005 11.G34.31.0026 14.A12.31.0007 14.G39.31.0001 5-100 ag.11.G34.31.0023 14.Y26.31.0004 14.А12.31.0007 220, договор 11.G34.31.0053 Гранты Президента Российской Федерации для государственной поддержки молодых российских ученых – кандидатов наук и докторов наук MK-2815.2017.1 MD 5991.2016.1 MK-1646.2011.1 MK-6734.2012.1 MK-4893.2010.1 MK-2510.2014.1 MK-7312.2016.1 MD-2859.2014.1 MK-4881.2011.1 MK-6612.2012.1 МК-2815.2017.1 MK-5379.2018.1 MD-2969.2014.1 MD-4458.2012.1 MK-2858.2014.1 MK-5215.2015.1 МД-5991.2016.1 5991.2016.1 MK-1192.2012.1 MK-430.2019.1 MK-696.2014.1 МД-2859.2014.1 МД-2907.2017.1 МК-2510.2014.1 1959.2009.1 MD- 2859.2014.1 MD-5991.2016.1 MK 6734.2012.1 MK-2121.2014.1 MK-297.2009.1 MK-3355.2012.1 MK-4052.2009.1 MK-430.2019 МД-2969.2014.1 МК-103.2013.1 МК-1192.2012.1 МК-3355.2012.1 МК-4052.2009.1 МК-4270.2011.1 МК-4881.2011.1 МК-4893.2010.1 МК-6734.2012.1 Проект 5-100 5-100 14.740.11.1257 2.1.1/5909 2.1759.2011 Pi 558 2010-220-01-077 8223 01.A03.21.0008 11.634.0073 14.579.21.0104 14.740.11.1144 5-100 8207 8215 8528 P558 02.740.11.0239 02.740.11.5158 02.а03.21. 0008 1.1348.2011 1.3087.2017/PCh 1.962.2017 14.740.11.0347 14.740.11.0497 2.723.2014/K 5/100 8214 8410 Государственная поддержка ведущих университетов в целях повышения их конкурентоспособности среди ведущих мировых научно-образовательных центров 5-100 02.A03.21.0006 02.a03.21.0008 02.А03.21.0006 05.Y09.21.0018 Федеральные целевые программы, госзаказчик которых Минобрнауки РФ 2.1.1/1662 2.1.1/12136 2.1.1/5328 14.579.21.0105 14.582.21.0009 8215 1.1248.2011 14.579.21.0104 14.A18.21.2014 14.В37.21.1935 2.1.1/11133 2.1.1/500 ID RFMEFI60414X0138 NK-100P, contract 359 RFMEFI60414X0138 RFMEFI60716X0153 Государственное задание учреждения, подведомственного Минобрнауки России 1.669.2016/1.4 1.669.2016/ФПМ 14.G39.31.0001 14.641.31.0001 1.12873.2018/12.1 1.557.2016/1.4 2014/51 5-100 открытый конкурс (государственный контракт) 02.740.11.0239 02.740.11.0608 8215 02.740.11.5158 11.G34.31.0005 14.740.12.0846 8207 8498 Cтипендии Президента РФ SP-961.2013.5 Российский научный фонд Конкурс РНФ по финансированию комплексных научных программ российских организаций 14-50-00005 14-50-00150 19-11-00316 Конкурс РНФ на финансирование проектов отдельных научных групп 14-11-00433 14-11-00687 14-11-00335 17-11-01388 14-11-00414 14-19-01759 16-11-00084 16-11-10252 16-11-10111 17-11-01294 17-11-01173 14-11-00443 15-11-30042 14-11-00702 15-11-10018 16-11-10316 16-19-00188 18-11-00121 19-11-00062 19-11-00086 19-11-00316 14-11-00539 16-11-10075 16-11-10195 16-11-10218 18-11-00316 19-11-00065 19-11-00111 14-11-00441 16-11-10123 17–11–01388 18-11-00141 19-11-00223 19-11-00237 19-11-00320 14-10-00539 14–11–00433 14-11-00773 14-18-00574 15-11-20007 15-12-20035 16–11–10252 16-11-10260 16-11-10349 16-12-00015 17-11-01064 17-11-01387 19-11-00001 19-11-00151 19-11-00164 19–11–00237 Конкурс РНФ на финансирование проектов существующих научных лабораторий (кафедр) 14-21-00162 14-21-00053 14-29-00142 14-21-00025 14-21-00158 Проведение исследований молодыми учеными / научными группами под руководством молодых ученых 17-71-20154 17-71-20146 19-71-30012 17-71-20158 18-71-10097 18-71-00074 18-71-0110 19-71-10091 19-71-10092 19-11-00001 17-71-20154 19-11-00062 19-11-00320. Конкурс РНФ на финансирование проектов для международных научных групп 16-41-01013 16-42-01057 18-41-05001 Российская академия наук - Федеральное агентство научных организаций Программы фундаментальных исследований Президиума РАН PRAS-18-01 PRAS-18-02 0014-2015-0003 17 19 П-19 0014-2015-0006 0014-2015-0029 01 01 (грант PRAC-18-01) 12-П-1-1012 12-П-1-1038П 14 14-01-00440_a 18 26 I.28П (проект № 0014-2016-0023) II.4П Pi 19 PRAS 18-01 RAS P-19 Нелинейная динамика П19 19-П 8411 Программы фундаментальных исследований отделений РАН 0014-2016-0038 12-П-1-1002 12-П-1-1012 12-П-6-1038 12-С-7-1001 14 1OM 1ОМ Государственное задание учреждения, подведомственного ФАНО России 0033-2018-0009 АААА-А17-117040610374-8 АААА-А19-119011590095-7 National Science Foundation DMS 0604386 DMS-0808042 DMS-1201442 DMS-0854977 DMS-0901330 CCF-0952591 CMMI-1335296 DGE1144152 DMS-0600800 DMS-0652630 DMS-0701465 DMS-0901339 DMS-0968879 DMS-1001662 DMS-1007177 DMS-1101688 DMS-1266164 DMS-1501982 0738129 0905736 1311911 1714215 CCF-0845003 CCF-1319206 CMMI-0928490 CMMI-1029809 CMMI-1636193 DGE-114747 DMS- 0808042 DMS 1101688 DMS-0244542 DMS-0500762 DMS0600800 DMS-0603636 DMS-0604251 DMS-0800671 DMS-0803214 DMS-0804136 DMS-0901373 DMS-0905912 DMS-0914773 DMS-0932078 000 DMS-0954606 DMS-0968762 DMS-1001068 DMS-1001280/1313894 DMS-1001364 DMS-1001427 DMS-1001677 DMS-1007558 DMS-1069153 DMS-1101369 DMS-1105442 DMS-1200726 DMS-1303296 DMS-1303462 DMS-1361424 DMS-1400390 DMS-1510055 DMS-1601907 DMS-1606460 ITR-0324906 OISE-0965183 FRG: Collaborative Research DMS-0652633 DMS-0854977 0854989 Фонд Дмитрия Зимина «Династия» 4713.2010.1 Agence Nationale de la Recherche ANR-11-IDEX-0001-02 12-JS02-007-01 ANR-13-JS01-0010 2011-BS01-00801 ANR-11-LABX-0056-LMH 09-BLAN-0215 ANR-09-BLAN-0039-01 ANR-11-LABX-0007-01 JCJC SIMI 1 UNITI-ANR-11-IDEX-0002-02 2010-BLAN-0120-02 ANR SIMI1 2010-BLAN-0120-02 ANR-06-BLAN-0038 ANR-09-BLAN-0371-01 ANR-10-LABX-0070 ANR-11-IDEX-0007 ANR-11-LABX-0023-01 ANR-12-BS01-012-01 ANR-12-JS02-007-01 ANR-16-CE91-0009-01 Blanc ANR SIMI1 2010-BLAN-0120-02 DIADEMS IDEX UNITI - ANR-11-IDEX-0002-02 JCJC: LAM SIMI1 2010-BLAN-0120-02 Blanc ANR SIMI1 2010-BLAN-0120-02 2010-BLAN-012002 ANR-10-BLAN-0120-04 Simons Foundation 235674 # 513272 346300 420718 585711 Targeted Grants to Institutes European Research Council 647133 279738-NEDFOQ GEMIS 279438 279738 NEDFOQ 291092 335141 “Nodal'' 615722 MOTMELSUM 257004-HHNcdMir 306493 321122 SouLMan 341197 647133 (ICHAOS) AdG.228005 Advance Grant 291092 Advanced Grant FroM-PDE ERC-AdG 321104 ERC-AdG.321104 FroM-PDE European Union's Horizon 2020 research and innovation programme 647133 (ICHAOS) 641277 677368 Advanced Grant srEDM 291092 321104 Конкурс «Молодая математика России» Australian Research Council DP1092835 DP130100237 DP140100118 DP 120102398 DP1094328 DP110100628 DP110104560 DP170100786 DP170102028 DP180103891 Discovery DP150102758 DP170100786 DP180100201 Министерство науки и высшего образования Российской Федерации Государственное задание учреждения, подведомственного Минобрнауки России 1.669.2016/1.4 0066-2019-0005 1.12873.2018/12.1 1.669.2016/FPM 14.641.31.0001 14.W03.31.0031 0314-2019-0006 1.13560.2019/13.1 16.7162.2017/8.9 Грант на создание и развитие МЦМУ МИАН в рамках национального проекта Наука 075-15-2019-1614 Engineering and Physical Sciences Research Council EP/J007234/1 EP/D063191/1 EP/E048412/1 EP/H05099X EP/I034017/1 ARF EP/D071895 EP/F032889/1 EP/H051511 EP/K012045/1 EP/K021132X/1 EP/K021400/1 EP/K040049/1 EP/K503125/1 EP/M012670 EP/P012655/1 Swiss National Science Foundation 159240 159581 178828 182111 PP00P2-128309/1 141329 200021-175573 NCCR SwissMAP STCP-CH-RU “Computational proof theory” STCP-CH-RU project “Computational proof theory” STCP-CH-RU, project “Computational Proof Theory” Национальный исследовательский университет "Высшая школа экономики" 12-09-0064 09-09-0009 Фонд развития теоретической физики и математики "БАЗИС" 17-15-566-1 18-1-1-80-4 17-15-603-1 Austrian Science Fund F5511-N26 P 30405-N32 F 4012 F5507-N26 F5509 I 476-N13 P 26640-N25 P22122 P25142 P26640-N2 P28421 P30405-N32 Alfred P. Sloan Foundation Национальная академия наук Украины 03-01-14 F14-2016 1/30-2015 F14-2017 National Natural Science Foundation of China 11372212 61061130540 11171044 11321101 11371344 11401590 11531001 11571052 11626245 11671119 60911130369 61571301 Федеральное агентство по науке и инновациям Российской Федерации 14.740.11.0347 14.740.11.0081 Academy of Finland 293876 210465 212875 287750 312058 Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research (A) 25287005 (B) 26287019 (S) 24224001 16K05152 23540098 23540160 24740003 20340005 20740004 JP25287005 KAKENHI JP16H06338 National Natural Science Foundation of China 11531001 11626245 11650110425 11171176 11371214 11471182 11671371 11688101 11871446 61571301 Deutsche Forschungsgemeinschaft SFB/TRR 191 269134396 436RUS 113/957/0-1 AL 214/40-1 SFB/TR 12 SFB/TR-12 EU Framework Programme for Research and Innovation 2010-248095 (Q-ESSENCE) SCIEX 10.271 ERA-NET CHIST-ERA QSCALE CTOTUS SIQS Future and Emerging Technologies CTOTUS Austrian Science Fund P20778 F5511-N26 P 24572-N25 P24572-N25 P31400-N32 W1255-N23 Y698 European Union's Seventh Framework Programme 259385 iQIT RAQUEL (7FP STREP) RIMMP STREP RAQUEL Royal Society IES\R1\180205 IES R1 180205 IES/R1/180205 Royal Society International Exchanges Scheme IES/R1/180205 Consejería Economía, Innovación, Ciencia y Empleo, Junta de Andalucía P09-FQM-4643 FQM-229 P09-FQM-229 Italian Ministry of Education, University and Research FIRB RBFR10M3SB PRIN 2008 2010-11 JJ4KPA_004 RBID08B3FM National Research Foundation of Korea 2010-0020077 20100020077 Slovenian Research Agency APVV DO7RP-0002-10 APVV-0646-10 (COQI) APVV LPP-0264-07 (QWOSSI) APVV-0808-12 (QIMABOS) APVV-14-0878 (QETWORK) LPP-0264-07 (QWOSSI) Centre National de la Recherche Scientifique F14-2016 F14-2017 GDRI-471 PEPS-PTI-Asymptotique d'integrales multiples Danish National Research Foundation DNRF95 National Science Centre (Narodowe Centrum Nauki) 2015/17/B/ST2/02026 2012/07/B/ST1/03556 2013/11/N/ST1/03208 2015/17/B/ST1/02637 2016/21/B/ST1/00307 DEC-2012/06/A/ST1/00256 Государственный комитет по науке министерства образования и науки Республики Армения 15T-1A258 13-RF-030 15RF-054 18RF-109 18T-1A306 SCS 15RF-054 Санкт-Петербургский государственный университет 11.38.215.2014 Instituto Nazionale di Fisica Nucleare Israel Science Foundation 176/15 396/15 892/13 Ministerio de Ciencia e Innovación de España MTM2011-28952-C02-01 MTM2008-06689-C02-01 MTM2011-25747 MTM2011-26840 Natural Sciences and Engineering Research Council of Canada (NSERC) Rice University Slovak Academy of Sciences VEGA 2/0127/11 (TEQUDE) 2/0173/17 (MAXAP) CE SAS QUTE VEGA 2/0092/09 (QWAEN) VEGA 2/0092/11 (TEQUDE) Swedish Research Council 621-2010-5623 Российский квантовый центр Alexander von Humboldt-Stiftung European Regional Development Fund MTM2011-28952-C02-01 Max-Planck-Institut für Mathematik Swiss National Science Foundation 159581 PP00P2-128309/1 PP00P2-170560 NCCR SwissMAP project Фонд развития теоретической физики и математики БАЗИС 18-1-1-80-4 18-1-6-95-1 Belgian Federal Science Policy IAP P7-35 IAP P7-35 Photonics@be Interuniversity Attraction Pole P7/37 Czech Science Foundation P202/12/1142 GA16-22211S Fundação de Amparo à Pesquisa do Estado de São Paulo 2013/23720-9 2014/15134-5 Hungarian Scientific Research Fund (OTKA) 109789 K100291 K72731 NK104183 Ministarstvo prosvete, nauke i tehnološkog razvoja Republike Srbije 173052 174012 Ministry of Science and Higher Education (Poland) N201 543538 National Council for Scientific and Technological Development (CNPq) 304193/2015-1 National Science Foundation DMS-1832126 DMS Award 1723016 DMS-1344994 European Cooperation in Science and Technology MP1006 Fonds De La Recherche Scientifique - FNRS T.0199.13 HIPERCOM International Institute for Applied Systems Analysis Isaac Newton Institute for Mathematical Science Istituto Nazionale di Alta Matematica "Francesco Severi" Ing. Giorgio Schirillo Labex Labex CEMPI Linnaeus University Marie Sklodowska-Curie Actions ENIGMA Ministerio de Economía y Competitividad de España MTM2013-40680-P TIN2014-57226-P TIN2017-89244-R Netherlands Organization for Scientific Research Dutch Foundation for Fundamental Research on Matter Swiss Federal Council STCP-CH-RU STCP-CH-RU, project “Computational Proof Theory” Toyota Technological Institute, Chicago United States - Israel Binational Science Foundation (BSF) 2008274 2012/229 CONACYT - Consejo Nacional de Ciencia y Tecnología SENER-CONACYT-Hidrocarburos, Yacimiento petrolero como un reactor fractal 143927 168638 Defense Advanced Research Projects Agency D19AP00043 QuBE Direccion General de Asuntos del Personal Academico, Universidad Nacional Autonoma de Mexico European Science Foundation MISGAM Fonds Wetenschappelijk Onderzoek Vlaanderen G.0114.10N Foundation for Polish Science Independent Research Fund Denmark 7014-0066B Institut des Hautes Etudes Scientifiques Institute for Basic Science in Korea IBS-R003-D1 Knut and Alice Wallenbergs Foundation 2013.0327 Korean Ministry of Education, Science and Technology the 2nd phase BK21 project Marcos Moshinsky Foundation Marcos Moshinsky Fellowship Mathematisches Forschungsinstitut Oberwolfach Ministry of Education of China Thousand Talents Program for Distinguished Young Scholars D1210036A Ministry of Education, Culture, Sports, Science and Technology, Japan National Scholarship Programme of the Slovak Republic NSA - National Security Agency H98230-14-1-0128 H98230-15-1-0255 NYU Global Seed Grants for Collaborative Research Research Council of Norway 204726/V30 213440/BG Royal Swedish Academy of Sciences MG2018-0002 Sapienza Università di Roma Ateneo 2017 Science and Technology Commission of Shanghai Municipality 17ZR1443600 Simons Center for Geometry and Physics University foundation AMIDEX ANR-11-IDEX-0001-02 UNITI-ANR-11-IDEX-0002-02 Wenner-Gren Foundation Государственная корпорация по атомной энергии H.4e.45.90.11.1059 Национальный исследовательский технологический университет МИСиС 1.669.2016/FPM Программа фундаментальных исследований НИУ ВШЭ Российский научный фонд 19-11-00001 Air Force Office of Scientific Research FA9550-16-1-0254 American Mathematical Society Army Research Office W911NF-19-1-0377 British Council PMI2 Canada Research Chair Center for Research and Development in Mathematics and Applications UID/MAT/04106/2013 China Science and Technology Exchange Center NGA-16-001 City University of New York 60001-40 41 Comisión Nacional de Investigación Científica y Tecnológica ACT1112 Community Research and Development Information Service Marie Curie Excellence Grant MEXT-CT-2006-042695 Computer Company NIX F793/8-05 Croatian Science Foundation UIP-05-2017-9219 Czech Technical University in Prague SGS15/215/OHK4/3T/14 Deutsches Elektronen-Synchrotron Eduard Čech Center for Algebra and Geometry ESF - European Social Fund 09.3.3-LMT-K-712-01-0037 Finnish Academy of Science and Letters Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro Göran Gustafsson Foundation for Research in Natural Sciences and Medicine Generalitat de Catalunya 2009SGR-1433 German Academic Exchange Service (DAAD) German-Israeli Foundation for Scientific Research and Development 1174-197.6/2011 Government of Pakistan ICREA Acadèmia 2012 Independent Research Fund Denmark Indiana University-Purdue University Indianapolis Institute for Advanced Study International Center for Relativistic Astrophysics Network Irish Research Council Irish Research Council for Science, Engineering and Technology Japan Science and Technology Agency ERATO Jiangsu University Foreign Experts Program GDW20171100029 John Templeton Foundation Lady Davis Fellowship Trust Lancaster University ECSG SGS/18/01 Leverhulme Trust Luxembourg National Research Fund QUANTMOD O13/570706 Magnus Ehrnrooth Foundation Mathematical Sciences Research Institute Microsoft DKAL MINERVA Foundation Minerva Stiftung Ministerio de Educación, Cultura y Deporte, Spain PRX14/00037 Ministero dell'Istruzione, dell'Università e della Ricerca Ministry of Science and Technology, Taiwan 104-2628-M-002-015-MY4 Narodowe Centrum Nauki 2012/07/B/ST1/03556 National Center for Scientific Research (CNRS) Newton International Research Fellowship OeAD Office of Naval Research Portuguese Foundation for Science and Technology PTDC/MAT/113470/2009 PRIN 2010-11 PRONEX Juventude PSC-CUNY 60001-40 41 Recruitment Program for Foreign Experts GDW20171100029 Research Council of Lithuania MIP-066 Riksbankens Jubileumsfond Scientific and Technological Research Council of Turkey (TÜBITAK) TUBITAK/NASU-110T558 Project Serbian Ministry of Science and Technological Development 174020 Sofia University St. Kliment Ohridski 58/06.04.2016 Taube Foundation for Jewish Life & Culture The Israeli Centers for Research Excellence (I-CORE) 4/11 U.S. Department of Energy United States Department of Energy DE-AC05-00OR22725 Universidad Nacional Autónoma de México PAPIIT IN104512 University of Liverpool University of Luxembourg GEOMQ11 University of Turku Graduate School - UTUGS Комитет по координации развития науки и технологий при Кабинете Министров Республики Узбекистан Ф2-ФА-Ф116 Конкурс Мёбиуса Национальная Программа Фундаментальных Исследований Китая 2013CB834202 Национальный научный фонд имени Шота Руставели FR/489/5-105/11 Независимый Московский университет Правительство Российской Федерации 14.641.31.0001 Российская академия наук Jтделение энергетики, машиностроения, механики и процессов управления Сибирское отделение Российской академии наук I.1.3 (проект № 0314-2016-0009) Сколковский институт науки и технологий Skoltech-MIT Швейцарско-Российская программа научно-технологического сотрудничества