The project will be carried out at Simon Fraser University between the Centre for Experimental &Constructive Mathematics and the Intelligent Software Group. Other sites will be coordinated in their involvement with resources development and evaluation activities.