李传中 陈小平 张景中 杨路

立体几何 解析几何 局部连贯 教育软件智能平台 物理 建构主义理论 人机语义 本体 定理机器证明 可读证明 几何信息库 知识表示 图灵测试 教育技术 语篇 语义网 阅读理解 机器证明 数学机械化 推理机制