Flowchart machines
- Dines Bjørner
- 1970
- BIT
Publications
3541 results for Mathematical Sciences
On the eigenvalues and eigenvectors of the integral equation formulation of the multi-interface neumann problem
- M. Stuart Lynn
- William P. Timlake
- 1970
- IMA Journal of Applied Mathematics (Institute of Mathematics and Its Applications)
Asymptotics in random (0, 1) matrices
- Patrick Eugene o'neil
- 1970
- Proceedings of the American Mathematical Society
The solution of the problem of integration in finite terms
- Robert H. Risch
- 1970
- Bulletin of the American Mathematical Society
A new criterion for uniform distribution
- P.E. O’Neil
- 1970
- Proceedings of the American Mathematical Society
Some results on sparse matrices
- Robert K. Brayton
- Fred G. Gustavson
- et al.
- 1970
- Mathematics of Computation
A phenomenological theory of streaming birefringence
- Bernard D. Coleman
- Ellis H. Dill
- et al.
- 1970
- Archive for Rational Mechanics and Analysis
Time-restricted sequence generation
- Patrick C. Fischer
- Albert R. Meyer
- et al.
- 1970
- Journal of Computer and System Sciences
A numerical approach to principal value integrals in dispersion relations
- Hans Morawrrz
- 1970
- Journal of Computational Physics
Asymptotics in random (0, 1)-matrices
- Patrick Eugene O’Neil
- 1970
- Proceedings of the American Mathematical Society