Project

Computers and Mathematics: a historical and systematic study of the interactive use of the computer in mathematics.