陈世平 李传中 杨路 冯勇

函数 模型 定积分 智能教育软件 极限 数学机械化 智能教育平台 计算机符号代数

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