Computational Support for Discrete Mathematics