The Interactive Mathematics Laboratory

William M. Farmer

1998

Abstract

An interactive mathematics laboratory (IML) is a computer system with
a set of integrated tools designed to facilitate a wide range of
mathematical activity.  It is an interactive environment where the
user can create and explore rigorous mathematics.  It is also a
mechanized environment where the system can perform many functions
useful to the user.  The IML has the potential to transform how people
learn and practice mathematics.  IMLs do not exist today, but much of
the technology needed for building an IML can be found in contemporary
theorem provers and computer algebra systems.