肯塔·乔；巴特·雅各布斯 概率计算的EfProb库。 （英语） Zbl 1433.68266号 Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。72，第25条，第8页（2017年）。 小结：EfProb是Effectus Probability的缩写。它是Python中概率计算库的名称。EfProb为离散、连续和量子概率提供了统一的语言。对于这三种情况中的每一种，语言的基本成分都是状态、谓词和通道。概率通常计算为状态中谓词的有效性。状态可以用谓词更新（条件）。通道可用于状态转换和谓词转换。本文概述了EfProb的使用。关于整个系列，请参见[Zbl 1376.68006号]. 引用于1审查引用于6文件 MSC公司： 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 18个C20 单体的Eilenberg-Moore和Kleisli构造 68-04 计算机科学相关问题的软件、源代码等 关键词：可能性；嵌入式语言；效应理论 软件：EfProb公司；QWire公司；镊子；教堂；蟒蛇 PDF格式BibTeX公司 XML格式引用 \textit{K.Cho}和\textit{B.Jacobs}，LIPIcs——莱布尼茨国际程序。通知。72，第25条，第8页（2017年；兹bl 1433.68266） 全文： 内政部