scientific article; zbMATH DE number 3183995
From MaRDI portal
zbMath0113.24306MaRDI QIDQ5720193
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A sequentially computable function that is not effectively continuous at any point, Computational unsolvability of domains of attraction of nonlinear systems, Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma, Computing the exact number of periodic orbits for planar flows, Computable Carathéodory theory, Contribution of Warsaw logicians to computational logic, Helena Rasiowa (1917-1994) Life and Personality, Non-recursiveness of the operations on real numbers, Helena Rasiowa (1917–1994), Generalized Banach-Mazur functionals in the topos of recursive sets, Computability of Brolin-Lyubich measure, Computability on subsets of metric spaces., Hypercomputation by definition, When series of computable functions with varying domains are computable, Theses for Computation and Recursion on Concrete and Abstract Structures, Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis, A Banach-Mazur computable but not Markov computable function on the computable real numbers, Non computable Mandelbrot-like sets for a one-parameter complex family, Towards understanding the theoretical challenges of numerical modeling of dynamical systems, Computability, noncomputability and undecidability of maximal intervals of IVPs, Non-computable Julia sets, Computable analysis with applications to dynamic systems, A domain-theoretic approach to computability on the real line, Markov's constructive analysis; a participant's view, Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II, Non-computable impressions of computable external rays of quadratic polynomials, Computable Geometric Complex Analysis and Complex Dynamics
