Ball, William E. and Berns, Robert I. "AUTOMAST: automatic mathematical analysis and symbolic translation"
(1966)
[ACM] (1966)
[ACM] CACM 9(08) August 1966
Languages mentioned
AUTOMAST
{1966} automatic mathematical analysis and symbolic translation