В работе предлагаются новые структуры данных для представления целочисленных функций и матриц: многокорневые бинарные разрешающие диаграммы (MRBDD), а также алгоритмы выполнения некоторых стандартных операций над целочисленными функциями и матрицами в таком представлении. За счет более эффективного повторного использования элементов структуры многокорневые бинарные разрешающие диаграммы оказываются более компактной формой представления по сравнению с широко распространенными многотерминальными бинарными разрешающими диаграммами (MTBDD). Приведенные в работе экспериментальные результаты показывают, что многокорневые бинарные разрешающие диаграммы являются перспективной заменой многотерминальных бинарных разрешающих диаграмм, в том числе и в таких задачах, как вероятностная верификация, манипуляция распределениями вероятности, анализ сетей Петри и других моделей вычислительных систем.