Farmer，William M。;约书亚·D·古特曼。;哈维尔·塞耶 数学推理和计算中的上下文。 （英文） Zbl 0836.68107号 J.塞姆。计算。 19，编号1-3，201-216（1995）. 摘要：上下文是一组用于管理数学推导或计算过程中出现的假设的公式。尽管上下文相关推理在非正式数学中很常见，但大多数当代符号计算系统并不以复杂的方式利用上下文。本文介绍了一些基于上下文的符号计算技术，包括定义推理技术、抽象代数表达式简化技术和定理计算技术。所有这些技术都在IMPS交互式数学证明系统中实现。本文还提出了一个通用数学实验室，该实验室将当前符号计算系统的功能与IMPS等定理证明系统的设施相结合。 引用于1文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68瓦30 符号计算和代数计算 03B35型 证明和逻辑操作的机械化 关键词：上下文;符号计算;推理;交互式数学证明系统 软件：PVS公司 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}等人，J.Symb。计算。19，编号1--3，201-216（1995；Zbl 0836.68107） 全文： 内政部