A survey of Lanczos procedures for very large real 'symmetric' eigenvalue problems
- Jane Cullum
- Ralph A. Willoughby
- 1985
- J. Comput. Appl. Math.
Publications
Date
Featured collections
Popular topics
3490 results for Mathematical Sciences
Handling Memory Overflow in Connected Component Labeling Applications
- Its'hak Dinstein
- David W. L. Yen
- et al.
- 1985
- IEEE TPAMI
A probabilistic PDL
- Dexter Kozen
- 1985
- Journal of Computer and System Sciences
Unbounded fan-in circuits and associative functions
- Ashok K. Chandra
- Steven Fortune
- et al.
- 1985
- Journal of Computer and System Sciences
On the spectral radius of (0,1)-matrices
- R.A. Brualdi
- A.J. Hoffman
- 1985
- Linear Algebra and Its Applications
An application of factoring
- D. Coppersmith
- J.H. Davenport
- 1985
- Journal of Symbolic Computation
Decreasing the nesting depth of expressions involving square roots
- Allan Borodin
- Ronald Fagin
- et al.
- 1985
- Journal of Symbolic Computation
Decision procedures and expressiveness in the temporal logic of branching time
- E.Allen Emerson
- Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences
Solving NP-hard problems in 'almost trees': Vertex cover
- Don Coppersmith
- Uzi Vishkin
- 1985
- Discrete Applied Mathematics
Optimal precision in the presence of uncertainty
- Joseph Y Halpern
- Nimrod Megiddo
- et al.
- 1985
- Journal of Complexity