Data-Parallel Sparse Factorization. - John M. Conroy; Steven G. Kratzer; Robert F. Lucas; Aaron E. Naiman (SIAM J. Sci. Comput., 1998)

A note on conjugate gradient convergence - Part III. - Shlomo Engelberg; Aaron E. Naiman (Numerische Mathematik, 2000)

A note on conjugate gradient convergence - Part II. - Aaron E. Naiman; Shlomo Engelberg (Numerische Mathematik, 2000)

Rational Gram-Schmidt-Searching vs. Computing. - Aaron E. Naiman (SYNASC, 2019)

Physical Match. - Aaron E. Naiman; Eliav Farber; Yossi Stein (Informatica (Slovenia), 2019)

Automated Function Analysis for Calculus. - Aaron E. Naiman (Math. Comput. Sci., 2019)

Automated vector space proofs using mathematica. - Aaron E. Naiman (ACM Commun. Comput. Algebra, 2022)

Edge detection and characterization of digitized images. - Aaron E. Naiman; Eliav Farber; Yossi Stein (Pattern Anal. Appl., 2023)

Cyclic longest common subsequence. - Aaron E. Naiman; Eliav Farber; Yossi Stein (Discret. Math. Algorithms Appl., 2023)