COMPUTER SOLUTION OF ALGEBRAIC PROBLEMS BY PATTERN MATCHING.