Magic Paper

An early interactive symbolic mathematics system.