Karymsakov У. Geometric Modeling of the Vaults of Horizontal Workings. prengpe 2022, 1, 119.