动物园概率系统 swMATH ID: 28541 软件作者： 约翰内斯·霍兹尔（Johannes Hölzl）、安德烈亚斯·洛赫比勒（Andreas Lochbihler）、德米特里·特雷特尔（Dmitriy Traytel） 描述： Isabelle概率系统动物园：文献中研究了许多概率系统模型。Coalgebra被用来将它们划分为系统类型并比较它们的表达能力。通过将不同系统的语义建模为余数据类型，我们形式化了概率系统类型的结果层次结构。这种方法给出了简单而简洁的证明，因为双相似性与余数据类型的相等性一致。 主页： https://www.isa-afp.org/entries/Probabilistic_System_Zoo.html 依赖项： 伊莎贝尔 相关软件： 伊莎贝尔/HOL；举起；换乘；区域设置；霍尔；伊莎贝尔；存档正式证据；EasyCrypt公司；自动参照；F类*；pGCL公司；AmiCo公司；MFMC_可计数；概率_期间；密度编译器；CoSP公司；Coq公司；精益；埃德蒙兹-卡普；Nuprl公司 引用于： 9文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 概率系统类型的形式化层次结构。珍珠校样。 Zbl 1465.68199号约翰·Hölzl；安德烈亚斯·洛赫比勒；德米特里·特拉泰尔 2015 全部的 前5名13位作者引用 5 安德烈亚斯·洛赫比勒 2 约翰·Hölzl 1 杰里米·阿维加德 1 David A.Basin。 1 穆纳乔·埃切宁 1 Hervé吉他 1 西蒙·胡登 1 丹尼尔·马提库克 1 托比·默里 1 尼古拉斯·佩尔蒂埃 1 塞菲加·雷扎 1 德米特里·特拉泰尔 1 马卡里乌斯·温策尔 2篇连载文章中引用 5 自动推理杂志 1 密码学杂志 全部的 前5名在6个字段中引用 9 计算机科学（68至XX） 2 概率论与随机过程（60-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文