CDF-моделирование в компьютерной алгебре