石井裕美 嵌入Haskell中的纯功能计算机代数系统。 （英语） Zbl 1453.68036号 Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2018年9月17日至21日，法国里尔，中国社会科学院2018年第20届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11077, 288-303 (2018). 摘要：我们演示了如何使用函数编程中的方法来实现计算机代数系统。作为概念的证明，我们提出了计算代数包。它是一个计算机代数系统，在Haskell（一种纯函数式编程语言）中实现为一种嵌入式领域特定语言。该库利用函数编程中的方法和Haskell的突出特性，同时实现了安全性、可组合性和正确性。为了证明我们的方法的优势，我们以可组合的方式实现了高级Gröbner基算法，如Faugère的（F_4）和（F_5）。有关整个系列，请参见[Zbl 1396.68014号]. 引用于1文件 MSC公司： 68甲18 函数编程和lambda演算 68瓦30 符号计算和代数计算 关键词：Gröbner基;基于签名的算法;计算代数;函数式编程;哈斯克尔;类型系统;形式化方法;基于属性的测试;执行情况报告 软件：GHC公司;单一;快速检查;哈斯克尔;类型-自然;DoCon公司;小支票;计算代数;ghc-typelits-presburger公司 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishii}，莱克特。注释计算。科学。11077，288--303（2018；Zbl 1453.68036） 全文： 内政部 arXiv公司