Incompleteness theorems for random reals
- G.J Chaitin
- 1987
- Advances in Applied Mathematics
Publications
3596 results for Mathematical Sciences
On the Perron-Frobenius eigenvector for nonnegative integral matrices whose largest eigenvalue is integral
- Jonathan Ashley
- 1987
- Linear Algebra and Its Applications
On the asymptotic behavior of the projective rescaling algorithm for linear programming
- Michael Shub
- 1987
- Journal of Complexity
Elastic analysis of some punch problems for a layered medium
- R.B. King
- 1987
- Int. J. Solids Struct.
A Rule-Based System for Verifying Engineering Specifications in Industrial Visual Inspection Applications
- Dragutin Petkovic
- Eric B. Hinkle
- 1987
- IEEE Transactions on Pattern Analysis and Machine Intelligence
A Direct Method for Solving Linear Systems
- M. Tismenetsky
- 1987
- International Journal of Computer Mathematics
Periodic points and automorphisms of the shift
- Mike Boyle
- Wolfgang Krieger
- 1987
- Trans. Am. Math. Soc.
Sliding contact stresses in a two-dimensional layered elastic half-space
- R.B. King
- T.C. O'sullivan
- 1987
- Int. J. Solids Struct.
Communication in concurrent dynamic logic
- David Peleg
- 1987
- Journal of Computer and System Sciences
Projection-Based Geometrical Feature Extraction for Computer Vision: Algorithms in Pipeline Architectures
- Jorge L. Sanz
- Its Hak Dinstein
- 1987
- IEEE Transactions on Pattern Analysis and Machine Intelligence