A letter from the ACM vice-president: two messages

*Page 651*

advertisement

Home → Magazine Archive → November 1973 (Vol. 16, No. 11)

A letter from the ACM vice-president: two messages

Dynamic verification of operating system decisions

A parser-generating system for constructing compressed compilers

A scan conversion algorithm with reduced storage requirements

Experiment with an automatic theorem-prover having partial ordering inference rules

Algorithm 464: eigenvalues of a real, symmetric, tridiagonal matrix [F2]

Algorithm 466: four combinatorial algorithm [G6]

Algorithm 465: student's

Algorithm 467: matrix transposition in place [F1]

Algorithm 467: Matrix Transposition in Place

Algorithm 468: algorithm for automatic numerical integration over a finite interval [D1]

Algorithm 469: arithmetic over a finite field [A1]

A note on sub-expression ordering in the execution of arithmetic expressions

Comment on Brent's scatter storage algorithm

A recurrence scheme for converting from one orthogonal expansion into another

An algorithm for the approximate solution of Wiener-Hopf integral equations

Solving the biharmonic equation in a square: a direct versus a semidirect method

Computers, society, and law—the role of legal education

Log in

Create a Web Account

If you are an ACM member, Communications subscriber, Digital Library subscriber, or use your institution's subscription, please set up a web account to access premium content and site features. If you are a SIG member or member of the general public, you may set up a web account to comment on free articles and sign up for email alerts.

Sign In

Create a web account