艾达、铁雄；马林·米尔恰；铃木、芋头 高阶惰性窄化微积分：高阶方程的求解器。 （英语） Zbl 1023.68086号 Moreno-Díaz，Roberto（编辑）等人，《计算机辅助系统理论-欧洲铸造协会2001》。2001年2月19日至23日在西班牙大加那利岛拉斯帕尔马斯举行的第八届国际研讨会论文选集。修订论文。柏林：斯普林格。莱克特。注释计算。科学。2178779-493（2001）中所述。 摘要：本文介绍了一种高阶延迟窄化演算（HOLN），它在简单类型的（lambda）项域上求解高阶方程。HOLN是Prehofer高阶窄化演算LN的扩展和细化，使用了在细化一阶惰性窄化演计算LNC中开发的技术。HOLN被定义为处理无定向和定向方程。它跟踪将与规范化答案绑定的变量。我们讨论了HOLN的工作原理，它的主要特性，即稳定性和完整性，以及它的进一步改进。通过程序计算实例说明了HOLN的求解能力。关于整个系列，请参见[Zbl 0977.00038号]. MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68甲18 函数编程和lambda演算 软件：CFLP公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Ida}等人，Lect。注释计算。科学。2178479--493（2001年；Zbl 1023.68086） 全文： 链接