Culler-Fried System

A system for interactive mathematics.

[Sammet 1969, p. 253-255].