Daikon公司 41篇文献引用(2005–2022) 软件作者: 迈克尔·D·恩斯特。;Jeff H.Perkins。;菲利普·郭(Philip J.Guo)。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨(Matthew S.Tschantz)。;肖,陈 相关软件: JML;胡迪尼;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
卡宴 30篇文献引用(1997–2020) 软件作者: L·奥古斯森。 相关软件: Coq;阿格达;乐高… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…
ERBlox公司 引用于2份文件(2017–2019) 软件作者: 扎伊纳布巴赫马尼;利奥波多·贝托西;尼古拉斯·瓦西洛格鲁 相关软件: LogicBlox;逻辑QL;数据日志 主要字段: 计算机科学(68-XX)
穆班迪 1份文件引用(2003) 软件作者: Hermes,Bernd;马克西米利安·斯坦普福贝尔(Maximilian Stempfhuber);卢卡·德米切利;卡洛·拉瓦莱 相关软件: – 主要字段: 统计学(62-XX)
再分析_紧急_极端 1份文件引用(2020) 软件作者: Francisco M.卡拉法特。;马尔塔·马科斯 相关软件: 坚果;本地化SL;斯坦 主要字段: 统计学(62-XX);地球物理学(86-XX)
COPRA公司 在0个文档中引用 软件作者: Breitenbach,S.F.M.、Rehfeld,K.、Goswami,B.、Baldini,J.U.L.、Ridley,H.E.、Kennett,D.、Prufer,K.,Aquino,V.V.、Asmerom,Y.、Polyak,V.J.、Cheng,H.、Kurth,J.、Marwan,N 相关软件: – 主要字段: –