举起

此软件的关键字
zbMATH参考文献(参考
26篇文章
引用)
《赛加秩序》;《赛加秩序》;赛加,高等游戏 Jose Divasón;Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Berlekamp-Zassenhaus分解算法的验证实现(2020) Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020) Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Isabelle/HOL中代数数的验证实现(2020) Immler,Fabian;Traut,Christoph:敖德斯流:变分方程和庞加莱映射的形式化(2019) Kunčar,Ondřej;Popescu,Andrei:高阶逻辑中局部类型定义从类型到集合(2019) Peter Lammich;Lochbihler,Andreas:《高效数据结构的自动优化:两种方法的比较》(2019年) Lochbihler,Andreas:高阶逻辑中的效应多态性(proof pearl)(2019) Immler,Fabian:验证的ODE解算器和Lorenz吸引子(2018) Aransay,Jesús;Divasón,Jose:线性代数基本定理的形式化及其在最小二乘问题求解中的应用(2017) 安德烈·特拉赫比;安德烈·特拉赫比;安德烈·特拉赫比;安德烈·特拉斯比;安德烈·特拉斯比;安德烈·特拉斯比;安德烈·特拉斯比;安德烈·特拉斯比;安德烈·特拉斯比;安德烈·特拉斯比;安德烈·特拉斯比;安德烈·特拉斯比;波。 在基础证据助理中实施核心诅咒(2017) Blanchette,Jasmin Christian;Fleury,Mathias;Traytel,Dmitriy:Isabelle/HOL中的嵌套多集、遗传多集和句法序数(2017) Foster,Simon;Thiele,Bernhard;Cavalcanti,Ana;Woodcock,Jim:面向Modelica的UTP语义(2017) Hölzl,Johannes:Isabelle/HOL的马尔可夫链和马尔可夫决策过程(2017) Aransay,Jesús;Divasón,Jose:Isabelle/HOL中矩阵梯队形式计算的形式化(2016) Foster,Simon;Zeyda,Frank;Woodcock,Jim:《用透镜统一异质状态空间》(2016) 伊姆勒,费边;特拉特,克里斯托夫:颂歌的流动(2016) Kunčar,Ondřej;Popescu,Andrei:高阶逻辑中局部类型定义从类型到集合(2016) Lochbihler,Andreas:高阶逻辑中的概率函数和密码预言(2016) Lochbihler,Andreas;Schneider,Joshua:应用函子的等式推理(2016)