Formalization of modular algorithms for terrain modeling Vladimir Georgievich Kulikov E3S Web Conf., 533 (2024) 03008 Published online: 07 June 2024 DOI: 10.1051/e3sconf/202453303008