动物园概率系统 swMATH ID: 28541 软件作者: 约翰内斯·霍兹尔(Johannes Hölzl)、安德烈亚斯·洛赫比勒(Andreas Lochbihler)、德米特里·特雷特尔(Dmitriy Traytel) 描述: Isabelle概率系统动物园:文献中研究了许多概率系统模型。Coalgebra被用来将它们划分为系统类型并比较它们的表达能力。通过将不同系统的语义建模为余数据类型,我们形式化了概率系统类型的结果层次结构。这种方法给出了简单而简洁的证明,因为双相似性与余数据类型的相等性一致。 主页: https://www.isa-afp.org/entries/Probabilistic_System_Zoo.html 依赖项: 伊莎贝尔 相关软件: 伊莎贝尔/HOL;举起;换乘;区域设置;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 吉奥尔,赫韦 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) 按年份列出的引文