The length of an unsatisfiable subformula. Algebra and Logic, 2024, Vol. 63, No. 1, pp. 65-72. DOI 10.1007/s10469-024-09771-0
Go to publication

Alignment of a hidden palindrome. Math. Biol. Bioinf, 2024, vol. 19, no. 2, pp. 427-438. DOI: 10.17537/2024.19.427
Go to publication

On semirecursive sets. International Conference Mal"tsev Meeting, November 11–15, 2024, Collection of Abstracts. Novosibirsk, 2024. P. 68.
Go to publication Download (51.1 KB)

On systems of several equations modulo three. XIV Belarusian Mathematical Conference dedicated to the 65th anniversary of the Institute of Mathematics Minsk, October 28 – November 1, 2024. Minsk, 2024. Part 3. P. 152-154.
Go to publication Download (83.3 KB)

MathPartner: An Artificial Intelligence Cloud Service. In: Arai K. (eds) Intelligent Systems and Applications. IntelliSys 2024, Lecture Notes in Networks and Systems, Springer, Cham, 2024, Vol. 1068, P. 182–194.
Go to publication

The change rate of the Fbxl21 gene and the amino acid composition of its protein correlate with the species-specific lifespan in placental mammals. Biology, 2024, Vol. 13, No. 10, Art. 792. DOI: 10.3390/biology13100792
Go to publication

Lower bounds for the rank of a matrix with zeros and ones outside the leading diagonal. Programming and Computer Software, 2024, vol. 50, pp. 202–207. DOI: 10.1134/S0361768824020142
Go to publication

On the length of an unsatisfiable conjunction. International Conference Polynomial Computer Algebra 2024, St. Petersburg, Russia, Apr 15–20 2024, pp. 140–143.

On polynomial-time computable structures. Proceedings of the international conference Algebra and mathematical logic: theory and applications. June 27-July 1, 2024, Kazan (Volga Region) Federal University, Kazan, pp. 190-192 (in Russian).
Go to publication

Demographic Indicators of Probability Models. Advances in Gerontology, Sep 2023, Vol. 13, No. 3, P. 164–177. DOI: 10.1134/S2079057024600307
Go to publication

Demographic indicators, models, and testing. Discrete and Continuous Models and Applied Computational Science, 2023, V. 31, No. 4, P. 359–374. DOI: 10.22363/2658-4670-2023-31-4-359-374
Go to publication

On the length of an unsatisfiable subformula. International Conference Mal"tsev meeting November 13-17, 2023. Novosibirsk, 2023, p. 132.
Go to publication Download (1.8 MB)

On a cube and subspace projections. Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp"yuternye Nauki, 2023, vol. 33, no. 3, pp. 402-415.
Go to publication

On binary solutions to a system of several linear equations modulo three. Algebra, Number Theory, Discrete Geometry and Multiscale Modeling: modern problems and applications, applications and problems of history. XXII International Conference dedicated to the 120th anniversary of the birth of Academician A. N. Kolmogorov and 60th anniversary of the opening of boarding school №18 at Moscow University. Tula, TSPU of Leo Tolstoy, 2023, pp. 242–244.
Go to publication

Effective lover bounds on the matrix rank and their applications. Programming and Computer Software, 2023, vol. 49, no. 5, pp. 441–447. DOI: 10.1134/S0361768823020160
Go to publication

Generalization of the subset sum problem and cubic forms. Computational Mathematics and Mathematical Physics, 2023, vol. 63, no. 1, pp. 48-56. DOI: 10.1134/S0965542523010116
Go to publication

On a simple lower bound for the matrix rank. In: S.A. Abramov, A.B. Batkhin, L.A. Sevastyanov (eds.) Computer algebra: 5th International Conference Materials, Moscow, Russia, June 26-28 2023, Moscow: KIAM, 2023, P. 126-128. ISBN: 978-5-98354-067-5

Dimensionality reduction to solve problems on the arrangement of a subspace and cube vertices. All-Russian Scientific and Practical Conference SCIENTIST, TEACHER, MENTOR dedicated to the 85th anniversary of the birth of Professor A. R. Esayan, Tula, 2023, pp. 66-69.
Go to publication

Notes on obstacles to dimensionality reduction. International Conference Polynomial Computer Algebra "2023, Apr 17, St. Petersburg, Russia, 2023, pp. 104-107.
Go to publication

On binary solutions to a system of linear equations over a computable field. International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 78.

International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 72.

International Scientific Conference on Mathematical Logic and Computer Science, Eurasian National University, Kazakhstan, Astana, October 7-8, 2022, pp. 36-40.
Go to publication

On algorithms for calculating complete elliptic integrals. Representation theory, dynamical systems, combinatorial methods. Part XXXIV, Zap. Nauchn. Sem. POMI, 517, POMI, St. Petersburg, 2022, 5-16.
Go to publication

On computations over ordered rings. Siberian Electronic Mathematical Reports, 2022, vol. 19, no. 2, pp. 1054–1076 (in Russian).
Go to publication

