Iraj Kalantari

Affiliations:
  • Western Illinois University, Macomb, IL, USA


According to our database1, Iraj Kalantari authored at least 28 papers between 1977 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2013
On Properties of Forbidden Zones of Polygons and Polytopes.
Trans. Comput. Sci., 2013

When series of computable functions with varying domains are computable.
Math. Log. Q., 2013

2012
Collinearity of Iterations and Real Plane Algebraic Curves.
Proceedings of the Ninth International Symposium on Voronoi Diagrams in Science and Engineering, 2012

2011
Mollified Zone Diagrams and Their Computation.
Trans. Comput. Sci., 2011

2010
Preface.
Ann. Pure Appl. Log., 2010

Maximal Zone Diagrams and their Computation.
Proceedings of the Seventh International Symposium on Voronoi Diagrams in Science and Engineering, 2010

2008
On Turing degrees of points in computable topology.
Math. Log. Q., 2008

On degree-preserving homeomorphisms between trees in computable topology.
Arch. Math. Log., 2008

2007
Induction over the Continuum.
Proceedings of the Induction, Algorithmic Learning Theory, and Philosophy, 2007

2004
Density and Baire category in recursive topology.
Math. Log. Q., 2004

A blend of methods of recursion theory and topology: A Pi<sub>1</sub><sup>0</sup> tree of shadow points.
Arch. Math. Log., 2004

Animation of mathematical concepts using polynomiography.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2004

2003
A blend of methods of recursion theory and topology.
Ann. Pure Appl. Log., 2003

2002
Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis.
Proceedings of the Computability and Complexity in Analysis, 2002

1999
Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II.
Ann. Pure Appl. Log., 1999

1998
Point-Free Topological Spaces, Functions and Recursive Points: Filter Foundation for Recursive Analysis I.
Ann. Pure Appl. Log., 1998

1987
Effective topological spaces III: Forcing and definability.
Ann. Pure Appl. Log., 1987

1985
Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field.
Math. Log. Q., 1985

Effective topological spaces II: A hierarchy.
Ann. Pure Appl. Log., 1985

Effective topological spaces I: a definability theory.
Ann. Pure Appl. Log., 1985

1983
A Data Structure and an Algorithm for the Nearest Point Problem.
IEEE Trans. Software Eng., 1983

Degrees of Recursively Enumerable Topological Spaces.
J. Symb. Log., 1983

Maximality in Effective Topology.
J. Symb. Log., 1983

1982
Simplicity in Effective Topology.
J. Symb. Log., 1982

1979
Automorphisms of the Lattice of Recursively Enumerable Vector Spaces.
Math. Log. Q., 1979

Recursive Constructions in Topological Spaces.
J. Symb. Log., 1979

1978
Major Subspaces of Recursively Enumerable Vector Spaces.
J. Symb. Log., 1978

1977
Maximal Vector Spaces Under Automorphisms of the Lattice of Recursively Enumerable Vector Spaces.
J. Symb. Log., 1977


  Loading...