机器解数学题的方法、服务器和系统

本申请公开了一种机器解数学题的方法，包含：将数学题当中关于名词物件的句子转换成直接相应的公式、蕴含的公式、与/或从知识图谱中推论的公式；根据上述多个公式中的共同变量将其形成公式关联图；以及根据该公式关联图解算出各个变量的值，还可以进行自我侦错。再利用上述的公式与其变量值生成疑问句和相应的答案与学生进行交互式的启发教学。