0004-5411

Journal of the ACM (JOLACM) - Issue 67 论文列表

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 67
发布时间:
卷期年份: 1970
卷期官网:
本期论文列表
Error Bounds for Zeros of a Polynomial Based Upon Gerschgorin's Theorems.

The Unit Proof and the Input Proof in Theorem Proving.

A New Method of Interpolation and Smooth Curve Fitting Based on Local Procedures.

Necessary and Sufficient Conditions for Dynamic Programming of Combinatorial Type.

A Method for Solving Large Matrix Equations Reduced From Fredholm Integral Equations of the Second Kind.

Accumulation of Round-Off Error in Fast Fourier Transforms.

Efficiency of a Procedure for Near-Minimax Approximation.

Pseudo-Runge-Kutta Methods of the Fifth Order.

On the Efficiency of Algorithms.

The Generation of Optimal Code for Arithmetic Expressions.

Errata: "On the Periodic Representations and the Reducibility of Periodic Automata".

An Analysis of Some Graph Theoretical Cluster Techniques.

Statistical Properties of the Buddy System.

Computer Interval Arithmetic: Definition and Proof of Correct Implementation.

The Equivalence Problem of Simple Programs.