×

zbMATH — the first resource for mathematics

Proceedings of the fourth international conference on computability and complexity in analysis (CCA 2007), Siena, Italy, June 16–18, 2007. (English) Zbl 1172.03301
Electronic Notes in Theoretical Computer Science 202. Amsterdam: Elsevier. 401 p., electronic only (2008).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1139.03300, Zbl 1119.03304, Zbl 1118.03303).
Indexed articles:
Lu, Hong; Weihrauch, Klaus, Computable Riesz representation for locally compact Hausdorff spaces, 3-12 [Zbl 1262.03140]
Moser, Philippe, On the convergence of Fourier series of computable Lebesgue integrable functions, 13-18 [Zbl 1262.42002]
Baroni, Marian; Bridges, Douglas, Continuity properties of preference relations, 19-25 [Zbl 1262.03128]
McNicholl, Timothy H., Uniformly computable aspects of inner functions, 27-36 [Zbl 1262.30068]
Skordev, Dimiter, \(\mathcal{E}^2\)-computability of \(e\), \(\pi\) and other famous constants, 37-47 [Zbl 1262.03060]
Graça, Daniel S.; Buescu, Jorge; Campagnolo, Manuel L., Boundedness of the domain of definition is undecidable for polynomial ODEs, 49-57 [Zbl 1262.34010]
Selivanov, Victor, On the Wadge reducibility of \(k\)-partitions, 59-71 [Zbl 1262.03102]
Le Roux, Stéphane; Ziegler, Martin, Singular coverings and non-uniform notions of closed set computability, 73-88 [Zbl 1262.03085]
Cenzer, Douglas; Dashti, S. Ali; King, Jonathan L. F., Effective symbolic dynamics, 89-99 [Zbl 1262.37008]
Zhao, Xishun; Müller, Norbert, Complexity of operators on compact sets, 101-119 [Zbl 1262.03061]
Ko, Ker-I; Yu, Fuxiang, On the complexity of convex hulls of subsets of the two-dimensional plane, 121-135 [Zbl 1262.03083]
Bosserhoff, Volker, Notions of probabilistic computability on represented spaces, 137-170 [Zbl 1262.03077]
Marcial-Romero, J. Raymundo; Moshier, M. Andrew, Sequential real number computation and recursive relations, 171-189 [Zbl 1262.03087]
Ciobanu, Gabriel; Rusu, Dănuţ, Supermetrics over apartness lattice-ordered semigroup, 191-200 [Zbl 1262.06007]
Batra, Prashant, Newton’s method and the computational complexity of the fundamental theorem of algebra, 201-218 [Zbl 1262.03129]
Lu, Dianchen; Wang, Qingyan, Computing the solution of the m-Korteweg-de Vries equation on Turing machines, 219-236 [Zbl 1262.35186]
Grubba, Tanja; Weihrauch, Klaus; Xu, Yatao, Effectivity on continuous functions in topological spaces, 237-254 [Zbl 1262.03138]
Zheng, Xizhong, Finitely bounded effective computability, 255-265 [Zbl 1262.03096]
Schröder, Matthias, On the relationship between filter spaces and weak limit spaces, 267-277 [Zbl 1262.03075]
Mori, Takakazu; Yasugi, Mariko; Tsujii, Yoshiki, Integral of Fine computable functions and Walsh Fourier series, 279-293 [Zbl 1262.03088]
Lutz, Jack H.; Weihrauch, Klaus, Connectivity properties of dimension level sets, 295-304 [Zbl 1262.03086]
Morozov, Andrei; Korovina, Margarita, Remarks on \(\Sigma\)-definability without the equality test over the reals, 305-313 [Zbl 1262.03089]
Rettinger, Robert, On the computability of Bloch’s constant, 315-322 [Zbl 1262.03146]
Nandakumar, Satyadev, A characterization of constructive dimension, 323-337 [Zbl 1262.03144]
Dillhage, Ruth, Computability of the spectrum of self-adjoint operators and the computable operational calculus, 339-364 [Zbl 1262.03135]
Bauer, Andrej; Kavkler, Iztok, Implementing real numbers with RZ, 365-384 [Zbl 1262.03076]
Spandl, Christoph, Computability of topological pressure for shifts of finite type with applications in statistical physics, 385-401 [Zbl 1262.03094]

MSC:
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
03D78 Computation over the reals, computable analysis
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: Link