Как используется символьная алгебра в современных системах автоматизации документооборота?

Возможно, имелась в виду методика классификации документов в системе электронного документооборота, основанная на теории алгебры конечных предикатов. moluch.ru

Применение предикатов позволяет:

• ускорить процесс отнесения документа к определённому делу в автоматизированном режиме; moluch.ru
• приписать документу дополнительные свойства (например, время хранения). moluch.ru

Такая методика позволяет увеличить качество электронного документооборота, в частности, уменьшить время выполнения отдельных операций. moluch.ru

Для символьных вычислений и компьютерного моделирования в целом используются, например, такие математические пакеты, как Maple, MathCad, Mathematica и MatLab. kopilkaurokov.ru compress.ru