×

找到6个软件包(结果1-6)

铝合金

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)

筛选结果依据…