|
|
 |
2025 year Authors: Seliverstov A.Linearly ordered skew fields. International scientific and practical conference "XVIII Kolmogorov readings" September 17-19, 2025, Tver.
Go to publication |
|
2025 year Authors: Khaziev G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V.New algorithm for finding imperfect palindromes in DNA. MCCMB 2025, Moscow, July 31 – August 3, 2025, pp. 621–624.
Go to publication |
|
2025 year Authors: Seliverstov A.On some submatrix of the Macaulay matrix. Polynomial Computer Algebra 2025, September 29 - October 5, 2025, Euler International Mathematical Institute, St. Petersburg, Russia.
Go to publication |
|
2025 year Authors: Seliverstov A.Linearly ordered skew fields. International scientific and practical conference "XVIII Kolmogorov readings" September 17-19, 2025, Tver
Go to publication |
|
2025 year Authors: Zverkóv O., Seliverstov A.On binary solutions to a system of linear equations modulo three. Programming and Computer Software. 2025. Vol. 51. No. 2. P. 109–116.
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.Notes on the equiconsistency of ZFC without the Power Set axiom and 2nd order PA.
arXiv: 2507.11643 [math.LO], July 2025, 29 pp. DOI: 10.48550/arXiv.2507.11643
Go to publication |
|
2025 year Authors: Khaziev G., Seliverstov A., Zverkóv O.Imperfect palindromes depending on GC-content. Ñomputer Assisted Mathematics 2025. July 15–17, 2025, pp. 53–55.
Go to publication |
|
2025 year Authors: Seliverstov A.On systems of three linear equations modulo three. Ñomputer Assisted Mathematics 2025, July 15–17, 2025, pp. 113–116.
Go to publication |
|
2025 year Authors: Nikolaeva O., <Unknown>, Muntyan M., Zverkóv O., Spirin S., Lyubetsky V., Slyusarev G., Aleoshin V.Rare evolutionary events support the phylogenetic placement of Orthonectida within Annelida.
International Journal of Molecular Sciences, 2025, Vol. 26, Iss. 13, Art. 5983.
DOI: 10.3390/ijms26135983
Go to publication |
|
2025 year Authors: Seliverstov A.The Generic-Case Complexity of Finding a Binary Solution to a System of Linear Equations. In: A. A. Ryabenko, D. S. Kulyabov (eds) Computer algebra: 6th International Conference Materials. Moscow, 23–25 June, 2025. Moscow: RUDN University. P. 98–101.
Go to publication |
|
2025 year Authors: Khaziev G., Seliverstov A., Zverkóv O.Searching for an Imperfect Palindrome. In: A. A. Ryabenko, D. S. Kulyabov (eds) Computer algebra: 6th International Conference Materials. Moscow, 23–25 June, 2025. Moscow: RUDN University. P. 62–65.
Go to publication |
|
2025 year Authors: Seliverstov A.Early history of non-Desarguesian planes. Algebra, Number Theory, Discrete Geometry and Multiscale Modeling: modern problems and applications, applications and problems of history. XXIV International Conference dedicated to the 110th anniversary of the birth of Academician Yu.V. Linnik and the 110th anniversary of the birth of Professor A.B. Shidlovsky and the 80th anniversary of the birth of Professor G.I. Arkhipov. Tula, May 14–17, 2025. Tula: TSPU, 2025.
Go to publication |
|
2025 year Authors: Khaziev G., Seliverstov A., Lyubetsky V.Structure-aware sequence alignment. Algebra, Number Theory, Discrete Geometry and Multiscale Modeling: modern problems and applications, applications and problems of history. XXIV International Conference dedicated to the 110th anniversary of the birth of Academician Yu.V. Linnik and the 110th anniversary of the birth of Professor A.B. Shidlovsky and the 80th anniversary of the birth of Professor G.I. Arkhipov. Tula, May 14–17, 2025. Tula: TSPU, 2025.
Go to publication |
|
2025 year Authors: Zhang X., Li Z., Chen J., Yang W., He X., Wu P., Chen F., Zhou Z., Ren Ch., Shan Y., Wen X., Lyubetsky V., Rusin L., Chen X., Yang J.-R.Stereotyped subclones revealed by high-density single-cell lineage tracing support robust development.
Advanced Science, 2025, 2406208.
DOI: 10.1002/advs.202406208
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.Notes on iterative summation of alternating factorials.
Mathematics, 2025, Vol. 13, No. 12, Article 1942.
DOI 10.3390/math13121942.
(WoS Q1, ÁÑ1)
Go to publication Download (228.7 KB) |
|
2025 year Authors: Semenov A., Babenko M., Belov A., Vereschagin N., Vishnikin M., Zolin E., Krupsky V., Kuznetsov S., Lyubetsky V., Onoprienko A., Pentus M., Soprunov S., Sorokin A., Shehtman V., Yavorskaya T.Chair of mathematical logic and theory of algorithms.
Moscow University Mathematics Bulletin, Feb 2025, Vol. 80, No. 1, P. 23–33.
DOI: 10.3103/S0027132225700196
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.On the significance of parameters and the projective level in the Choice and Collection axioms.
Annals of Pure and Applied logic, 2025, under review.
(Scimago Q1, ÁÑ 2)
|
|
2025 year Authors: Kanovei V., Lyubetsky V.On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility.
Mathematics, 2025, Vol. 13, No 3, Article 409.
DOI 10.3390/math13030409
(WoS Q1, ÁÑ1)
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.On the uniform projection problem in descriptive set theory.
Axioms, 2025, Vol. 14, No. 1, Art. 13.
DOI: 10.3390/axioms14010013
(WoS Q2, ÁÑ2)
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.Independence of the Comprehension Schema in Second-Order
Arithmetic from the Parameter-Free Countable Choice.
Mathematical Notes, 2025, vol. 117, no. 2, pp. 275-286.
DOI: 10.1134/S0001434625010250
(WoS Q3, Scimago SJR Q2, ÁÑ2)
Go to publication |
|
|
|
|
|
