Culler-Fried System Augmentation of
IPL-V Strong Influence

Symbolic mathematics system

1
Anderson 1972 1 Extension of
1