1. 2021
  2. Primitive Recursive Ordered Fields and Some Applications

    Selivanov, V. & Selivanova, S., 2021, Proceedings of Computer Algebra in Scientific Computing (CASC 2021). . Springer Nature, p. 353-369 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12865).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  3. The naive Milnor-Witt K-theory relations in the stable motivic homotopy groups over a base

    Druzhinin, A., 2021, In: Annals of K-Theory. 6, 4, p. 651-671 21 p.

    Research output: Contribution to journalArticlepeer-review

  4. Torsors of Isotropic Reductive Groups over Laurent Polynomials

    Stavrova, A., 2021, In: Documenta Mathematica. 26, p. 661-673 13 p.

    Research output: Contribution to journalArticlepeer-review

  5. Twisted forms of commutative monoid structures on affine spaces

    Семенов, А. В. & Гвоздевский, П. Б., 2021, In: Journal of Algebra. 608, p. 272-289

    Research output: Contribution to journalArticlepeer-review

  6. Venttsel boundary value problems with discontinuous data

    Apushkinskaya, D. E., Nazarov, A. I., Palagachev, D. K. & Softova, L. G., 2021, In: SIAM Journal on Mathematical Analysis. 53, 1, p. 221-252 32 p.

    Research output: Contribution to journalArticlepeer-review

  7. Замечания об асимптотической независимости

    Давыдов, Ю. А. & Новиков, С. М., 2021, In: ТЕОРИЯ ВЕРОЯТНОСТЕЙ И ЕЕ ПРИМЕНЕНИЯ. 66, 1, p. 55-72

    Research output: Contribution to journalArticlepeer-review

  8. Об асимптотическом поведении средних значений некоторых функционалов от ветвящегося случайного блуждания

    Платонова, М. В. & Рядовкин, К. С., 2021, In: Записки научных семинаров ПОМИ. 505, p. 185-206

    Research output: Contribution to journalArticlepeer-review

  9. Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision

    Selivanova, S. & Selivanov, V., 1 Jan 2021, In: Computability. 10, 2, p. 123-140 18 p.

    Research output: Contribution to journalArticlepeer-review

  10. Complexity Issues for the Iterated h-Preorders

    Alaev, P. & Selivanov, V., 1 Jan 2021, Descriptional Complexity of Formal Systems. p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13037).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  11. Non-collapse of the Effective Wadge Hierarchy

    Selivanov, V., 1 Jan 2021, Connecting with Computability. p. 407-416 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12813).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

ID: 45531658