We study computability of the abstract linear Cauchy problem(1) d u ( t ) / d t = A u ( t ) , u ( 0 ) = x ∈ X , where A is a linear operator, ...
Jul 26, 2007 · Abstract We study computability of the abstract linear Cauchy problem (1) where A is a linear operator, possibly unbounded, on a Banach ...
Abstract. We study computability of the abstract linear Cauchy problem equation image)where A is a linear operator, possibly unbounded, on a Banach space X.
Computable analysis of the abstract Cauchy problem in a Banach space and its applications I · K. Weihrauch, Ning Zhong · Published in Mathematical Logic Quarterly ...
We show how to compute on Turing machines a semigroup, uniformly continuous or strongly continuous, from its infinitesimal generator and vise versa. Then, by ...
We study computability of the abstract linear Cauchy problem(1)du(t)/dt=Au(t),u(0)=x@?X, where A is a linear operator, possibly unbounded, on a Banach space ...
Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I). Authors. Klaus Weihrauch · Ning Zhong. Publication date: 2007.
Oct 1, 2024 · Computable analysis of the abstract Cauchy problem in a Banach space and its applications I. Math. Log. Q. 53(4-5): 511-531 (2007). [j13].
Weihrauch, Klaus and Zhong, Ning, Computable analysis of the abstract Cauchy problem in a Banach space and its applications (I), in: Cenzer, Douglas and ...
Electronic Notes in Theoretical Computer Science, Volume 167
www.sigmod.org › dblp › entcs › entcs167
Klaus Weihrauch, Ning Zhong: Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I). 33-59. Electronic Edition (link) ...