A New Approach to Solving Equivalence Problem R. I. PodlovchenkoV. E. Khachatryan OriginalPaper Pages: 121 - 133
Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 2: Algorithms and Experimental Verification O. N. MalykhYu. S. Shakhnovskii OriginalPaper Pages: 134 - 141
Characterizable Radical Differential Ideals and Some Properties of Characteristic Sets A. I. Ovchinnikov OriginalPaper Pages: 141 - 149
Symbolic Transformations in the Problem of Analytic Continuation of the Hypergeometric Function p F p – 1(z) to the Neighborhood of the Point z = 1 in the Logarithmic Case S. L. Skorokhodov OriginalPaper Pages: 150 - 156
A Modular Algorithm for Computing Cohomologies of Lie Algebras and Superalgebras V. V. Kornyak OriginalPaper Pages: 157 - 163
Application of Symbolic Approach to the Bernstein Expansion for Program Analysis and Optimization F. ClaussI. Yu. Chupaeva OriginalPaper Pages: 164 - 172