Gelernter studied for his Ph.D. at the University of Rochester in 1957. He implemented, with Nathaniel Rochester, a computer language for list processing within FORTRAN. The work for this was done, in fact, with Carl Gerberich at IBM, to this end producing the Fortran list processing language (FLPL). His most ambitious project during his tenure at Stony Brook University was the SYNCHEM expert problem-solving system for the discovery of potential routes to the total synthesis of organic molecules through a self-guided intelligent search and application of its large knowledge base of graph transforms, rules and sophisticated heuristics representing generalized organic reactions organized around recognized functional groups.
- H. Gelernter;J. R. Hansen & C. L. Gerberich, "A Fortran-Compiled List-Processing Language", ACM Digital Library (volume 7 issue 2, April 1960), International Business Machines Co., Yorktown Heights, N.Y. doi>10.1145/321021.321022 17:13(GMT)26.10.2011
- Gelernter, H. L., Rochester, N., "Intelligent Behavior in Problem-Solving Machines", IBM Journal of Research and Development, Oct. 1958; doi 10.1147/rd.24.0336 retrieved 17:19 (GMT) 26 October 2011
- H Gelernter, "Realization of a geometry theorem proving machine", IFIP Congress 1959, retrieved 17:39 26 October 2011
- H. Gelernter; J. R. Hansen; D. W. Loveland, Empirical explorations of the geometry theorem machine, IBM Research Center, Yorktown Heights, New York retrieved 17:44(GMT) 26 October 2011
- List of Jewish American computer scientists
- Nathaniel Rochester (computer scientist)
- History of artificial intelligence
- Timeline of artificial intelligence
- "Stony Brook University". Retrieved 26 November 2011.
- The two-nucleon interaction at high energies and the Lévy potential University of Rochester. Dept. of Physics., (1957)- 260 pages retrieved 18:03(GMT) 26 October 2011
- LISP prehistory John McCarthy Jul 26th 22:37 PDT 1996 retrieved 17:48(GMT) 26 October 2011 [see also: Lisp (programming language) and John McCarthy
|This article about an American scientist is a stub. You can help Wikipedia by expanding it.|