铝合金 68篇文献引用(1993–2018) 软件作者: 莉娜·马格努森 相关软件: Coq;自动化;数字(amp;N)… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几何(51-XX)…
JProver公司 在14份文件中引用(2001–2020) 软件作者: Schmitt,S.、Lorigo,L.、Kreitz,C.、Nogin,A 相关软件: 依兰CoP;精益CoP;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
VeriML公司 8份文件引用(2010–2016) 软件作者: 安东尼斯·斯坦普利斯;邵,钟 相关软件: Coq;甲基丙烯酸甲酯;seL4… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
Rtac公司 3份文件引用(2015–2021) 软件作者: Malecha,G.,Bengtson,J。 相关软件: Coq;甲基丙烯酸甲酯;CompCertTSO… 主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);系统论;对照(93-XX)
PyRes公司 2份文件引用(2020年) 软件作者: 斯蒂芬·舒尔茨(Stephan Schulz);亚当·皮斯 相关软件: VAMPIRE公司;iProver;E定理证明器… 主要字段: 计算机科学(68-XX)
雅拉 2份文件引用(2018–2021) 软件作者: 奥利维·洛朗 相关软件: ANTLR;PySpark;ConArg2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)