Effectively open real functions
DOI10.1016/J.JCO.2006.05.002zbMATH Open1126.03042OpenAlexW2040831823MaRDI QIDQ864433FDOQ864433
Authors: Martin Ziegler
Publication date: 8 February 2007
Published in: Journal of Complexity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jco.2006.05.002
Recommendations
Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Theory of numerations, effectively presented structures (03D45) Quantifier elimination, model completeness, and related topics (03C10) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algorithms in real algebraic geometry
- On Computable Numbers, with an Application to the Entscheidungsproblem
- An effective Riemann Mapping Theorem
- On the definitions of computable real continuous functions
- Computability in linear algebra
- Foundation of a computable solid modelling.
- Computable operators on regular sets
- Computability on Regular Subsets of Euclidean Space
- Title not available (Why is that?)
- Equality is a jump
- Title not available (Why is that?)
- Computability of convex sets
- Title not available (Why is that?)
Cited In (4)
- Computability aspects for 1st-order partial differential equations via characteristics
- Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
- Computable complex analysis
- Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
This page was built for publication: Effectively open real functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q864433)