The Free On-line Dictionary of Computing (19 January 2023):

Culler-Fried System

   A system for interactive mathematics.

   [Sammet 1969, p. 253-255].

   (1994-11-15)