74325728
Oct 26, 1992
UNIVERSITY OF NORTH CAROLINA AT CHAPEL HILL THE
Subscribe
computer program for a mathematical writing language that facilitates the manipulation of mathematical objects in mathematically natural ways