OMRS公司 39篇文献引用(1995–2009) 软件作者: 亚历山德罗·阿曼多;Michael Kohlhase;西尔维奥·兰伊斯 相关软件: 分析;定理;PVS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
KQML公司 16篇文献引用(1996–2019) 软件作者: 蒂姆·菲宁(Tim Finin)、理查德·弗里茨森(Richard Fritzson)、唐纳德·普·麦凯(Donald P McKay)、罗宾·麦康蒂尔(Robin McEntire) 相关软件: 神童;Globus工具包;Qu-Prolog… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
银色 21篇文献引用(2021–2023) 软件作者: 杰弗里·库托;彼得·林达尔(Peter Rindal);斯里尼瓦桑·拉古拉曼 相关软件: 自行车;ABY;McEliece… 主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…
乱涂 16篇文献引用(2015–2022) 软件作者: 吉田,N。;胡,R。;Neykova,R。;Ng、N。 相关软件: SPY;奶牛;JBoss… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
阿克拉 10篇文献引用(2005–2011) 软件作者: 乔瓦尼·佩祖洛(Giovanni Pezzulo);Gianguglielmo·卡尔维 相关软件: 古巴国防部;可可;戴恩… 主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-XX)…
贾尼 引用于8份文件(2019–2022) 软件作者: Budde,C.E.,Dehnert,C.,Hahn,E.M.,Hartmanns,A.,Junges,S.,Turrini,A。 相关软件: 棱镜;风暴;Uppaal… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
阳极氧化 1份文件引用(2017) 软件作者: Hohenberger,S.、Myers,S.,Pass,R.、Shelat,A。 相关软件: 力比奥;25519版;利盖罗… 主要字段: 量子理论(81-XX);信息与通信理论,电路(94-XX)
jsCoq公司 引用于2份文件(2021–2022) 软件作者: 阿里亚斯,E.J.G.,宾,B.,朱弗洛特,P。 相关软件: Mathematica;SMT-RAT;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Lep-MAP公司 在0个文档中引用 软件作者: Rastas P、Paulin L、Hanski I、Lehtonen R、Auvinen P 相关软件: R;JoinMap;ICIMapping… 主要字段: –
VerChor公司 1份文件引用(2020) 软件作者: Matthias Güdemann、Pascal Poizat、Gwen Salaün、Lina Ye 相关软件: – 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
病毒Mentha 1份文件引用(2018) 软件作者: Calderone A、Licata L、Cesareni G 相关软件: 动态记录仪;gplots;阴性… 主要字段: 生物学和其他自然科学(92-XX)