Exact real computation of solution operators for linear analytic systems of partial differential equations (Q832000): Difference between revisions

@@ Property / cites work @@
+Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
+Normal rank
@@ Property / cites work @@
+Q5384984
@@ Property / cites work: Q5384984 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Using Exact Real Arithmetic for Initial Value Problems
+Normal rank
@@ Property / cites work @@
+Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
+Normal rank
@@ Property / cites work @@
+Q4399897
@@ Property / cites work: Q4399897 / rank @@
+Normal rank
@@ Property / cites work @@
+The analysis of linear partial differential operators. I: Distribution theory and Fourier analysis.
+Normal rank
@@ Property / cites work @@
+A new Characterization of Type-2 Feasibility
@@ Property / cites work: A new Characterization of Type-2 Feasibility / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity theory for operators in analysis
@@ Property / cites work: Complexity theory for operators in analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
+Normal rank
@@ Property / cites work @@
+Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
+Normal rank
@@ Property / cites work @@
+Complexity Theory of (Functions on) Compact Metric Spaces
+Normal rank
@@ Property / cites work @@
+Average-case polynomial-time computability of hamiltonian dynamics
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Bit-complexity of solving systems of linear evolutionary partial differential equations
+Normal rank
@@ Property / cites work @@
+Computational complexity of real powering and improved solving linear differential equations
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531992
@@ Property / cites work: Q4531992 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-assisted proofs for semilinear elliptic boundary value problems
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity on computable metric spaces
+Normal rank