A Generalized Technique for Symbol Manipulation and Numerical Calculation (1960)dl.acm.org3 pointstosh2 months ago