1. K. V. Anokhin, K. S. Novoselov, S. K. Smirnov, et al., “Artificial intelligence for science and science for artificial intelligence,” Vopr. Filos., No. 3, 93–105 (2022).
2. N. A. Vavilov, “Computer as a new reality of mathematics. Parts I–III,” Komput. Instrum. Obrazovan., Nos. 2–4 (2020).
3. L. Théry, “Feit Thompson proved in Coq,” Microsoft Research-INRIA Joint Centre. https://web.archive.org/web/20161119094854/ http://www.msr-inria.fr/news/feit-thomson-proved-in-coq/
4. An experimental library of formalized mathematics based on the univalent foundations;V. Voevodsky,2015
5. P. Vopěnka, Mathematics in the Alternative Set Theory (Teubner, Leipzig, 1979). ASIN B0006E3AXY