Algorithms for the reconstruction of genomic structures with proofs of their low polynomial complexity and high exactness. Mathematics, Mar 11 2024, Vol. 12, No. 6, Art. 817. DOI: 10.3390/math12060817 (WoS Q1)
Go to publication

Jensen Δ¹_n reals by means of ZFC and second-order Peano arithmetic. Axioms, Jan 30 2024, Vol. 13, No. 2, Art. 96. DOI: 10.3390/axioms13020096 (WoS Q1)
Go to publication

A good lightface Δ¹_n well-ordering of the reals does not imply the existence of boldface Δ¹_n-1 well-orderings. Annals of Pure and Applied Logic, Jun 2024, Vol. 175, Iss. 6, Art. 103426. DOI: 10.1016/j.apal.2024.103426 (WoS Q2)
Go to publication

Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic. Studia Logica, Apr 24 2024. DOI: 10.1007/s11225-024-10108-2 (WoS Q2)
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.
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

Alexander Yu. Veretennikov, On Averaged Control and Iteration Improvement for a Class of Multidimensional Ergodic Diffusions, in: Kolmogorov Operators and Their Applications, Stéphane Menozzi (ed.), Andrea Pascucci (ed.), Sergio Polidoro (ed.), ser. CONFERENCE PROCEEDINGS, Springer Singapore (Singapore), 315-349. https://doi.org/10.1007/978-981-97-0225-1_10

A.Yu.Veretennikov, On Higher Order Moments and Rates of Convergence for SDEs with Switching, Moscow Mathematical Journal, 24, № 1, 107-124 [Scopus Q1] http://www.mathjournals.org/mmj/2024-024-001/