The concept of effective method applied to computational problems of linear algebra
- 1 February 1971
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 5 (1) , 17-25
- https://doi.org/10.1016/s0022-0000(71)80004-1
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A chain of inclusion relations in computable analysisProceedings of the American Mathematical Society, 1969
- Analysis in the Computable Number FieldJournal of the ACM, 1968
- Some properties of constructive real numbers and constructive functionsAmerican Mathematical Society Translations: Series 2, 1966
- On the constructive interpretation of mathematical judgmentsPublished by American Mathematical Society (AMS) ,1963
- Effective operations on partial recursive functionsMathematical Logic Quarterly, 1955
- Recursive real numbersProceedings of the American Mathematical Society, 1954
- An Elementary Constructive Proof of the Fundamental Theorem of AlgebraThe American Mathematical Monthly, 1945