Benefits of Knowledge-Based Interactive Learning Environments: A Case in Combinatorics | IEEE Conference Publication | IEEE Xplore