The structure of the Cambridge algebra system

Open Access
Publisher Website
Google Scholar
Abstract
This paper describes the implementation of an algebra system under development in Cambridge.