On mathematical assistant CARANT-REDUCE and its application to computer science education (demonstration).

Nikolaj M. Glazunov

Browse the full ITiCSE paper archive.