LogiKEy公司 5份文件引用(2020–2022) 软件作者: Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件: Isabelle/HOL;Nitpick公司;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
coq指数-不确定性 2份文件引用(2020–2023) 软件作者: Forster,Y.、Larchey-Wendling,D.、Dudenhefner,A.、Heiter,E.、Kirst,D.、Kunze,F.、Smolka,G.、Spies,S.、Wehr,D.、Wuttke,M。 相关软件: Autosubst;Coq;GitHub… 主要字段: 计算机科学(68-XX)
pyHybrid分析 2份文件引用(2014–2017) 软件作者: 卡萨格兰德,A。;德罗西,T。 相关软件: SpaceEx;MARCO公司;MPI/MPICH… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)