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

Specific features of the operator factorization method are established making possible a global program implementation of the method with the help of the superstructure Santra 3 over the algorithmic language Refal. The complete set of the main operations of the factorization method is given. These operations serve as prototypes of command entries of the instruction set of the super structure Hypertrans over Santra 3. Program realization of typical operations of factorization method by means of the program tools of the system under development showed feasibility of the project aimed at development of a globally universal Hypertrans mathematical system capable to realize the complete set of operations inherent in the factorization method