Some results concerning proofs of statements about programs
- R.J. Orgass
- 1970
- Journal of Computer and System Sciences
Publications
3596 results for Mathematical Sciences
Iteration methods for calculating self-consistent fields in semiconductor inversion layers
- Frank Stern
- 1970
- Journal of Computational Physics
A special class of doubly stochastic matrices
- Alan J. Hoffman
- 1969
- Aequationes Mathematicae
Parallel program schemata
- Richard M. Karp
- Raymond E. Miller
- 1969
- Journal of Computer and System Sciences
The law of electrodynamics
- H. Aspden
- 1969
- Journal of the Franklin Institute
Chaotic relaxation
- D. Chazan
- W.L. Miranker
- 1969
- Linear Algebra and Its Applications
Computing ability of a developmental model for filamentous organisms
- G.T. Herman
- 1969
- Journal of Theoretical Biology
A general algorithm for nonnegative quadrature formulas⋆
- M.Wayne Wilson
- 1969
- Mathematics of Computation
Optimal starting approximations for newton’s method
- P.H. Sterbenz
- C.T. Fike
- 1969
- Mathematics of Computation
Uniformly reflexive structures: on the nature of gÖdelizations and relative computability
- Eric G. Wagner
- 1969
- Trans. Am. Math. Soc.