陈世平 李传中 杨路 冯勇

函数 模型 定积分 智能教育软件 极限 数学机械化 智能教育平台 计算机符号代数 知识 智能知识平台 导数 数学归纳法 解析几何 知识服务体系 知识浓缩 直线程序 变量归一算法 连续归纳法 超限归纳法 公理化方法 初等化 定理机器证明 微积分 逆向演绎系统 可读证明 深度约束 微积分学 初等可读证明 数值并行法 良序集

中国科学院成都计算机应用研究所 广东广州 四川大学信息管理系 广州大学教育软件研究所 华中师范大学教育信息技术工程研究中心 广州大学计算机教育软件所 中国科学院成都计算机应用研究所四川成都 四川成都