哈卡鲁 swMATH ID: 14669 软件作者： 普拉文·纳拉亚南；雅克·卡雷特；罗曼诺，雷恩；Shan，Chung-chieh；罗伯特·津科夫 描述： 通过Hakaru中的程序转换进行概率推理（系统描述）。我们介绍了Hakaru，这是一个新的概率编程系统，它允许分布、查询和推理算法的可组合重用，所有这些都用一种单一的度量语言表示。该系统实现了两个自动的语义表示程序转换——{it分解}，用于计算条件分布；{it简化}，包含计算机代数的精确推理。通过描述Hakaru用户在两个小问题上的理想工作流，我们展示了这些功能是如何协同工作的。我们强调了在设计和实现中转换和类型的组合。 主页： https://github.com/hakaru-dev/hakaru 源代码： https://github.com/hakaru-dev/hakaru 相关软件： 斯坦；教堂；风险投资；github；贝叶斯DA；风暴；Rely公司；琥珀色；SymPy公司；MC队列；GiNaC公司；水星；哈斯克尔；夏普；玩具；皮塔；PFLP公司；迷你凯恩人；数据娱乐；数学方案 引用于： 8文件 全部的 前5名25位作者引用 2 雅克·卡雷特 1 埃齐奥·巴托西 1 埃夫斯塔提亚·布拉 1 陈明帅 1 安德鲁·科布 1 瑞安·库佩普 1 塞卡特·杜塔 1 Farmer，William M。 1 黄子欣 1 艾哈迈德·卡里米 1 Joost-Pieter卡托恩 1 卢茨·克林肯伯格 1 科瓦奇，劳拉·伊尔迪科 1 萨萨·米塞洛维奇 1 马塞尔·穆斯布鲁克 1 普拉文·纳拉亚南 1 雷恩·罗曼诺 1 汤姆·施里杰弗斯 1 Shan、Chung-chieh 1 亚斯敏·沙罗达 1 米罗斯拉夫斯坦科维奇 1 萨姆·斯塔顿 1 范登伯格，比尔特 1 托拜厄斯·温克勒 1 罗伯特·津科夫 0连载引用 在1个字段中引用 8 计算机科学（68至XX） 按年份列出的引文