Проверка перемножения матриц, сравнение строк, корни многочлена, эквивалентность ветвящихся программ.