A project of a globally universal interactive program of formula derivation based on operator factorization method

Показано, что метод операторной факторизации допускает принципиальную возможность программной реализации с помощью системы аналитических преобразований Сантра 3, являющейся надстройкой над языком Рефал. Приведены основные операции метода, являющиеся прототипами команд разрабатываемой надстройки Гипертранс над системой Сантра 3. На модельном примере реализации типичных преобразований метода средствами разрабатываемой системы показана техническая осуществимость проекта создания глобально-универсальной программы математических преобразований, способной осуществлять полный набор операций метода факторизации