VLADIMIR VOEVODSKY, “An experimental library of formalized Mathematics based on the univalent foundations”, Math. Struct. Comp. Sci., 25, no. 5, 2015, 1278
Siran Lei, Hao Guan, Jianguo Jiang, Yu Zou, Yongsheng Rao, “A Machine Proof System of Point Geometry Based on Coq”, Mathematics, 11, no. 12, 2023, 2757
Aleksandr Aleksandrovich Beilinson, Alexander Semenovich Vishik, David A Kazhdan, Mikhail Mikhailovich Kapranov, Alexander Sergeevich Merkurjev, Dmitri Olegovich Orlov, Ivan Alexandrovich Panin, Andrey Aleksandrovich Suslin, Nikolai Andreevich Tyurin, Georgii Borisovich Shabat, “Владимир Александрович Воеводский (некролог)”, Успехи математических наук, 73, no. 3(441), 2018, 157
María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024, 190