Formalization for Subsequent Computer Processing of Kara Sea Coastline Data. - Daria Bogatova; Stanislav Ogorodov (Data, 2024)