V. Zabashta, “Formalization of technological processes based on non-Euclidean geometries: spherical and Riemann geometry”, Mech. Adv. Technol., vol. 9, no. 2(105), pp. 238–253, Jun. 2025.