The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations (Q5623667): Difference between revisions

@@ label / en / label / en @@
+The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2038240
@@ Property / full work available at URL: https://doi.org/10.2307/2038240 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4250131462
@@ Property / OpenAlex ID: W4250131462 / rank @@
+Normal rank
@@ Property / title @@
+The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations (English)
+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 @@
+Q3285764
@@ Property / cites work: Q3285764 / rank @@
+Normal rank
@@ Property / cites work @@
+The primitive recursive analysis of ordinary differential equations and the complexity of their solutions
+Normal rank
@@ Property / cites work @@
+Q5843703
@@ Property / cites work: Q5843703 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829025
@@ Property / cites work: Q5829025 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank