支持数学证明和数学解题过程，以计算机程序完成中学数学问题和证明题的有效工具。