SURVEY OF FORMULA MANIPULATION

[1] ALPIAR R, 1965, ALGANI MANUAL

[2] AUTOMAST - AUTOMATIC MATHEMATICAL ANALYSIS AND SYMBOLIC TRANSLATION [J]. COMMUNICATIONS OF THE ACM, 1966, 9 (08) : 626 - &

[3] BARNETT MP, 1964, 22 MIT COOP COMP LAB, P1

[4] WENGERTS NUMERICAL METHOD FOR PARTIAL DERIVATIVES ORBIT DETERMINATION AND QUASILINEARIZATION [J]. COMMUNICATIONS OF THE ACM, 1965, 8 (04) : 231 - &

[5] BENDER B, 1966, COMMUN ACM, V9, P552

[6] BERNICK MD, 1961, 1961 WEST JOINT COMP, P389

[7] BLACKWELL FW, 1963, 18 ACM NAT C

[8] BLEIWEISS L, 1966, TR001415 IBM SYS DEV

[9] BOND E, 1964, 19 P ACM NAT C, pK2

[10] AUTOMATIC FUNDAMENTAL CALCULATIONS OF MOLECULAR STRUCTURE [J]. NATURE, 1956, 178 (4544) : 1207 - 1209

[1] ALPIAR R, 1965, ALGANI MANUAL

[2] AUTOMAST - AUTOMATIC MATHEMATICAL ANALYSIS AND SYMBOLIC TRANSLATION [J]. COMMUNICATIONS OF THE ACM, 1966, 9 (08) : 626 - &

[3] BARNETT MP, 1964, 22 MIT COOP COMP LAB, P1

[4] WENGERTS NUMERICAL METHOD FOR PARTIAL DERIVATIVES ORBIT DETERMINATION AND QUASILINEARIZATION [J]. COMMUNICATIONS OF THE ACM, 1965, 8 (04) : 231 - &

[5] BENDER B, 1966, COMMUN ACM, V9, P552

[6] BERNICK MD, 1961, 1961 WEST JOINT COMP, P389

[7] BLACKWELL FW, 1963, 18 ACM NAT C

[8] BLEIWEISS L, 1966, TR001415 IBM SYS DEV

[9] BOND E, 1964, 19 P ACM NAT C, pK2

[10] AUTOMATIC FUNDAMENTAL CALCULATIONS OF MOLECULAR STRUCTURE [J]. NATURE, 1956, 178 (4544) : 1207 - 1209