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