SWI-预测 76篇文献引用(2000–2024) 软件作者: Wielemaker,J.、Schrijvers,T.、Triska,M.、Lager,T。 相关软件: SICStus公司;YAP-Prolog;XSB… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
阿斯毫升 45篇文献引用(2001–2023) 软件作者: 微软研究;格里斯坎普,W。;古雷维奇·Y。 相关软件: 毫升;SpecExplorer;科拉特… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
无网 在11份文件中引用(1998–2014) 软件作者: 诺曼·拉姆齐 相关软件: LISP-STAT;GiNaC;牛血清白蛋白… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
演示 10篇文献引用(2007–2023) 软件作者: 扬·范·埃伊克 相关软件: SMCDEL公司;MCK;MCMAS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
牛血清白蛋白 4份文件引用(1998–2004) 软件作者: 哈尼·多斯;Balasubramanian Narasimhan系 相关软件: LISP-STAT;网络;S-PLUS… 主要字段: 统计学(62-XX);数值分析(65-XX)
MoebInv公司 3份文件引用(2019–2023) 软件作者: 弗拉基米尔·基西尔 相关软件: GiNaC;蟒蛇;渐近线… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);复变量函数(30-XX);几何(51-XX)…
RATH-Agda公司 3份文件引用(2014) 软件作者: 卡尔,W。 相关软件: 阿格达;CASL;Spoofax… 主要字段: 阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
PIDoc公司 1份文件引用(2019) 软件作者: Jan Wielemaker,Anjo Anjewierden 相关软件: ProbLog;SWISH数据实验室;麦金太尔… 主要字段: 计算机科学(68-XX)