张景中 赵根明 曹忠 赵文静 杨路

数值并行法 智能知识平台 交互推理 自动推理 解析几何 类 平面解析几何 直线程序 GDI函数 定理机器证明 数据成员 智能教育平台 MFC类库 规则 成员函数 知识

广东广州 广州大学计算机教育软件所 广州大学实验中心 广州大学计算机教育软件研究所 广州大学信息与机电工程学院