A data structure and an algorithm for the nearest point problem I Kalantari, G McDonald IEEE Transactions on Software Engineering, 631-634, 1983 | 232 | 1983 |
Categories of theories and interpretations A Visser, A Enayat, I Kalantari, M Moniri Logic in Tehran 26, 284-341, 2006 | 92 | 2006 |
A basic family of iteration functions for polynomial root finding and its characterizations B Kalantari, I Kalantari, R Zaare-Nahandi Journal of Computational and Applied Mathematics 80 (2), 209-226, 1997 | 66 | 1997 |
Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces I Kalantari, A Retzlaff The Journal of Symbolic Logic 42 (4), 481-491, 1977 | 51 | 1977 |
High order iterative methods for approximating square roots B Kalantari, I Kalantari BIT Numerical Mathematics 36 (2), 395-399, 1996 | 32 | 1996 |
Recursive constructions in topological spaces I Kalantari, A Retzlaff The Journal of Symbolic Logic 44 (4), 609-625, 1979 | 23 | 1979 |
Induction over the continuum I Kalantari Induction, Algorithmic Learning Theory, and Philosophy, 145-154, 2007 | 19 | 2007 |
Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I I Kalantari, L Welch Annals of Pure and Applied Logic 93 (1-3), 125-151, 1998 | 18 | 1998 |
Major subsets in effective topology I Kalantari Studies in Logic and the Foundations of Mathematics 109, 77-94, 1982 | 17 | 1982 |
Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II I Kalantari, L Welch Annals of Pure and Applied Logic 98 (1-3), 87-110, 1999 | 16 | 1999 |
Major subspaces of recursively enumerable vector spaces1 I Kalantari The Journal of Symbolic Logic 43 (2), 293-303, 1978 | 15 | 1978 |
Simplicity in effective topology I Kalantari, A Leggett The Journal of Symbolic Logic 47 (1), 169-183, 1982 | 14 | 1982 |
Effective topological spaces I: A definability theory I Kalantari, G Weitkamp Annals of pure and applied logic 29 (1), 1-27, 1985 | 13 | 1985 |
Maximality in effective topology I Kalantari, A Leggett The Journal of Symbolic Logic 48 (1), 100-112, 1983 | 12 | 1983 |
A blend of methods of recursion theory and topology I Kalantari, L Welch Annals of Pure and Applied Logic 124 (1-3), 141-178, 2003 | 11 | 2003 |
Effective topological spaces III: Forcing and definability I Kalantari, G Weitkamp Annals of pure and applied logic 36, 17-27, 1987 | 10 | 1987 |
Effective topological spaces II: A hierarchy I Kalantari, G Weitkamp Annals of pure and applied logic 29 (2), 207-224, 1985 | 10 | 1985 |
Effective content of a theorem of MH Stone I Kalantari Aspects of Effective Algebra, 128-146, 1981 | 10 | 1981 |
Animation of mathematical concepts using polynomiography B Kalantari, I Kalantari, F Andreev ACM SIGGRAPH 2004 Educators program, 27, 2004 | 9 | 2004 |
Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field. RG Downey, I Kalantari Mathematical Logic Quarterly 31 (13), 1985 | 9 | 1985 |