The Free On-line Dictionary of Computing (30 December 2018):

Culler-Fried System

   A system for interactive mathematics.

   [Sammet 1969, p. 253-255].

   (1994-11-15)