Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2012

Highly Cited

2012

While mainstream symmetric cryptography has been dominated by block ciphers, we have proposed an alternative based on fixed-width… Expand

1989

1989

The application of computer algebra for determining Lie and Lie-Backlund (LB) symmetries of differential equations is considered… Expand

1976

1976

The analytic concepts of approximation, convergence, differentiation, and Taylor series expansion are applied and interpreted in… Expand

1967

1967

Publisher Summary “Formula manipulation” refers to the use of a computer to manipulate mathematical expressions in a formal… Expand

1966

1966

naturally in a recent application of PM, where it was desired to find whether R has any multiple factors. Both pairs of… Expand

1966

1966

The elimination procedure as described by Williams has been coded in LISP and FORMAC and used in solving systems of polynomial… Expand

1965

1965

Simplification is a central and basic operation in the manipulation of mathematical expressions. Indeed, much of the tedious… Expand

1964

1964

FORMAC, (FORmula MAnipulation Compiler), is an experimental programming system which can assist scientists in the manipulation of… Expand

1964

1964

The purpose of this paper is to give an over-all view of the FORMAC language. FORMAC is an experimental programming system… Expand