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