约琴·普法兹格拉夫（编辑）;王东明（编辑） 自动化实用推理。代数方法。引言由吉姆·坎宁安撰写。 （英语） Zbl 0816.00013号 符号计算中的文本和专著。维恩：斯普林格·弗拉格。xi，223页（1995年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：迈克尔·卡尔布雷纳，求解三变量代数方程组的算法，7-37[Zbl 0837.68108号]约琴·普法兹格拉夫，关于船体的一般概念，39-51[Zbl 0837.68112号]约琴·普法兹格拉夫；卡雷尔·斯托克曼，关于机器人场景和纤维结构建模，53-80[Zbl 0939.68867号]约瑟夫·希乔，关于代数几何中的算法参数化方法，81-89[Zbl 0853.14029号]卡雷尔·斯托克曼《走向关键路径/完成的分类演算》，91-124[Zbl 0837.68041号]伯恩哈德·沃尔，CASA：使用代数集进行计算的计算机代数软件，125-146[Zbl 0939.68972号]王东明，用消元法推理几何问题，147-185[Zbl 0855.68086号]王东明，特征集方法在maple中的实现，187-201[Zbl 0837.68110号]托马斯·威格特。，Horn-子句逻辑的非单调扩展，203-220[Zbl 0837.68113号] 引用于1文件 MSC公司： 00B15号机组 杂项特定利益物品的收集 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词：自动实用推理;实用推理 软件：枫树;MEDLAR公司 PDF格式BibTeX公司 XML格式引用 \textit｛J.Pfalzgraf｝（编辑）和\textit｛D.Wang｝（编辑），自动化实用推理。代数方法。引言由吉姆·坎宁安撰写。维也纳：施普林格出版社（1995年；Zbl 0816.00013）