381 - 390 out of 1,155Page size: 10
  1. 2021

  2. The power of negative reasoning

    de Rezende, S. F., Lauria, M., Nordström, J. & Sokolov, D., 1 Jul 2021, 36th Computational Complexity Conference, CCC 2021. Kabanets, V. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24 p. 40. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 200).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. О распределении времени окончательного ухода гауссовского процесса под медленно растущую линейную границу

    Лифшиц, М. А. & Карагодин, Н. А., 1 Jul 2021, In: ТЕОРИЯ ВЕРОЯТНОСТЕЙ И ЕЕ ПРИМЕНЕНИЯ. 66, 3, p. 419-432

    Research output: Contribution to journal › Article › peer-review

  4. Enhanced Dynkin diagrams done right

    Vavilov, N. & Migrin, V., Jul 2021, In: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 500, p. 11-29

    Research output: Contribution to journal › Article › peer-review

  5. On the Length of Shortest Strings Accepted by Two-way Finite Automata

    Dobronravov, E., Dobronravov, N. & Okhotin, A., 30 Jun 2021, In: Fundamenta Informaticae. 180, 4, p. 315-331 17 p.

    Research output: Contribution to journal › Article › peer-review

  6. Компьютер как новая реальность математики. IV: Проблема Гольдбаха

    Вавилов, Н. А., 21 Jun 2021, (Submitted) In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2021, 2, 59 p.

    Research output: Contribution to journal › Article › peer-review

  7. Commutators of elementary subgroups: curiouser and curiouser

    Vavilov, N. & Zhang, Z., 17 Jun 2021, (E-pub ahead of print) In: Transformation Groups. 18 p.

    Research output: Contribution to journal › Article › peer-review

  8. Automating algebraic proof systems is NP-hard

    De Rezende, S. F., Göös, M., Nordström, J., Pitassi, T., Robere, R. & Sokolov, D., 15 Jun 2021, STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Khuller, S. & Williams, V. V. (eds.). Association for Computing Machinery, p. 209-222 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  9. Zero sets, entropy, and pointwise asymptotics of orthogonal polynomials

    Bessonov, R. & Denisov, S., 15 Jun 2021, In: Journal of Functional Analysis. 280, 12, 109002.

    Research output: Contribution to journal › Article › peer-review

  10. Hecke-Rogers double-sums and false theta functions

    Mortenson, E. T., 1 Jun 2021, In: Research in Number Theory. 7, 2, 28.

    Research output: Contribution to journal › Article › peer-review

  11. Oscillation of Functions in the Hölder Class

    Mozolyako, P. & Nicolau, A., 1 Jun 2021, In: Potential Analysis. 55, 1, p. 53-74 22 p.

    Research output: Contribution to journal › Article › peer-review

Previous 1...35 36 37 38 39 40 41 42 ...116 Next

ID: 45528956