Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Korovina, Margarita Vladimirovna

Statistics Math-Net.Ru
Total publications: 6
Scientific articles: 6
Presentations: 2

Number of views:
This page:2604
Abstract pages:1012
Full texts:323
References:187
E-mail: ,

https://www.mathnet.ru/eng/person39758
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2023
1. M. V. Korovina, O. V. Kudinov, “Order positive fields. I”, Algebra Logika, 62:3 (2023),  307–322  mathnet
2. M. V. Korovina, O. V. Kudinov, “On the computability of ordered fields”, Sib. Èlektron. Mat. Izv., 20:2 (2023),  1341–1360  mathnet
2017
3. M. V. Korovina, O. V. Kudinov, “On images of partial computable functions over computable Polish spaces”, Sib. Èlektron. Mat. Izv., 14 (2017),  418–432  mathnet  isi
2016
4. M. V. Korovina, O. V. Kudinov, “Spectrum of the field of computable real numbers”, Algebra Logika, 55:6 (2016),  738–759  mathnet; Algebra and Logic, 55:6 (2017), 485–500  isi  scopus 3
2008
5. A. S. Morozov, M. V. Korovina, “$\Sigma$-Definability of countable structures over real numbers, complex numbers, and quaternions”, Algebra Logika, 47:3 (2008),  335–363  mathnet  mathscinet  zmath; Algebra and Logic, 47:3 (2008), 193–209  scopus 13
6. M. V. Korovina, O. V. Kudinov, “The Effectively Enumerable Topological Spaces”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 8:2 (2008),  74–83  mathnet

Presentations in Math-Net.Ru
1. Automated Reasoning with Continuous Data
M. V. Korovina
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
March 8, 2024 14:00   
2. Automated reasoning with continuous data
M. V. Korovina
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 7, 2022 15:30   

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024