12月6日 236篇文献引用(2003–2023) 软件作者： 尼古拉斯·I.M.古尔德。；多米尼克·奥尔班；马桶，菲利普·L。 相关软件： 切割机；minpack；L-BFGS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
快速检查 93篇文献引用(2001–2024) 软件作者： 科恩·克莱森；约翰·休斯 相关软件： 哈斯克尔；Coq；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SWI-预测 76篇文献引用(2000–2024) 软件作者： Wielemaker，J.、Schrijvers，T.、Triska，M.、Lager，T。 相关软件： SICStus公司；YAP-Prolog；XSB… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可爱的 50篇文献引用(2003–2022) 软件作者： Koushik Sen；达科·马里诺夫；古尔·阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
不明飞行物 45篇文献引用（1996年至2022年） 软件作者： Hartman，Jan；拉迪斯拉夫卢克桑；Zítko，Jan；M图马；J Vlcek；N Ramešová；梅西斯卡 相关软件： GradSamp；LDGB；L-BFGS… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
斯特马克 28篇文献引用(2001–2023) 软件作者： Fabien A.P.Petitcolas、Ross J.Anderson、Markus G.Kuhn 相关软件： U-Net；亚当；禁忌搜索… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
JPAX公司 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈弗伦德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GCTA公司 在24份文件中引用(2013–2023) 软件作者： Yang J、Lee SH、Goddard ME、Visscher PM 相关软件： PLINK；R；生物导体… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）…
S-TaLiRo型 26篇文献引用（2011年-2023年） 软件作者： Annpureddy，Yashwanth；刘，车；费内科斯（Fainekos，Georgios）；桑卡拉纳拉亚南，斯里拉姆 相关软件： 违约；SpaceEx；流量*… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
更加顽固 23篇文献引用(2009–2023) 软件作者： 罗伯特·G·布朗；德克·埃德布特尔；大卫·鲍尔 相关软件： 测试U01；迪哈德；MersenneTwister… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
VESTA公司 22篇文献引用(2007–2021) 软件作者： Koushik Sen、Mahesh Viswanathan、Gul Agha 相关软件： 棱镜；莫德；HOL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
法蒂戈 在16份文件中引用(2004–2017) 软件作者： Al-Shahrour，F。；迪亚兹·乌里亚特，R。；J.多帕佐。 相关软件： 政府统计局；R；生物导体… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
常春藤 21篇文献引用(2017–2023) 软件作者： 麦克米兰，K.L.，帕顿，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BET公司 在16份文件中引用(2007–2023) 软件作者： 斯蒂芬·史密斯。 相关软件： FSL；调情；BrainSuite… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
射击类游戏 在16份文件中引用(2002–2014) 软件作者： 邓肯·克拉克；蒂埃里·杰伦；弗拉德·鲁苏；埃琳娜·齐诺维耶娃 相关软件： CADP；TorX；网关… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
TorX公司 在16份文件中引用(2005–2021) 软件作者： 亨利克·博恩坎普（Henrik Bohnenkamp）；埃克塞尔·贝林芬特 相关软件： JTorX；SpecExplorer；STG… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SpecExplorer（SpecExplorer） 14篇文献引用(2005–2018) 软件作者： 微软研究院 相关软件： N模型；Java PathFinder；TorX… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
科技部 17篇文献引用(2006–2021) 软件作者： V.V.Titov；F.I.冈萨雷斯 相关软件： 沃尔纳；COMCOT公司；TunAWI… 主要字段： 数论（11-XX）；偏微分方程（35-XX）；变形固体力学（74-XX）…
GATeL公司 12份文件引用(2001–2017) 软件作者： 本杰明·布朗 相关软件： STG；投掷；快速检查… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
VIP工具 12份文件引用(2008–2022) 软件作者： Bergenthum，R.、Desel，J.、Lorenz，R.和Mauser，S。 相关软件： 红矿工；基因；石化… 主要字段： 计算机科学（68-XX）
LTSA-WS公司 12份文件引用(2006–2021) 软件作者： Magee J、Kramer J、Uchitel S等 相关软件： WSAT；NuSMV；UFO… 主要字段： 计算机科学（68-XX）
YOGI公司 在13份文件中引用(2010–2022) 软件作者： Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Adityas V.Thakur 相关软件： z3；投掷；可爱… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
轻松检查 10篇文献引用(2009–2020) 软件作者： 扬·克里斯蒂安森（Jan Christiansen）；塞巴斯蒂安·费舍尔 相关软件： 快速检查；咖喱；SmallCheck… 主要字段： 计算机科学（68-XX）
EFDR公司 在13份文件中引用(2002–2022) 软件作者： Andrew Zammit Mangion；辛成 相关软件： 自适应MT；AdaPT；平滑… 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；统计学（62-XX）…
J拉舍尔 6篇文献引用(2008–2014) 软件作者： 萨勒纳、克里斯托夫和斯马拉格达基斯、亚尼斯 相关软件： 罗斯特拉；Daikon；埃克拉特… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
PeerSim公司 9份文件引用(2009–2020) 软件作者： Montresor A、Jelasity M 相关软件： 糕点；行星实验室；和弦… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
EnergyPlus公司 10篇文献引用（2014年至2020年） 软件作者： Crawley，D.B.、Lawrie，L.K.、Winkelmann，F.C.等人。 相关软件： 蟒蛇；Eppy；原型… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
雷克斯 11份文件引用（2011年-2023年） 软件作者： 韦恩斯，M。；De Halleux，P。；蒂尔曼，N。 相关软件： MONA；z3；DART… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PathCrawler（路径爬行器） 5份文件引用(2008–2021) 软件作者： 尼基·威廉姆斯、布鲁诺·玛丽、帕特里夏·穆伊、穆里尔·罗杰 相关软件： 可爱的；投掷；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
QualNet公司 5份文件引用(2008–2016) 软件作者： SCALABLE网络技术公司。 相关软件： AODV；ns-2；HOL/SPIN… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
斯巴克 9份文件引用(2008–2023) 软件作者： 埃沃特·范登伯格；迈克尔·弗里德兰德（Michael P.Friedlander）；吉尔斯·亨尼芬特；费利克斯·J·埃尔曼；Rayan Saab；厄兹古尔·伊尔马兹 相关软件： FPC_AS；PDCO；SPGL1… 主要字段： 变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
瓦尔梅特 8份文件引用(2001–2021) 软件作者： Gerig，Guido；Jomier，Matthieu；米兰达·查科斯 相关软件： 间歇发生器；自由冲浪者；HDF5… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ESSC公司 8份文件引用（2014年至2020年） 软件作者： 詹姆斯·威尔逊（James D.Wilson）。；王思敏；彼得·穆查（Peter J.Mucha）。；Shankar巴米迪；诺贝尔，安德鲁B。 相关软件： 卢万；CoSaMP公司；qstest… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
F外壳 6篇文献引用(2010–2016) 软件作者： 安德烈亚斯·霍尔泽（Andreas Holzer）；克里斯蒂安·夏尔哈特；迈克尔·陶奇尼格（Michael Tautschnig）；赫尔穆特·维思 相关软件： Java PathFinder；注册会计师检查；RapiTime… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
行为 6篇文献引用(2018–2023) 软件作者： Yu L、Lei Y、Kacker RN、Kuhn DR 相关软件： CAgen；AETG；精确定位… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CA基因 7份文件引用(2020–2023) 软件作者： Wagner，M.、Kleine，K.、Simos，D.E.、Kuhn，R.、Kacker，R。 相关软件： 行为；AETG；准确指出 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
磅/吨 5份文件引用(2009–2015) 软件作者： H.Tauriainen；K.赫尔扬科 相关软件： LTL2BA；SPOT；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
卢特斯 5份文件引用(1999–2012) 软件作者： 杜布斯克，L。；Quabdeselam，F。；帕里西斯，I。；Richier，J.-L。；北卡罗来纳州佐安诺。 相关软件： ATGen；卢斯特；网关… 主要字段： 计算机科学（68-XX）
婴儿文学 3份文件引用(2008–2010) 软件作者： Al-Shahrour，F.、Minguez，P.、Vaquerizas，J.M.、Conde，L.、Dopazo，J。 相关软件： 法蒂戈；政府统计局；生物导体… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
国际象棋 5份文件引用(2008–2021) 软件作者： Musuvathi M、Qadeer S、Ball T 相关软件： 橡皮擦；veriSoft；AVIO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
C查找器 4份文件引用(2008–2018) 软件作者： Z.Yao、Z.Weinberg、W.L.Ruzzo 相关软件： 无间道；法国复兴信贷银行；pLoc-mHum… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ConTest公司 5份文件引用（2003年至2018年） 软件作者： 奥里特·埃德尔斯坦（Orit Edelstein）；埃坦·法奇；戈丁，叶夫根尼；尼尔、雅顿；吉尔·拉特萨比；乌尔，什穆尔 相关软件： veriSoft；橡皮擦；Java PathFinder… 主要字段： 计算机科学（68-XX）
焦点测试 6篇文献引用(2011–2018) 软件作者： 卡利埃、马蒂厄；凯瑟琳·杜布瓦（Catherine Dubois）；阿尔诺·哥特利布 相关软件： 快速检查；Coq；SmallCheck… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
GAALOPWeb公司 6篇文献引用(2020–2023) 软件作者： 阿尔维斯，R。；希尔登布兰德，D。；斯坦梅茨，C。；尤夫特林，P。 相关软件： 加洛普；加拉蒙；ganja.js… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）…
汽车MOTGen 4份文件引用(2009–2021) 软件作者： Ambar A.Gadkari；阿南·耶奥利卡尔（Anand Yeolekar）；J.Suresh；S.Ramesh；Swarup Mohalik；K.C.沙希达尔 相关软件： PHAVer；Simulink；迪莫拉… 主要字段： 计算机科学（68-XX）
CovXNet公司 1份文件引用(2023) 软件作者： 马哈茂德，T。；Rahman，医学硕士。；南美洲法塔赫。 相关软件： github；盖子；冠-网… 主要字段： 总体主题；藏品（00-XX）；测量和集成（28-XX）；运筹学，数学规划（90-XX）…
CVD网 2份文件引用(2023) 软件作者： Ouchicha，Chaimae；阿莫尔，瓦法埃；穆罕默德·梅克纳西 相关软件： 冠状病毒网络；github；Xception… 主要字段： 测量和集成（28-XX）；常微分方程（34-XX）；数值分析（65-XX）…
DAnTE公司 3份文件引用(2013–2023) 软件作者： Polpitiya，A.D.，Qian，W.J.，Jaitly，N.，Petyuk，V.A.，Adkins，J.N.，II，D.G.C.，Anderson，G.A.，Smith，R.D。 相关软件： sn；插补；NATbox… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
DCMTK公司 2份文件引用(2016–2023) 软件作者： OFFIS公司。；马可·艾切尔伯格（Marco Eichelberg）；迈克尔·昂肯（Michael Onken）；简·施拉梅尔彻 相关软件： MySQL；spm12r；三脑… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）…
气体 4份文件引用(2013–2019) 软件作者： 徐，A.，莫雷特，B。 相关软件： MSOAR；OrthoMCL；格拉帕… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
网格工作台 3份文件引用(2006–2008) 软件作者： 乔治·索卢帕斯（George Tsouloupas）；马里奥斯·迪凯亚科斯。 相关软件： DiPerF；Globus工具包；行星实验室… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
哈维 5份文件引用（2017年至2021年） 软件作者： 亚历山大·格雷勒；Oetsch，Johannes；汉斯·托姆皮茨 相关软件： Potassco；天基信息平台；无HR… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
MC开发 4份文件引用(2011–2018) 软件作者： 斯拉文斯卡，M。；贾达奇，S。 相关软件： 泡沫；根；BHLUMI… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；量子理论（81-XX）…
Ncpol2sdpa标准 5份文件引用(2015–2022) 软件作者： 彼得·威特克 相关软件： GloptiPoly；稀疏POP；SeDuMi… 主要字段： 交换代数（13-XX）；算子理论（47-XX）；数值分析（65-XX）…
复兴 5份文件引用(2005–2009) 软件作者： Wang，Y。；Papageorgiou，M。；梅斯默，A。 相关软件： – 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
柔软 5份文件引用(2009–2010) 软件作者： M.加贝。；Smaoui，M。；de Brye，N。；C·皮卡德。 相关软件： CP网络；NFFT3；NFFT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
昏迷 2份文件引用(2016–2021) 软件作者： P Arcaini、A Gargantini、E Riccobene 相关软件： AsmetaSMV；NuSMV；ASMETA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
创建-NL+ 4份文件引用（2016年至2022年） 软件作者： 阿尔巴内塞，R。；Ambrosino，R。；马泰，M。 相关软件： CEDRES++；Matlab；客户… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；流体力学（76-XX）…
卡特尔 3份文件引用(2018–2023) 软件作者： A.Giantsios、N.Papaspyrou、K.Sagonas 相关软件： 切割机；12月6日；厄利伯里… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
细胞足类 4份文件引用(2014–2015) 软件作者： 马克·赫兰特；迈卡·登博 相关软件： 趋化性；FronTier；凯利… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；数值分析（65-XX）…
GLINTS公司 4份文件引用(2019–2023) 软件作者： 玛丽亚·阿尔普特（María Alpunte）、安吉尔·昆卡-奥尔加（Angel Cuenca-Ortega）、圣地亚哥·埃斯科瓦尔（Santiago Escobar）、朱莉娅·萨皮尼亚（Julia Sapiña） 相关软件： 莫德；ABETS；MTT… 主要字段： 一般代数系统（08-XX）；计算机科学（68-XX）
ODEA公司 4份文件引用(2008–2023) 软件作者： 马丁·厄尔里奇 相关软件： 古罗比；CPLEX；PlaNet公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PrologCheck（序言检查） 3份文件引用(2014–2022) 软件作者： 阿马拉尔（Cláudio）；马里奥弗洛里多；桑托斯·科斯塔，Vítor 相关软件： K校准仪；K工具；快速检查… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
桑特 1份文件引用(2018) 软件作者： 奥马尔·切巴罗；尼古拉·科马托夫；阿兰·乔尔盖蒂；雅克·朱利安德 相关软件： Frama-C；PathCrawler；Coq… 主要字段： 计算机科学（68-XX）
SDSM公司 2份文件引用(2012–2019) 软件作者： – 相关软件： – 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
自适应压力测试.jl 1份文件引用(2021) 软件作者： 里奇·李 相关软件： 违约；S-TaLiRo；OpenAI健身房… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
阿根廷 3份文件引用(2002–2009) 软件作者： Serge S.Tratch。；Marina S.Molchanova。；尼古拉·泽菲罗夫。 相关软件： – 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
生物模型分析仪 2份文件引用（2017年至2021年） 软件作者： 扎拉·艾哈迈德；大卫·本克（David Benque）；谢尔盖·贝雷津（Sergey Berezin）；Dahl，Anna Caroline E。；贾斯敏·费希尔（Jasmin Fisher）；本杰明·A·霍尔。；萨明·伊斯蒂亚克；杰伊·纳纳瓦蒂；尼尔·皮特曼；梅克Riechert；尼基塔·斯科洛夫 相关软件： 漫长的时期；亚特兰蒂斯；Cytoscape.js… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
欧几里得 2份文件引用(2012–2017) 软件作者： 阿尔诺·哥特利布（Arnaud Gotlieb）；本杰明·卡玛；IRISA的Lande项目团队 相关软件： 可爱的；投掷；派克斯… 主要字段： 计算机科学（68-XX）
软盘 1份文件引用(2016) 软件作者： Lakhotia，K.、Tillmann，N.、Harman，M.、de Halleux，J。 相关软件： 澳大利亚；CBMC；DART… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
护卫舰 3份文件引用(2017–2023) 软件作者： Mood，B.、Gupta，D.、Carter，H.、Butler，K.R.B.、Traynor，P。 相关软件： JustGarble；ObliVM；ABY… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
戈里拉 1份文件引用（2013年） 软件作者： 伊登，E。；纳文，R。；斯坦菲尔德，I。；Lipson，D。；Z.亚基尼。 相关软件： GOLEM公司；答对 了；GOstat… 主要字段： 生物学和其他自然科学（92-XX）
水力发电 3份文件引用（2018年至2021年） 软件作者： De Corte，A；科伦森 相关软件： EPANET；禁忌搜索；Modelica… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
IAMonDo公司 2份文件引用(2014–2022) 软件作者： Indermühle E、Liwicki M、Bunke H公司 相关软件： IAM-OnDB；L-BFGS；PerfectDoc… 主要字段： 计算机科学（68-XX）
JML单位 3份文件引用(2011–2022) 软件作者： 丹尼尔·齐默尔曼（Daniel M.Zimmerman）。；林克什·纳格莫蒂 相关软件： OpenJML；凯伊；JUnit… 主要字段： 计算机科学（68-XX）
KLOVER公司 1份文件引用(2017) 软件作者： 李国栋；Indradeep Ghosh；Sreeranga P.Rajan公司 相关软件： SLAM；投掷；Angelix… 主要字段： 计算机科学（68-XX）
MARMOSET公司 3份文件引用(2010–2016) 软件作者： 尼玛·阿卡尼·哈梅德、布鲁斯·克努特森、斯蒂芬·姆雷纳、菲利普·舒斯特、杰西·泰勒、娜塔莉亚·托罗、王莲涛 相关软件： NMHDECAY公司；NMSDECAY公司；希格斯信号… 主要字段： 粒子和系统力学（70-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
柚子II 2份文件引用(2010–2013) 软件作者： 爱德华·莫里西（Edward R.Morrissey）；拉蒙·迪亚兹·乌里亚特 相关软件： OrderedList；MetaPCA；AAPL… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Recodon公司 2份文件引用(2009) 软件作者： 米盖尔·阿里纳斯（Miguel Arenas）；大卫·波萨达 相关软件： 基因组流行；组织环境信息系统；PAUP*… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
记忆者 1份文件引用(2002) 软件作者： 玛格丽特·弗莱克；弗里德、马科斯；Tim Kindberg；奥布赖恩-斯特朗，埃蒙；拉贾尼（Rajani，Rakhi）；米尔贾纳·斯帕索耶维奇 相关软件： – 主要字段： 计算机科学（68-XX）
西塔 2份文件引用(2015–2021) 软件作者： 乔蒂莫·德斯穆赫（Jyotirmoy Deshmukh）；金小青；詹姆斯·卡宾斯基（James Kapinski）；奥德·马勒 相关软件： 违约；S-TaLiRo；自适应压力测试.jl… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SN版本 3份文件引用（2013年至2018年） 软件作者： Zhi Wei、Wei Wang、Pingzhao Hu、Gholson J.Lyon、Hakon Hakonarson 相关软件： Samtools；关贸总协定；ExomeWalker… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
Syco公司 3份文件引用（2017年至2021年） 软件作者： E.阿尔伯特、M.戈梅斯·扎马洛亚、M.伊莎贝尔。 相关软件： 防抱死制动系统；JCobox；Erlang… 主要字段： 计算机科学（68-XX）
纹身 2份文件引用(2001–2003) 软件作者： 阿米·苏特（Amie L.Souter）。；Tiffany M.Wong。；Stacey A.Shindo。；洛丽·波洛克。 相关软件： ADTEST；科拉特 主要字段： 计算机科学（68-XX）