Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Коровина Маргарита Владимировна

В базах данных Math-Net.Ru
Публикаций: 6
Научных статей: 6
Лекций и докладов: 2

Статистика просмотров:
Эта страница:2594
Страницы публикаций:997
Полные тексты:318
Списки литературы:178
E-mail: ,

https://www.mathnet.ru/rus/person39758
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2023
1. М. В. Коровина, О. В. Кудинов, “Порядково позитивные поля. I”, Алгебра и логика, 62:3 (2023),  307–322  mathnet
2. M. V. Korovina, O. V. Kudinov, “On the computability of ordered fields”, Сиб. электрон. матем. изв., 20:2 (2023),  1341–1360  mathnet
2017
3. M. V. Korovina, O. V. Kudinov, “On images of partial computable functions over computable Polish spaces”, Сиб. электрон. матем. изв., 14 (2017),  418–432  mathnet  isi
2016
4. М. В. Коровина, О. В. Кудинов, “Спектр поля вычислимых действительных чисел”, Алгебра и логика, 55:6 (2016),  738–759  mathnet; M. V. Korovina, O. V. Kudinov, “Spectrum of the field of computable real numbers”, Algebra and Logic, 55:6 (2017), 485–500  isi  scopus 3
2008
5. А. С. Морозов, М. В. Коровина, “О $\Sigma$-определимости счётных структур над вещественными, комплексными числами и кватернионами”, Алгебра и логика, 47:3 (2008),  335–363  mathnet  mathscinet  zmath; A. S. Morozov, M. V. Korovina, “$\Sigma$-Definability of countable structures over real numbers, complex numbers, and quaternions”, Algebra and Logic, 47:3 (2008), 193–209  scopus 13
6. М. В. Коровина, О. В. Кудинов, “Эффективно перечислимые топологические пространства”, Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008),  74–83  mathnet

Доклады и лекции в базе данных Math-Net.Ru
1. Automated Reasoning with Continuous Data
M. V. Korovina
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
8 марта 2024 г. 14:00   
2. Automated reasoning with continuous data
М. В. Коровина
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
7 ноября 2022 г. 15:30   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024