The concept of effective method applied to computational problems of linear algebra (Q2546145): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis in the Computable Number Field
@@ Property / cites work: Analysis in the Computable Number Field / rank @@
+Normal rank
@@ Property / cites work @@
+A Chain of Inclusion Relations in Computable Analysis
+Normal rank
@@ Property / cites work @@
+Q5737099
@@ Property / cites work: Q5737099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5737081
@@ Property / cites work: Q5737081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567860
@@ Property / cites work: Q5567860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262212
@@ Property / cites work: Q3262212 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective operations on partial recursive functions
+Normal rank
@@ Property / cites work @@
+Recursive Real Numbers
@@ Property / cites work: Recursive Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+An Elementary Constructive Proof of the Fundamental Theorem of Algebra
+Normal rank
@@ Property / cites work @@
+On the constructive interpretation of mathematical judgments
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Some properties of constructive real numbers and constructive functions
+Normal rank
@@ Property / cites work @@
+Q3849894
@@ Property / cites work: Q3849894 / rank @@
+Normal rank