Publications

3538 results for Mathematical Sciences

An interpretation-oriented theorem prover over integers
- - James C. King
  - Robert W. Floyd
- 1972
- Journal of Computer and System Sciences
The zeros of the partial sums of the exponential function^*
- - D.J Newman
  - T.J Rivlin
- 1972
- Journal of Approximation Theory
A continuity theorem for fuchsian groupsc)
- - C.K. Wong
- 1972
- Trans. Am. Math. Soc.
On linear volterra integral equations of convolution type
- - John S. Lew
- 1972
- Proceedings of the American Mathematical Society
Eigenvalues and partitionings of the edges of a graph
- - A.J. Hoffman
- 1972
- Linear Algebra and Its Applications
Waiting lines in multiple loop systems
- - Alan G Konheim
  - Bernd Meister
- 1972
- J. Math. Anal. Appl.
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