0001-0782

Communications of the ACM (CACM) - Issue 103 论文列表

点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 103
发布时间:
卷期年份: 1966
卷期官网:
本期论文列表
PM, a system for polynomial manipulation.

Survey of formula manipulation.

Computation of algebraic properties of elementary particle reactions using a digital computer.

AUTOMAST: automatic mathematical analysis and symbolic translation.

On the implementation of AMBIT, a language for symbol manipulation.

Computer experiments in finite algebra.

Solutions of systems of polynomial equations by elimination.

CONVERT.

Experience with FORMAC algorithm design.

Symbolic factoring of polynomials in several variables.

A programmer's description of L