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

3480 results for Mathematical Sciences

Semantics of probabilistic programs
- - Dexter Kozen
- 1981
- Journal of Computer and System Sciences
Computational Complexity of Algebraic Functions
- - Nicholas Pippenger
- 1981
- Journal of Computer and System Sciences
A construction of a normal number for the continued fraction transformation
- - Roy Adler
  - Michael Keane
  - et al.
- 1981
- Journal of Number Theory
The representation of posets and lattices by sets
- - George Markowsky
- 1980
- Algebra Universalis
On new roles for categorical algebra
- - Calvin C. Elgot
- 1980
- Journal of Pure and Applied Algebra
A functional relation and an acceleration procedure for calculating the voltage response of josephson junctions
- - W.L Miranker
  - K. Bu
- 1980
- Journal of Computational Physics
The equivalence of R.E. program schemes and data flow schemes
- - Jeffrey M. Jaffe
- 1980
- Journal of Computer and System Sciences
On formulating simultaneity for studying parallelism and synchronization
- - Raymond E. Miller
  - Chee K. Yap
- 1980
- Journal of Computer and System Sciences
The Lanczos phenomenon-An interpretation based upon conjugate gradient optimization
- - Jane Cullum
  - Ralph A. Willoughby
- 1980
- Linear Algebra and Its Applications
Adequacy of decompositions of relational databases
- - David Maier
  - Alberto O. Mendelzon
  - et al.
- 1980
- Journal of Computer and System Sciences