Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

3479 results for Mathematical Sciences

Eigenvalues and partitionings of the edges of a graph
- - A.J. Hoffman
- 1972
- Linear Algebra and Its Applications
Analysis of methods for calculating spectral properties in solids
- - G Gilat
- 1972
- Journal of Computational Physics
An interpretation-oriented theorem prover over integers
- - James C. King
  - Robert W. Floyd
- 1972
- Journal of Computer and System Sciences
A generalization of the theory of incompletely specified machines
- - D.E. Muller
  - R.E. Miller
- 1972
- Journal of Computer and System Sciences
Waiting lines in multiple loop systems
- - Alan G Konheim
  - Bernd Meister
- 1972
- J. Math. Anal. Appl.
The zeros of the partial sums of the exponential function^*
- - D.J Newman
  - T.J Rivlin
- 1972
- Journal of Approximation Theory
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