Evolution of protein regulators of circadian rhythm in mammals. Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2022), The Thirteenth International Multiconference Abstracts, Novosibirsk, Russia, 4-8 July 2022, Novosibirsk: ICG SB RAS, 2022, P. 173.
Go to publication

Generic-case complexity of the multiple subset sum problem. International Conference Polynomial Computer Algebra "2022, May 2-7, St. Petersburg, Russia, 2022, pp. 96-99.
Go to publication

New features in MathPartner 2021. Computer Tools in Education, 2021, No. 3, P. 29–40.
Go to publication

Complex evolution of Fbxl21 gene in mammals. Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’21, Moscow, Russia, July 30 — August 2 2021.

On some quasipolynomial-time algorithms. Computer Tools in Education. 2021, no. 2, pp. 5–12. DOI: 10.32603/2071-2340-2021-2-5-12
Go to publication Download (376.6 KB)

Calculation of integrals in MathPartner. Discrete and Continuous Models and Applied Computational Science, 2021, vol. 29, no. 4, pp. 337-346. DOI:10.22363/2658-4670-2021-29-4-337-346
Go to publication Download (537.6 KB)

On the absence of any (0,1)-solution to a system of equations. International Conference Mal"tsev meeting, September 20-24, 2021. Collection of Abstracts. Novosibirsk, 2021. P. 73 (in Russian).
Go to publication

Binary solutions to large systems of linear equations. Prikl. Diskr. Mat. 2021, no. 52, pp. 5-15. DOI: 10.17223/20710410/52/1
Go to publication

A plain note on binary solutions to large systems of linear equations. In: S.A. Abramov, L.A. Sevastyanov (eds) Computer algebra: 4th International Conference Materials, Moscow, Russia, June 28-29 2021. Moscow: MAKS Press, 2021, pp. 100-103. DOI: 10.29003/m2019.978-5-317-06623-9
Go to publication Download (1.2 MB)

A gap between small and large systems of linear equations. The 22nd Workshop on Computer Algebra in memory of Professor Vladimir Gerdt, Dubna, Russia, 2021. P. 26.
Go to publication Download (261 KB)

A crosstalk between the biorhythms and gatekeepers of longevity: dual role of glycogen synthase kinase-3. Biochemistry Moscow, 2021, vol. 86, pp. 433-448. DOI: 10.1134/S0006297921040052
Go to publication

Heuristic algorithms for recognition of some cubic hypersurfaces. Programming and Computer Software, 2021, vol. 47, no. 1, pp. 50-55. DOI: 10.1134/S0361768821010096
Go to publication

On circular sections of a second-order surface. Computer tools in education, 2020, no. 4, pp. 59-68. DOI: 10.32603/2071-2340-2020-4-59-68
Go to publication Download (281.8 KB)

Gene loss prediction based on genomic structure. The proceedings of International forum «Biotechnology: state of the art and perspectives», Moscow, Russia, October 28–30 2020, Iss. 18, P. 259–260. DOI: 10.37747/2312-640X-2020-18-258-260
Go to publication

An Effectively Computable Projective Invariant Polynomial Computer Algebra "2020. St. Petersburg, 2020.
Go to publication Download (8.7 MB)

New bioinformatics methods for identification of lost genes and protein isoforms. Homo sapiens liberatus, Proceedings of the 3rd International Conference in celebration of the 85th birthday of professor V.P. Skulachev, Moscow, Russia, February 20–21 2020, Abstract Book. Moscow: Torus Press, 2020, P. 41–42. DOI: 10.30826/HomoSapiens-2020-30
Go to publication

Evolution of proteins involved in response to ROS. Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2020), The Twelfth International Multiconference Abstracts, Novosibirsk, Russia, 6–10 July 2020. Novosibirsk: ICG SB RAS, 2020, P. 652–653. DOI: 10.18699/BGRS/SB-2020-398
Go to publication Download (844.5 KB)

Fast enumeration of rational numbers and bioinformatics problems. XVIII International conference Algebra, number theory and discrete geometry modern problems, applications and problems of history dedicated to the centenary of the birth of professors B. M. Bredikhin, V. I. Nechaev and S. B. Stechkin, Tula, September 23–26 2020, Tula: TSPU, 2020, pp. 196-198. eLIBRARY ID: 44367872
Go to publication Download (525.6 KB)

Protein-coding genes in Euarchontoglires with pseudogene homologs in humans. Life, 2020, Vol. 10, No. 9, Art. 192. DOI: 10.3390/life10090192, PMID: 32927891
Go to publication

Optimal growth temperature and intergenic distances in bacteria, archaea, and plastids of rhodophytic branch. BioMed Research International, 2020, Vol. 2020, Art. 3465380. DOI: 10.1155/2020/3465380, PMID: 32025518
Go to publication

Symmetric matrices whose entries are linear functions. Computational Mathematics and Mathematical Physics, 2020, Vol. 60, No. 1, pp. 102–108. DOI: 10.1134/S0965542520010121

Mouse genes lost in rodent and primate species with long lifespan. The proceedings of International congress «Biotechnology: state of the art and perspectives», Moscow, Russia, February 25–27 2019, Iss. 17, P. 342.
Go to publication