数学本体相关论文
基于知识的定理机器证明、数学软件系统集成、数学语义Web、高级数学教学系统等对数学知识的表示和获取产生了巨大的需求。面向Web......
着重介绍NKIMath中数学概念的知识表示方法.首先给出了NKIMath知识系统的体系结构,分析了获取数学知识的不同用途.在次基础上给出......
