F. Mikhailov, “Computing of the dimensions of the components of tropical prevarieties described by linear tropical recurrent relations”, Компьютерные инструменты в образовании, no. 1, pp. 40–54, Mar. 2023, doi: 10.32603/2071-2340-2023-1-40-54.