Automated Reasoning and Equation Solving with the Characteristic Set Method

• 基于特征列方法的自动推理与方程求解