Culler-Fried System

Culler-Fried System

A system for interactive mathematics.

[Sammet 1969, p. 253-255].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)