Символьный. Я кстати с Бренданом говорил, у него какие-то мысли. Но он настоящий CS-математик в отличие от меня, я периодически мысль теряю. Для тех, кто не в теме, там похоже можно ограниченную символьную алгебру сделать в kmath на основе того, что мы с
@commandertvis навояли в последнем релизе