System for Automatic Generation of Examination Papers in Discrete Mathematics

A system was developed for automatic generation of problems and solutions for examinations in a university distance course in discrete mathematics and tested in a pilot experiment involving 200 students. Considering the success of such systems in the past, particularly including automatic assessment, it should not take long before such systems are widely used in higher mathematics education. The goal of this paper is to encourage such development by sharing some of the experience that was gained along the way in the implementation and application of such system. [For the full proceedings, see ED562127.]