mathworld subject coding theory