The following pages link to Iraj Kalantari (Q926172):
Displaying 35 items.
- On degree-preserving homeomorphisms between trees in computable topology (Q926174) (← links)
- Effective topological spaces. I: A definability theory (Q1061121) (← links)
- Recursively enumerable sets and van der Waerden's theorem on arithmetic progressions (Q1061736) (← links)
- Effective topological spaces. II: A hierarchy (Q1073020) (← links)
- Effective topological spaces. III: Forcing and definability (Q1098842) (← links)
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II (Q1302291) (← links)
- A basic family of iteration functions for polynomial root finding and its characterizations (Q1360168) (← links)
- A blend of methods of recursion theory and topology. (Q1412834) (← links)
- A blend of methods of recursion theory and topology: a \(\Pi_1^0\) tree of shadow points (Q1762734) (← links)
- (Q1914877) (redirect page) (← links)
- High order iterative methods for approximating square roots (Q1914878) (← links)
- A general separation theorem for various structures (Q2221011) (← links)
- On Properties of Forbidden Zones of Polygons and Polytopes (Q2868525) (← links)
- Density and Baire category in recursive topology (Q3159423) (← links)
- Mollified Zone Diagrams and Their Computation (Q3223918) (← links)
- Maximality in effective topology (Q3313853) (← links)
- Degrees of recursively enumerable topological spaces (Q3313854) (← links)
- On Turing degrees of points in computable topology (Q3528143) (← links)
- A Data Structure and an Algorithm for the Nearest Point Problem (Q3659157) (← links)
- Simplicity in effective topology (Q3663273) (← links)
- (Q3671145) (← links)
- Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field (Q3703886) (← links)
- Automorphisms of the Lattice of Recursively Enumerable Vector Spaces (Q3858254) (← links)
- Recursive constructions in topological spaces (Q3863871) (← links)
- (Q3931263) (← links)
- Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces (Q4163526) (← links)
- Major subspaces of recursively enumerable vector spaces (Q4187806) (← links)
- (Q4249366) (← links)
- (Q4249367) (← links)
- (Q4858969) (← links)
- Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis (Q4916185) (← links)
- (Q5393637) (← links)
- When series of computable functions with varying domains are computable (Q5396227) (← links)
- (Q5459631) (← links)