符号计算验证

利用代数规则而非数值近似来检查数学答案等价性的技术