The concept of effective method applied to computational problems of linear algebra
From MaRDI portal
Publication:2546145
Cites work
- A Chain of Inclusion Relations in Computable Analysis
- An Elementary Constructive Proof of the Fundamental Theorem of Algebra
- Analysis in the Computable Number Field
- Effective operations on partial recursive functions
- scientific article; zbMATH DE number 3145227 (Why is no real title available?)
- scientific article; zbMATH DE number 3183058 (Why is no real title available?)
- scientific article; zbMATH DE number 3285221 (Why is no real title available?)
- scientific article; zbMATH DE number 3200656 (Why is no real title available?)
- scientific article; zbMATH DE number 3200675 (Why is no real title available?)
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On the constructive interpretation of mathematical judgments
- Recursive Real Numbers
- Some properties of constructive real numbers and constructive functions
This page was built for publication: The concept of effective method applied to computational problems of linear algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2546145)