The concept of effective method applied to computational problems of linear algebra
From MaRDI portal
Publication:2546145
DOI10.1016/S0022-0000(71)80004-1zbMath0216.48701MaRDI QIDQ2546145
Publication date: 1971
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
65F99: Numerical linear algebra
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Effective operations on partial recursive functions
- A Chain of Inclusion Relations in Computable Analysis
- Analysis in the Computable Number Field
- Some properties of constructive real numbers and constructive functions
- On the constructive interpretation of mathematical judgments
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Recursive Real Numbers
- An Elementary Constructive Proof of the Fundamental Theorem of Algebra