较窄的 swMATH ID: 43234 软件作者： 皮埃尔·雷蒂（Pierre Rety）；克洛德·基什内尔；赫莱内·基什内尔；皮埃尔·莱斯坎 描述： NARROWER：一种新的统一算法及其在逻辑编程中的应用。本文提出了一种求解方程组的算法。证明了它的正确性和完整性，并描述了一个名为NARROWER的实现。它是通过扩展软件REVE实现的。还介绍了一些实验。该算法及其实现具有很好的特性，即当解集为无穷大时，它可以检测正则性并描述解。我们还试图展示这种算法与逻辑编程语言的设计之间的联系，逻辑编程语言旨在求解方程。 主页： https://link.springer.com/chapter/10.1007/3-540-15976-2_7链接 关键词： 方程理论中求解方程的算法;正确性;完整性 相关软件： 帕洛;版次;内核-叶;断言;RRL公司;减少;IBM草稿行 引用于： 11文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 NARROWER：一种新的统一算法及其在逻辑编程中的应用。 Zbl 0576.68002号皮埃尔·雷蒂;克洛德·基什内尔;Hélène基什内尔;皮埃尔·莱斯坎 1985 全部的 前5名18位作者引用 2 埃利奥·乔瓦内蒂 2 科拉多·莫伊索 1 马可·贝利亚 1 皮尔·乔治·博斯科 1 布赫伯格，布鲁诺 1 玛丽贝尔·费尔南德斯 1 罗伯特·吉格里奇 1 斯特芬·Hölldobler 1 克洛德·基什内尔 1 Hélène基什内尔 1 皮埃尔·莱斯坎 1 乔治·列维 1 李、柯 1 罗伯特·纽文胡斯 1 卡图西亚帕拉米德斯 1 皮埃尔·雷蒂 1 Subrahmanyam，宾夕法尼亚州。 1 你，嘉慧 全部的 前5名6篇连载文章中引用 三 理论计算机科学 1 计算机与系统科学杂志 1 符号计算杂志 1 自动推理杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 工程、通信和计算中的应用代数 在4个字段中引用 10 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 按年份列出的引文