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