Journal: Communications of the ACM

Volume 9, Issue 8

545 -- 546Anthony G. Oettinger. President's Letter to the ACM Membership
555 -- 569Jean E. Sammet. Survey of formula manipulation
570 -- 573Carlos Christensen. On the implementation of AMBIT, a language for symbol manipulation
573 -- 577Anthony C. Hearn. Computation of algebraic properties of elementary particle reactions using a digital computer
578 -- 589George E. Collins. PM, a system for polynomial manipulation
589 -- 597Robert G. Tobey. Experience with FORMAC algorithm design
598 -- 603Ward Douglas Maurer. Computer experiments in finite algebra
604 -- 615Adolfo Guzmán, Harold V. McIntosh. CONVERT
616 -- 625Kenneth C. Knowlton. A programmer s description of L:::6:::
626 -- 633William E. Ball, Robert I. Berns. AUTOMAST: automatic mathematical analysis and symbolic translation
634 -- 637Joel Moses. Solutions of systems of polynomial equations by elimination
638 -- 643Dale E. Jordan, Lewis C. Clapp, Richard Y. Kain. Symbolic factoring of polynomials in several variables