ETPS公司 162篇文献引用(1986–2022) 软件作者： Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；Brown，Chad E。 相关软件： TPTP；ETPS；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
剪辑 64篇文献引用(1992–2020) 软件作者： 加里·莱利；吉亚兰托 相关软件： 杰西；蛋白质；马尔戈… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
FRIL公司 38篇文献引用(1987–2022) 软件作者： 鲍德温，J.F。；马丁·T·P。；B.W.皮尔斯沃思。 相关软件： Likelog；FPROLOG；XPath… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
EasyLocal公司++ 32篇文献引用(2001–2022) 软件作者： Di Gaspero，L.，Schaerf，A 相关软件： 彗星；本地化人员；禁忌搜索… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
神童 在24份文件中引用(1992–2019) 软件作者： Carbonell，J.、Blythe，J.，Etzioni，O.、Gil，Y.、Joseph，R.、Kahn，D.、Knoblock，C.、Minton，S.、Pérez，M.A.、Reilly，S.，Veloso，M.、Wang，X。 相关软件： UCPOP；图形平面图；KQML… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
NESTOR公司 27篇文献引用(1985–2017) 软件作者： G.F.库珀。 相关软件： TETRAD公司；几何导师；DENDRAL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
PYTHIA公司 28篇文献引用(1996–2018) 软件作者： 埃利亚斯·霍斯蒂斯。；Catlin，Ann C。；赖斯（John R.Rice）。；瓦西里奥斯·维里基奥斯（Vassilios S.Verykios）。；纳伦罗摩克里希南；霍斯蒂斯（Houstis）、凯瑟琳（Catherine E.）、维拉瓦拉纳（Weerawarana）、桑吉瓦（Sanjiva）；埃利亚斯·霍斯蒂斯。；赖斯（John R.Rice）。；Joshi，Anupam；凯瑟琳·霍斯蒂斯。 相关软件： 珍珠包；高斯；PYTHIA8… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
冰雹探测器 21篇文献引用(2006–2023) 软件作者： Abramson，B.、Brown，J.、Edwards，W.、Murphy，A.、Winkler，R.L。 相关软件： TETRAD公司；学习；countAntom… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
GenSSI公司 20篇文献引用(2013–2023) 软件作者： Chis O、Banga J、Balsa-Canto E 相关软件： 雏菊；西安；COMBOS… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
PORGY公司 在15份文件中引用（2011年-2023年） 软件作者： 玛丽贝尔·费尔南德斯；赫莱娜·基什内尔 相关软件： AGG；沟槽；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
FisPro公司 6篇文献引用(2008–2022) 软件作者： 纪尧姆，S。；Charnomodic，B。 相关软件： R；C4.5；AS 136… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
摩尔 7份文件引用(1989–2000) 软件作者： L.埃舍曼 相关软件： 盐；蛋白质；LISP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
规则投标人 6篇文献引用(2015–2021) 软件作者： Xu，W.、Smith，A.M.、Faeder，J.R.、Marai，G.E。 相关软件： BioNetGen公司；千塔姆；NFsim… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
战略武器限制公约 6篇文献引用(1989–2010) 软件作者： 桑德拉·马库斯；约翰·麦克德莫特 相关软件： 鼹鼠；蛋白质；WordNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
超级胶水 2份文件引用(2022–2023) 软件作者： Alex Wang、Yada Pruksachatkun、Nikita Nangia、Amanpriet Singh、Julian Michael、Felix Hill、Omer Levy、Samuel R.Bowman 相关软件： BERT；RoBERTa公司；PyTorch… 主要字段： 计算机科学（68-XX）
卡伦 7份文件引用(2008–2022) 软件作者： Daniel P.Friedman、William E.Byrd、Oleg Kiselyov 相关软件： miniKanren；自动化；AIspace… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
FCM4DD公司 5份文件引用(2017–2023) 软件作者： Kesems，O。；特泽尔。；E·奥兹库尔。 相关软件： 移动MF；FGKA；蛛网/3… 主要字段： 一般性和全局性主题；藏品（00-XX）；统计学（62-XX）
自动变速箱 引用于3份文件（1988年至2004年） 软件作者： 自动预测系统公司（AFS） 相关软件： R；麦康普；fma… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
水晶球 4份文件引用(2019–2022) 软件作者： 马特·索斯；拉加夫·库尔卡尼；库尔迪普·S·米尔。 相关软件： 糠；MiniSat；OTTER… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
丁德 2份文件引用（1988年至1994年） 软件作者： 罗德福德，R.W。；彼得斯，S.C。 相关软件： R；塞西尔；MacSpin… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
GLIMPSE公司 2份文件引用(1992–2004) 软件作者： 大卫·E·沃尔斯滕霍尔姆（David E.Wolstenholme）；卡尔·M·奥布莱恩（Carl M.O'Brien）；约翰·内尔德 相关软件： GLIM；税务；发电机状态 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
ExSTraCS公司 1份文件引用(2020) 软件作者： Urbanowicz，R.J。；J.H.摩尔。 相关软件： Scikit；配饰；UCI-ml… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
平均值 1份文件引用(2017) 软件作者： 风扇，S。；盖斯曼，Q。；拉卡托斯，E。；卢卡斯，S。；Ale，A。；巴蒂，A.C。；柯克，P.D.W。；Stumpf，M.P H。 相关软件： CERENA；CaliBayes；StochPy… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
奈弗里特 2份文件引用(2000–2010) 软件作者： 贾纳塔拉斯奥瓦 相关软件： 模糊ME 主要字段： 数学逻辑与基础（03-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
新加坡 1份文件引用(2003) 软件作者： Simóes-Marques，Mário J。；费尔南多·豪尔赫·皮雷斯 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；运筹学、数学规划（90-XX）
AlexSys公司 1份文件引用(2017) 软件作者： Aniba，M.R.、Poch，O.、Marchler Bauer，A.、Thompson，J.D。 相关软件： 指南2；罢工；蛋白石… 主要字段： 生物学和其他自然科学（92-XX）
AMLBID公司 在0个文档中引用 软件作者： Moncef Garouani、Adeel Ahmad、Mourad Bouneffa、Mohamed Hamlich 相关软件： AlphaD3M；Apache Spark；Matlab… 主要字段： –
biosiglive公司 在0个文档中引用 软件作者： 阿梅迪奥·塞格里亚（Amedeo Ceglia）、菲利佩·威尔杜戈（Felipe Verdugo）、米凯尔·贝根（Mickael Begon） 相关软件： 动力学工具包；生物力学工具包；脓毒症… 主要字段： –
CBench公司 1份文件引用(2024) 软件作者： Abdelghny Orogat、Isabelle Liu、Ahmed El-Roby 相关软件： mftoolbox；HolPy；杆… 主要字段： 计算机科学（68-XX）
HSI工具箱 在0个文档中引用 软件作者： 泽诺·达内（Zeno Dhane）、尼娜·日日奇（Nina Zhi iz akić）、黄绍光（Shaoguang Huang）、仙丽（Xian Li）、阿列克桑德拉·皮日日卡（Aleksandra Pićurica） 相关软件： 阿米戈；Matlab；VoTT… 主要字段： –
内核工厂 1份文件引用(2018) 软件作者： 米歇尔·巴林斯，德克·范登·波尔 相关软件： FNN；以色列解放军；SMOTE… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
中小型CASiMiR 在0个文档中引用 软件作者： 斯图加特大学 相关软件： Matlab；船长；AQUATOX… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
微型LEIS 在0个文档中引用 软件作者： De la Rosa，D.、Mayol，F.、Diaz Pereira，E.、Fernandez，M.、De la Rosa，D。 相关软件： ALSE；R；铝合金 主要字段： –
Xformatter格式 1份文件引用(2003) 软件作者： Brüggemann-Klein，Anne；罗尔夫·克莱恩；斯特凡·沃尔菲尔 相关软件： FrameMaker；特克斯；LaTeX… 主要字段： 计算机科学（68-XX）