1. Culler-Fried System A system for interactive mathematics. [Sammet 1969, p. 253-255].
culler-fried system |