换乘

此软件的关键字
zbMATH中的参考文献(参考文献 29条 , 1标准件 )
费勒,巴兹尔; 洛赫比勒,安德烈亚斯; 施耐德,约书亚; 崔泰尔,德米特里:有界自然函子的商(2022) 邓恩,先生; 韦尔斯,J.B。; Kamareddine,Fairouz:用非集结构对象生成定制集理论(2021) 西米奇,丹尼耶拉; 马里奇,菲利普; Boutry,Pierre:双曲几何庞加莱圆盘模型的形式化(2021) 盆地,大卫A。; 洛赫比勒,安德烈亚斯; Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020) 迪瓦森,何塞; 乔斯顿,塞巴斯蒂安J.C。; 蒂曼,勒内; Yamada,Akihisa:Berlekamp-Zassenhaus因式分解算法的验证实现(2020) 福斯特,西蒙; 安娜,卡瓦尔康蒂; 加纳姆,塞缪尔; 伍德考克,吉姆; Zeyda,Frank:反应式设计合同的统一理论(2020) 乔斯顿,塞巴斯蒂安J.C。; 蒂曼,勒内; Yamada,Akihisa:Isabelle/HOL中代数数的验证实现(2020) 伊姆勒,费边; 特拉特,克里斯托夫:敖德斯流:变分方程和庞加莱地图的形式化(2019) 昆查尔,昂德涅伊; Popescu,Andrei:高阶逻辑中的局部类型定义从类型到集合(2019) 拉米,彼得; Lochbihler,Andreas:高效数据结构的自动优化:两种方法的比较(2019) Lochbihler,Andreas:高阶逻辑中的效应多态性(proof pearl)(2019) Immler,Fabian:验证的ODE解算器和Lorenz吸引子(2018) 阿兰塞,杰斯; Divasón,Jose:线性代数基本定理的形式化及其在最小二乘问题求解中的应用(2017) 布兰切特,贾斯敏·克里斯蒂安; 博兹,艾默里克; 洛赫比勒,安德烈亚斯; 波佩斯库,安德烈; 特劳特尔,德米特里:有利益的朋友。 在基础证据助理中实施核心诅咒(2017) 布兰切特,贾斯敏·克里斯蒂安; 弗勒里,马蒂亚斯; 特劳特尔,德米特里:《伊莎贝尔/霍尔》中的嵌套多集、遗传多集和句法序数(2017) 福斯特,西蒙; 蒂勒,伯恩哈德; 安娜,卡瓦尔康蒂; Jim Woodcock:《面向Modelica的UTP语义》(2017) Hölzl,Johannes:Isabelle/HOL的马尔可夫链和马尔可夫决策过程(2017) 阿兰塞,杰斯; Divasón,Jose:Isabelle/HOL中矩阵梯队形式计算的形式化(2016) 福斯特,西蒙; 泽达,弗兰克; Jim Woodcock:《用透镜统一异质状态空间》(2016) 伊姆勒,费边; 特拉特,克里斯托夫:颂歌的流动(2016)