Coq公司 1964年文献引用(1993–2024) 软件作者: 克利斯朵夫·德林格;Jean-François Dufourd 相关软件: Isabelle/HOL;伊莎贝尔;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
KeY-C公司 5份文件引用(2009–2023) 软件作者: 穆尔克,奥列格;丹尼尔·拉尔森(Daniel Larsson);雷纳·哈内尔 相关软件: Isabelle/HOL;Why3;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
简洁 5份文件引用(2004–2010) 软件作者: 尼尔森,弗莱明;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨(Mikael Buchholtz);Hansen、Rene Rydhof;亨利克·皮利加德(Henrik Pilegaard);赫尔穆特·塞德尔 相关软件: 琳达;科莱姆;政治公众人物协议… 主要字段: (68N30-XX);(68T15-XX)
CoqJVM公司 4份文件引用(2008年至2021年) 软件作者: Coq开发团队、CNRS、INRIA和南巴黎大学 相关软件: Isabelle/HOL;HOL;TSL… 主要字段: 计算机科学(68-XX)
ProMoVer公司 4份文件引用(2011–2016) 软件作者: Siavash Soleimanifard;古罗夫,帝力;马里克,Huisman 相关软件: MAVEN公司;DeltaCCS;MSTA… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
JCCM公司 1份文件引用(2001年) 软件作者: 坎波,塞莱斯特;三月{i} n个,安德烈;Garc公司{i} 一个阿图罗;D’{i} 阿兹伊格纳西奥;彼得·T·布鲁尔(Peter T.Breuer)。;卡洛斯·德尔加多;加尔克'{i} 一个,卡洛斯 相关软件: – 主要字段: (68U99-XX);(68P25-XX)
JCML公司 2份文件引用(2009–2012) 软件作者: Da Costa,翁贝托·苏扎;莫雷拉(Moreira)、阿纳玛丽亚·马丁斯(Anamaria Martins);Martin A.Musicante。;索扎·内托(Souza Neto),Pl’acido A。 相关软件: 回路;Z;JML… 主要字段: (68N15-XX);(68N30-XX)