Harvey J. Greenberg A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2000, v:28, n:1-4, pp:17-20 [Journal]
Harvey J. Greenberg Consistency, Redundancy, and Implied Equalities in Linear Systems. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1996, v:17, n:1-2, pp:37-83 [Journal]
Harvey J. Greenberg From the Guest Editor for the Special Issue on Computational Molecular Biology/Bioinformatics. [Citation Graph (0, 0)][DBLP] INFORMS Journal on Computing, 2004, v:16, n:4, pp:329-330 [Journal]