AbstractIn this note we give a new representation for closed sets under which the robust zero set of a function is computable. We call this representation the component cover representation. The computation of the zero set is based on topological index theory, the most powerful tool for finding robust solutions of equations
A compact set has computable type if any homeomorphic copy of the set which is semicomputable is act...
Abstract. We study perfectly locally computable structures, which are (possibly uncountable) structu...
A notable feature of the TTE approach to computability is the representationof the argument values a...
htmlabstractIn this note we give a new representation for closed sets under which the robust zero se...
In this note we give a new representation for closed sets under which the robust zero set of a funct...
AbstractIn this note we give a new representation for closed sets under which the robust zero set of...
The TTE approach to Computable Analysis is the study of so-calledrepresentations (encodings for cont...
AbstractΠ01 classes in a space X where X equals {0, 1}ω, ωω, [0, 1], or the real line real are given...
AbstractThe empty set of course contains no computable point. On the other hand, surprising results ...
The relationship between the structure of a domain and the complexity of computing over that domain ...
AbstractA concrete model of computation for a topological algebra is based on a representation of th...
AbstractThe computation of reachable sets of nonlinear dynamic and control systems is an important p...
textabstractThe computation of reachable sets of nonlinear dynamic and control systems is an importa...
In this thesis, we explore connections between computability theory and set theory. We investigate a...
We revise and extend the foundation of computable topology in the framework of Type-2 theory of effe...
A compact set has computable type if any homeomorphic copy of the set which is semicomputable is act...
Abstract. We study perfectly locally computable structures, which are (possibly uncountable) structu...
A notable feature of the TTE approach to computability is the representationof the argument values a...
htmlabstractIn this note we give a new representation for closed sets under which the robust zero se...
In this note we give a new representation for closed sets under which the robust zero set of a funct...
AbstractIn this note we give a new representation for closed sets under which the robust zero set of...
The TTE approach to Computable Analysis is the study of so-calledrepresentations (encodings for cont...
AbstractΠ01 classes in a space X where X equals {0, 1}ω, ωω, [0, 1], or the real line real are given...
AbstractThe empty set of course contains no computable point. On the other hand, surprising results ...
The relationship between the structure of a domain and the complexity of computing over that domain ...
AbstractA concrete model of computation for a topological algebra is based on a representation of th...
AbstractThe computation of reachable sets of nonlinear dynamic and control systems is an important p...
textabstractThe computation of reachable sets of nonlinear dynamic and control systems is an importa...
In this thesis, we explore connections between computability theory and set theory. We investigate a...
We revise and extend the foundation of computable topology in the framework of Type-2 theory of effe...
A compact set has computable type if any homeomorphic copy of the set which is semicomputable is act...
Abstract. We study perfectly locally computable structures, which are (possibly uncountable) structu...
A notable feature of the TTE approach to computability is the representationof the argument values a...
DOI
Add to ORKG