Iraj Kalantari

29 papers C 1Journal 23Unranked 4
YearRankTypeTitle / Venue / Authors
2013 J jnl
On Properties of Forbidden Zones of Polygons and Polytopes.
Trans. Comput. Sci.
Ross Berkowitz, Bahman Kalantari, Iraj Kalantari, David Menendez
2013 J jnl
When series of computable functions with varying domains are computable.
Math. Log. Q.
Iraj Kalantari, Larry Welch
2012 — conf
Collinearity of Iterations and Real Plane Algebraic Curves.
ISVD
Fedor Andreev, Iraj Kalantari
2012 — conf
On Properties of Forbidden Zones of Polygons and Polytopes.
ISVD
Ross Berkowitz, Bahman Kalantari, David Menendez, Iraj Kalantari
2011 J jnl
Mollified Zone Diagrams and Their Computation.
Trans. Comput. Sci.
Sergio Coutinho de Biasi, Bahman Kalantari, Iraj Kalantari
2010 — conf
Maximal Zone Diagrams and their Computation.
ISVD
Sergio Coutinho de Biasi, Bahman Kalantari, Iraj Kalantari
2010 J jnl
Preface.
Ann. Pure Appl. Log.
Ali Enayat, Iraj Kalantari
2008 J jnl
On Turing degrees of points in computable topology.
Math. Log. Q.
Iraj Kalantari, Larry Welch
2008 J jnl
On degree-preserving homeomorphisms between trees in computable topology.
Arch. Math. Log.
Iraj Kalantari, Larry Welch
2007 — ch.
Induction over the Continuum.
Induction, Algorithmic Learning Theory, and Philosophy
Iraj Kalantari
2004 J jnl
A blend of methods of recursion theory and topology: A Pi
Arch. Math. Log.
Iraj Kalantari, Larry Welch
2004 — conf
Animation of mathematical concepts using polynomiography.
SIGGRAPH Educators Program
Bahman Kalantari, Iraj Kalantari, Fedor Andreev
2004 J jnl
Density and Baire category in recursive topology.
Math. Log. Q.
Iraj Kalantari, Larry Welch
2003 J jnl
A blend of methods of recursion theory and topology.
Ann. Pure Appl. Log.
Iraj Kalantari, Larry Welch
2002 C conf
Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis.
CCA
Iraj Kalantari, Larry Welch
1999 J jnl
Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II.
Ann. Pure Appl. Log.
Iraj Kalantari, Lawrence Welch
1998 J jnl
Point-Free Topological Spaces, Functions and Recursive Points: Filter Foundation for Recursive Analysis I.
Ann. Pure Appl. Log.
Iraj Kalantari, Lawrence Welch
1987 J jnl
Effective topological spaces III: Forcing and definability.
Ann. Pure Appl. Log.
Iraj Kalantari, Galen Weitkamp
1985 J jnl
Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field.
Math. Log. Q.
Rodney G. Downey, Iraj Kalantari
1985 J jnl
Effective topological spaces I: a definability theory.
Ann. Pure Appl. Log.
Iraj Kalantari, Galen Weitkamp
1985 J jnl
Effective topological spaces II: A hierarchy.
Ann. Pure Appl. Log.
Iraj Kalantari, Galen Weitkamp
1983 J jnl
A Data Structure and an Algorithm for the Nearest Point Problem.
IEEE Trans. Software Eng.
Iraj Kalantari, Gerard McDonald
1983 J jnl
Degrees of Recursively Enumerable Topological Spaces.
J. Symb. Log.
Iraj Kalantari, Jeffrey B. Remmel
1983 J jnl
Maximality in Effective Topology.
J. Symb. Log.
Iraj Kalantari, Anne Leggett
1982 J jnl
Simplicity in Effective Topology.
J. Symb. Log.
Iraj Kalantari, Anne Leggett
1979 J jnl
Automorphisms of the Lattice of Recursively Enumerable Vector Spaces.
Math. Log. Q.
Iraj Kalantari
1979 J jnl
Recursive Constructions in Topological Spaces.
J. Symb. Log.
Iraj Kalantari, Allen Retzlaff
1978 J jnl
Major Subspaces of Recursively Enumerable Vector Spaces.
J. Symb. Log.
Iraj Kalantari
1977 J jnl
Maximal Vector Spaces Under Automorphisms of the Lattice of Recursively Enumerable Vector Spaces.
J. Symb. Log.
Iraj Kalantari, Allen Retzlaff