前推法相关论文
提出并实现了可由用户持续发展的几何自动推理平台(SGARP).它由知识库、知识编辑器、信息库、推理引擎、信息查询窗口和动态几何作......
基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题。但这类软件都是将推理......
我们提出并实现了几何信息搜索系统，它可用于找出所给几何图形的“所有”性质，记ＧＰ为一给定的几何谓词之集，ＬＭ为涉及ＧＰ中谓词的某些几何引理......
智能几何教学软件都使用基于前推法的几何推理系统作为推理引擎。推理引擎的主要工作是做推理规则和几何信息的匹配计算。推理过程......
我们提出并实现了几何信息搜索系统（ＧＩＳＳ），它可用于找出所给几何图形的＂所有＂性质．记ＧＰ为一给定的几何谓词之集，ＬＭ为涉及ＧＰ中谓词的某些几何引理之集......
动态几何软件(Dynamic Geometry Software)与普通的作图软件有着本质上的不同。它绘制的几何图形不但精确,而且还具有动态性,这使......
在当前的配电网潮流计算方法中,一些算法的节点编号处理方法比较复杂,因此不适应实际配电网络运行方式的改变,同时也不利于程序的......
几何定理机器证明已经成功发展了多种新方法,但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征.文中以向量的回路为......
针对几何定理自动证明的前推法实现方式，结合面向对象编程工具的特点，实现了一个原型系统。该系统结构简单、清晰，可扩展性强，并能产生......
