A flow-mode, self-steering, cellular multiplier-summation processor Dines Bjørner OriginalPaper Pages: 125 - 144
Hilbert spaces for estimating errors of quadratures for analytic functions M. M. Chawla OriginalPaper Pages: 145 - 155
Proving programs correct: Some techniques and examples Ralph L. London OriginalPaper Pages: 168 - 182
Practical use of the symmetric Lanczos process with re-orthogonalization C. C. Paige OriginalPaper Pages: 183 - 195
An algorithm for numerical determination of the structure of a general matrix Axel Ruhe OriginalPaper Pages: 196 - 216
Some relationships between implicit Runge-Kutta, collocation and Lanczosτ methods, and their stability properties K. Wright OriginalPaper Pages: 217 - 227