数学机械化与教育信息技术学术研讨会定于2016年11月25日-27日在成都举行。

在线注册】 【会议通知

会议主题

包括但不限于:

数学机械化理论、算法和软件实现

符号计算,符号与数值混合计算

自动推理与机器证明

教育软件研究与应用

教育信息技术

智慧学习与智慧教育

动力系统