The field of formula manipulation is surveyed, with particular attention to the specific capabilities of differentiation, integration and the supporting capabilities of simplification, displays and input/output editing, and precision …
Jean E. Sammet
Pages 555-569
A brief description is given of the implementation technique for the replacement rule of the AMBIT programming language. The algorithm for the “AMBIT scan” and an example of its application are given. The algorithm is applicable …
Carlos Christensen
Pages 570-573
A large number of calculations in high-energy elementary particle physics involve the manipulation of complicated algebraic expressions containing both tensor and noncommutative matrix quantities. Many of these calculations take …
A. C. Hearn
Pages 573-577
PM is an IBM 7094 program system for formal manipulation of polynomials in any number of variables, with integral coefficients unrestricted in size. Some of the formal opeartions which can be performed by the system are sums, …
G. E. Collins
Pages 578-589
R. G. Tobey
Pages 589-597
A medium-scale programming system is written in MAD and FAP on the IBM 7094 to manipulate some of the objects of modern algebra: finite groups, maps and sets of maps, subsets and sets of subsets, constant integers and truth-values …
Ward Douglas Maurer
Pages 598-603
A programming language is described which is applicable to problems conveniently described by transformation rules. By this is meant that patterns may be prescribed, each being associated with a skeleton, so that a series of
…
Adolfo Guzmán, Harold V. McIntosh
Pages 604-615
Bell Telephone Laboratories' Low-Level Linked List Language
L6 (pronounced “
L-six”) is a new programming language for list structure manipulations. It contains many of the facilities which underlie such list processors as IPL …
Kenneth C. Knowlton
Pages 616-625
A procedure for numerically solving systems of ordinary differential equations is shown to also generate symbolic solutions. The procedure is based on a finite Taylor series expansion that includes an estimate of the error in …
William E. Ball, Robert I. Berns
Pages 626-633
The elimination procedure as described by Williams has been coded in LISP and FORMAC and used in solving systems of polynomial equations. It is found that the method is very effective in the case of small systems, where it yields …
Joel Moses
Pages 634-637
An algorithm for finding the symbolic factors of a multivariate polynomial with integer coefficients is presented. The algorithm is an extension of a technique used by Kronecker in a proof that the prime factoring of any polynomial …
Dale E. Jordan, Lewis C. Clapp, Richard Y. Kain
Pages 638-643
