Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Computers in group theory: a survey
Communications of the ACM
Toward a programming laboratory
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Hi-index | 48.23 |
A medium-scale programming system is written in MAD and FAP on the IBM 7094 to manipulate some of the objects of modern algebra: finite groups, maps and sets of maps, subsets and sets of subsets, constant integers and truth-values. Designed to operate in a time-sharing environment, the system can serve as a teacher's aid to the undergraduate student of modern algebra, as well as for the working scientist or engineer wishing to familiarize himself with the subject.