Symbolic Computation Systems / The MITRE Corporation / Naval Research Laboratory / CADE / /
Country
United States / / /
Facility
Software McMaster University / Institute Road Worcester / Computer Science Worcester Polytechnic Institute / Yale University / McMaster University / /
IndustryTerm
mechanized mathematics systems / exploration tool / /
Organization
McMaster University / American Mathematical Society / Worcester Polytechnic Institute / Yale University / Canada Department / Computer Science Department / /
Person
J. D. Guttman / William M. Farmer∗ Joshua / D. M. Johnson / F. J. Thayer / M. Kerber / Joshua D. Guttman / M. E. Nadel / W. M. Farmer / O. Grigorov / M. Kohlhase / /
Notices of the American Mathematical Society / Journal of Symbolic Computation / Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /