An interpretation-oriented theorem prover over integers
- James C. King
- Robert W. Floyd
- 1972
- Journal of Computer and System Sciences
Publications
3593 results for Mathematical Sciences
Sequential treatment allocation in clinical trials
- B.J. Flehinger
- T.A. Louis
- 1971
- Biometrika
Optimal and suboptimal capacity allocation in communication networks
- W. Oettli
- W. Prager
- 1971
- Journal of Optimization Theory and Applications
An explicit procedure for discretizing continuous, optimal control problems
- Jane Cullum
- 1971
- Journal of Optimization Theory and Applications
An extension of Gilbert's algorithm for computing optimal controls
- Earl R. Barnes
- 1971
- Journal of Optimization Theory and Applications
Computer calculation of left ventricular volumes from a cineangiogram
- C.K. Chow
- T. Kaneko
- 1989
- Proceedings of SPIE 1989
Difference schemes with best possible truncation error
- W.L. Miranker
- 1971
- Numerische Mathematik
General hopscotch algorithm for the numerical solution of partial differential equations
- A.R. Gourlay
- G.R. Mcguire
- 1971
- IMA Journal of Applied Mathematics (Institute of Mathematics and Its Applications)
Asymptotic expansion of a class of integral transforms with algebraically dominated kernels
- Richard A Handelsman
- John S Lew
- 1971
- J. Math. Anal. Appl.
Evaluation of m†(h - ϵ)-1m for a large hermitian matrix h
- R.K Nesbet
- 1971
- Journal of Computational Physics