符红光 吴尽昭 钟秀琴 张问银 马廷淮 吴文渊 唐建国 郭远华

自动推理 三角函数化简 启发式 逐次差分代换 数据挖掘 重言衍推 汉字 自动证明

四川成都 华东师范大学软件学院 临沂师范学院计算机系 株洲工学院计算机科学与技术系 中国科学院成都计算机应用研究所 电子科技大学计算机科学与工程学院成都 华东师范大学上海市高可信计算重点实验室 中国科学院成都计算机应用研究所自动推理实...