User-defined systems for pure mathematics
          Proc. FORML Conference, (1989),  97-103.

view/download (pdf)  

This paper is directed at the Forth community.  It outlines some of the ideas behind using Forth to create special purpose systems in mathematics. It compares the mathematician's axiomatic view of objects and their structure with the computer scientist's object-oriented paradigm. It shows how the mathematician's view of mathematical objects can be realized in Forth-based systems.