Attempts in local simplification of non nested radicals. - Ruth Shtokhamer (SIGSAM Bull., 1977)

The use of "LET" statements in producing short comprehensible outputs. - Ruth Shtokhamer (ACM Commun. Comput. Algebra, 1978)

Lifting Canonical Algorithms from a Ring R to the Ring R[x]. - Ruth Shtokhamer (J. Symb. Comput., 1988)

Compile time instruction cache optimizations. - Abraham Mendlson; Shlomit S. Pinter; Ruth Shtokhamer (SIGARCH Comput. Archit. News, 1994)