Computational Support For Discrete Mathematics by