Adlaj, S. F.; Pozdnyakov, S. N. Digital Representations of Mathematical Objects in the Context of Various Forms of Representation of Mathematical Knowledge. CTE 2020, 58-86.