贝尔蒂尼 290份文件引用（2008年至2024年） 软件作者： D.Bates、J.Hauenstein、A.Sommese、C.Wampler 相关软件： PHCpack；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
irace公司 225篇文献引用（2013年至2024年） 软件作者： 曼努埃尔·洛佩兹·伊瓦涅斯（Manuel López-Ibáñez）、杰雷米·杜波斯·拉科斯特（Jérémie Dubois-Lacoste）、托马斯·斯图策（Thomas Stützle）、毛罗·比拉塔里（Mauro Birattari）、埃里克·袁（ 相关软件： SPOT；帕拉米尔斯；SMAC… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
螺母 196篇文献引用（2013年至2024年） 软件作者： 马修·霍夫曼（Matthew D.Hoffman）、安德鲁·盖尔曼（Andrew Gelman） 相关软件： 斯坦；贝叶斯DA；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
泰勒 引用于114份文件(2003–2024) 软件作者： 天使乔尔巴；邹茂荣 相关软件： ATOMFT；潮汐；杆… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
帕拉米尔斯 96篇文献引用(2009–2024) 软件作者： Hutter，F。；胡斯，H.H。；莱顿-布朗，K。；T·斯图茨勒。 相关软件： SMAC；irace；SATzilla… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卡萨迪 102份文件引用(2012–2024) 软件作者： Joel Andersson；约翰·奥凯森；Moritz迪尔 相关软件： Ipopt；Matlab；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
正则链 90篇文献引用(2005–2023) 软件作者： Lemaire，F。；莫雷诺·马扎（Moreno Maza，M.）。；谢，Y。 相关软件： 枫树；单一；QEPCAD… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
ML-KNN公司 78篇文献引用(2007–2024) 软件作者： M.Zhang、Z.Zhou 相关软件： BoosTexter；MULAN；LIBSVM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
版次 87份文件引用(1984–2023) 软件作者： 皮埃尔·莱斯坎 相关软件： RRL；AProVE；蒂罗利安… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
梅蒂斯_ 58篇文献引用(1987–2023) 软件作者： Joe Leslie-Hurd；metis-users@gilith.com 相关软件： Isabelle/HOL；E定理证明器；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
吉隆坡机场 43篇文献引用(2010–2023) 软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格勒 相关软件： z3；可爱的；DART… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
嘲弄 37篇文献引用(2005–2023) 软件作者： 朱莉娅·汉德尔（Julia Handl）；约书亚·诺尔斯 相关软件： UCI-ml；集群发现；剪影… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
NLEIGS公司 44篇文献引用(2014–2023) 软件作者： Güttel S.、Van Beeumen R.、Meerbergen K.、Michiels W。 相关软件： NLEVP；JDQZ；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
Forcer公司 39篇文献引用(2017–2023) 软件作者： T.Ueda、B.Ruijl、J.A.M.Vermaseren 相关软件： 表格；LiteRed；敏瑟… 主要字段： 数论（11-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
皮曼诺普 33篇文献引用(2016–2023) 软件作者： 詹姆斯·汤森；尼古拉斯·科普；塞巴斯蒂安·魏奇瓦尔德 相关软件： 马诺普特；TensorFlow；ROPTLIB… 主要字段： 微分几何（53-XX）；统计学（62-XX）；数值分析（65-XX）…
jStar公司 32篇文献引用(2008–2022) 软件作者： DiStefano，D.，Parkinson，M。 相关软件： 小脚；VeriFast；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HIP（热等静压） 33篇文献引用(2007–2023) 软件作者： 魏恩根；Huu Hai Nguyen；克里斯蒂娜·戴维；克里斯蒂安·吉尔吉纳（Cristian Gherghina）；Quang Loc Le；汤尚乐；阿桑卡亚·夏尔马 相关软件： 小脚；VeriFast；幻灯片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NLPLIB公司 30篇文献引用(1999–2020) 软件作者： 霍姆斯特罗姆（Kenneth Holmström）；马蒂亚斯·比约克曼 相关软件： OPERA；TOMLAB公司；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
锌 在28份文件中引用(2005–2022) 软件作者： 万豪酒店，Kim；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；华莱士，马克 相关软件： 本质；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
马什 引用于27份文件（2001年-2023年） 软件作者： 丹尼尔·库尔文；贾斯敏·克里斯蒂安·布兰切特；Cezary Kaliszyk；约瑟夫·乌尔班 相关软件： E定理证明器；Flyspeck；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PLT兑换 在25份文件中引用(2009–2022) 软件作者： 费莱森，马提亚斯；布鲁斯·芬德勒；马修·弗拉特 相关软件： Coq；K校准仪；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
COSTA公司 22篇文献引用(1992–2020) 软件作者： 埃尔维拉·阿尔伯特（Elvira Albert）、普里·阿雷纳斯（Puri Arenas）、萨米尔·吉纳伊姆（Samir Genaim）、杰尔曼·普埃布拉（Germanán Puebla）、达米亚诺·扎纳尔迪尼（Damiano Zanardini） 相关软件： 速度；AProVE；参考… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；偏微分方程（35-XX）…
GUI-HDMR公司 21篇文献引用(2011–2021) 软件作者： Ziehn，T.和Tomlin，A.S 相关软件： MuPAD；PERL；gss… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
帕索尔 19份文件引用(2005–2017) 软件作者： 亚库斯·舍夫，亚历山大；Čiegis，雷蒙达斯；劳凯蒂，印加；特罗菲莫夫，维亚切斯拉夫 相关软件： PETSc；BALaser；Diffpack… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
所有类型 18篇文献引用(1999–2017) 软件作者： 弗里茨·施瓦兹 相关软件： 减少；枫树；奇异… 主要字段： 场论与多项式（12-XX）；结合环与代数（16-XX）；常微分方程（34-XX）…
网络ACE 6篇文献引用(2006–2019) 软件作者： Han EH、Boley D、Gini M、Gross R、Hastings K、Karypis G、Kumar V、Mobasher B、Moore J 相关软件： OHSUMED公司；UCI-ml；MESHPART… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
BOSS四轮驱动 在15份文件中引用(2009–2020) 软件作者： 西门子 相关软件： 顶部.m；SAMCEF；SAMCEF Mecano… 主要字段： 变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
阿斯卡隆 6篇文献引用(2002–2012) 软件作者： 托马斯·法林格；亚历山德鲁·朱格鲁（Alexandru Jugravu）；萨布里·普拉纳；Radu Prodan；克洛维斯·塞拉吉奥托；洪林忠 相关软件： Java CoG工具包；SCALEA公司；网格流… 主要字段： 计算机科学（68-XX）
数据包 17篇文献引用(2002–2019) 软件作者： 托尔斯玛，J.E。；P.I.巴顿 相关软件： DASSL；DASPK 3.0；SNOPT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
萨卡多 引用于16份文件(2008–2023) 软件作者： 埃里克·菲普斯（Eric Phipps）；罗杰·鲍洛夫斯基 相关软件： 特里利诺斯；ADOL-C；GitHub… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科西马 引用于16份文件(2015–2022) 软件作者： 塞布蒂·穆埃利；安托万·吉拉德；格雷戈·戈斯勒 相关软件： SCOTS；佩索阿；TuLiP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
斯图尔曼语 14篇文献引用(2000–2018) 软件作者： 詹姆斯·埃弗里；约翰·埃弗里 相关软件： 交叉2D；直接；molstum… 主要字段： 总体主题；藏品（00-XX）；特殊功能（33-XX）；常微分方程（34-XX）…
戴恩 11份文件引用(2003–2010) 软件作者： J.T.Moscicki等人 相关软件： 恒河；GEANT4；门… 主要字段： 总体主题；藏品（00-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
J拉舍尔 6篇文献引用(2008–2014) 软件作者： 萨勒纳、克里斯托夫和斯马拉格达基斯、亚尼斯 相关软件： 罗斯特拉；Daikon；埃克拉特… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
通过 12份文件引用（2010年至2022年） 软件作者： 比约恩·瓦赫特；张丽君；霍尔格·赫尔曼斯；莫里茨·哈恩 相关软件： 棱镜；CEGAR；风暴… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
RBFOpt公司 13份文件引用(2016–2023) 软件作者： 阿尔贝托·科斯塔；贾科莫·纳尼西尼 相关软件： NOMAD公司；味噌；自我… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
自动差异 10篇文献引用(2005–2016) 软件作者： 马丁·布克尔；保罗·霍夫兰；克里斯蒂安·温特；海纳·巴赫 相关软件： ADOL-C；ADIC；舒适… 主要字段： 实函数（26-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
fc2工具 12份文件引用(1999–2022) 软件作者： Bouali，A.、Ressouche，A.、Roy，V.、de Simone，R。 相关软件： CADP；到期未结；CAESAR_SOLVE… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
H-变形 11份文件引用(2000–2022) 软件作者： 史蒂文·欧文。；苏尼尔·塞加尔 相关软件： Q-变形；立方体盖；LBIE… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；光学、电磁理论（78-XX）…
ICENI公司 4份文件引用(2002–2010) 软件作者： Nathalie Furmento；安东尼·梅耶（Anthony Mayer）；斯蒂芬·麦高（Stephen McGough）；史蒂文·纽豪斯（Steven Newhouse）；托尼·菲尔德（Tony Field）；约翰·达林顿 相关软件： Condor-G；仙人掌；网格信息软件… 主要字段： 计算机科学（68-XX）
MBSymba手机 12份文件引用（2004年至2021年） 软件作者： R地块。；M·达里奥。 相关软件： 枫树；罗德斯；Ipopt；…（可选）… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
狂想曲 12份文件引用(2008–2020) 软件作者： Charpentier，I。；尤特克，J。 相关软件： ADOL-C；舒适的；AD01… 主要字段： 特殊功能（33-XX）；数值分析（65-XX）；计算机科学（68-XX）…
快速（FastDer）++ 11份文件引用(2002–2021) 软件作者： E Tijskens、D Roose、H Ramon、Josse De Baerdemaker 相关软件： ADIFR；ve08；凯利… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
前处理 8份文件引用(2008–2023) 软件作者： 牛郎星 相关软件： OptiStruct；FLUENT公司；TetGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
穆斯卡迪特 10篇文献引用(1989–2021) 软件作者： 多米尼克·帕斯特 相关软件： 水獭；自动化；Isabelle/ZF… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
VeriCool公司 10篇文献引用(2009–2022) 软件作者： Smans，J.、Jacobs，B.、Piessens，F。 相关软件： 布吉；VeriFast；VCC… 主要字段： 计算机科学（68-XX）
科普拉。马尔可夫 10篇文献引用(2017–2023) 软件作者： Emura、Takeshi；龙、婷慧；孙丽欣 相关软件： 环境；科普拉。马尔科夫生存；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
InvX公司 10篇文献引用(1989–2013) 软件作者： H.霍什涅维桑；K.M.Sephton公司 相关软件： LRinv；VMTL；筑波… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
ISDL公司 8份文件引用(2001–2006) 软件作者： 乔治·哈吉伊安尼斯（George Hadjiyiannis）；西尔维娜·汉诺；斯里尼瓦斯·德瓦达斯 相关软件： FFmpeg；酯类；MIMOLA… 主要字段： 计算机科学（68-XX）
json2运行 10篇文献引用(2016–2023) 软件作者： 托马索·乌利 相关软件： SPOT；微量锌；CALMA… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
苏格拉底 9份文件引用(1992–2018) 软件作者： 舒尔茨，M.，特里施勒，E.，萨弗特，T。 相关软件： 伯克敏；糠；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
Speedith公司 9份文件引用(2012–2019) 软件作者： Urbas，M.、Jamnik，M.，Stapleton，G.、Flower，J。 相关软件： 超防；伊莎贝尔；迪亚贝利… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
CP优化器 9份文件引用(2015–2023) 软件作者： 菲利普·拉博里；杰罗姆·罗杰里 相关软件： ILOG时间表；PSPLIB；迷你锌… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
AEtnaNova公司 8份文件引用(2011–2018) 软件作者： Eugenio G.Omodeo、Domenico Cantone、Alberto Policriti、Jacob T.Schwartz 相关软件： 裁判；SETL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；复变量函数（30-XX）…
缓存审核 8份文件引用(2017–2021) 软件作者： Doychev，G.、Feld，D.、Köpf，B.、Mauborgne，L.、Reineke，J。 相关软件： 布吉；LLVM；JFlow… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
地理信息系统 6篇文献引用(2013–2022) 软件作者： 安东尼奥·克里米尼西、托比·夏普、安德鲁·布莱克 相关软件： 抓斗切割；布里斯克；效率Det… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
HMC公司 7份文件引用(2014–2021) 软件作者： Jhala，R.、Majumdar，R.和Rybalchenko，A。 相关软件： z3；垫片；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MUSCOP公司 8份文件引用（2001年-2023年） 软件作者： 安德烈亚斯·波奇卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者： JoséJ.Pazos Arias。；加西亚·杜克（Jorge García Duque） 相关软件： PVS；SLAM；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿洛哈 6篇文献引用(2013–2022) 软件作者： P.de Aquino、W.Link、F.Maltoni、O.Mattelaer、T.Stelzer 相关软件： 戈萨姆；CutTools；MadGraph5_aMC@NLO; … 主要字段： 数值分析（65-XX）；量子理论（81-XX）
科巴亚 7份文件引用(2020–2023) 软件作者： 耶稣·托拉多、安东尼·刘易斯 相关软件： CAMB；获取分配；Matplotlib… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；量子理论（81-XX）…
CRISP公司 7份文件引用(2001–2020) 软件作者： 彼得·奥佩克（Pieter Op de Beeck）、弗朗西斯科·巴拉特（Francisco Barat）、穆拉利·贾亚帕拉（Murali Jayapala）和鲁迪·劳韦林斯（Rudy Lauwereins） 相关软件： KNIME；R；MODL… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CVPP公司 7份文件引用(2004–2015) 软件作者： 赫斯曼（Marieke Huisman）；古罗夫，帝力 相关软件： MAVEN公司；班德拉；Uppaal… 主要字段： 数论（11-XX）；统计学（62-XX）；计算机科学（68-XX）…
PyBaMM公司 5份文件引用(2021–2023) 软件作者： 苏尔泽，V.，马奎斯，S.，蒂姆斯，R.，罗宾逊，M.，查普曼，S 相关软件： 丹德利昂；卡萨迪；日晷… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
裁判 7份文件引用(2013–2018) 软件作者： Eugenio G.Omodeo；多梅尼科·坎通纳；阿尔贝托·波利克里蒂；雅各布·T·施瓦茨 相关软件： AEtnaNova；SETL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
极光 5份文件引用(2009–2021) 软件作者： De Paiva，E.C.公司。；阿齐尼埃拉，J.R。；Ramos，J.G。；Moutinho，A。；S.S.布埃诺。 相关软件： 冲浪；InerVis；摄像机校准… 主要字段： 地球物理学（86-XX）；系统论；控制（93-XX）
先知 4份文件引用(2017–2023) 软件作者： 长，风扇；马丁·里纳德 相关软件： SemFix；安吉利克斯；缺陷4J… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Qlose（关闭） 5份文件引用(2020–2023) 软件作者： L.D’Antoni、R.Samanta、R.Singh 相关软件： github；安吉利克斯；代码缺陷… 主要字段： 计算机科学（68-XX）
coco_gop_ex公司 5份文件引用(2014–2021) 软件作者： 马科特，米哈利·萨巴；赫尔曼·施奇尔 相关软件： 椰子；BARON公司；QuadProgBB… 主要字段： 运筹学、数学规划（90-XX）
ProGen公司 5份文件引用(2008–2009) 软件作者： 张晓；王珊；莉安（Lian，Na） 相关软件： PSPLIB；禁忌搜索 主要字段： 积分方程（45-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Spi2Java软件 引用于3份文件(2007–2014) 软件作者： 波扎，D.，西斯托，R.，杜兰特，L。 相关软件： ASPIER公司；AGVI；ProVerif… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SUPPLE公司 1份文件引用（2014年） 软件作者： Krzysztof Z.Gajos、Daniel S.Weld、Jacob O.Wobbrock 相关软件： QOCA；蟒蛇；吉尔德… 主要字段： 计算机科学（68-XX）
AUTO_DERIV公司 4份文件引用(2000–2010) 软件作者： S.Stamatiadis、R.Prosmiti、S.C.Farantos 相关软件： ADIFR；ADOL-C；POMULT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
自动变速箱 引用于3份文件（1988年至2004年） 软件作者： 自动预测系统公司（AFS） 相关软件： R；麦康普；fma… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
CESAM公司 4份文件引用(2010–2018) 软件作者： 皮埃尔·莫雷尔（Pierre Morel）、伊夫林·勒布雷顿（Yveline Lebreton） 相关软件： G接合；JFNK；CGS公司 主要字段： 统计学（62-XX）；流体力学（76-XX）；相对论和引力理论（83-XX）…
深度合成 4份文件引用(2022–2023) 软件作者： Mohammadosein Hasanbeig、Natasha Yogananda Jeppu、Alessandro Abate、Tom Melham、Daniel Kroening 相关软件： 基线；亚当；古罗比… 主要字段： 计算机科学（68-XX）
GLINTS公司 4份文件引用(2019–2023) 软件作者： María Alpuente、Angel Cuenca Ortega、Santiago Escobar、Julia Sapiña 相关软件： 莫德；ABETS；MTT… 主要字段： 一般代数系统（08-XX）；计算机科学（68-XX）
GShard公司 2份文件引用(2021) 软件作者： Dmitry Lepikhin、HyoukJoong Lee、Yuanchong Xu、Dehao Chen、Orhan Firat、Yanping Huang、Maxim Krikun、Noam Shazeer、Zhifeng Chen 相关软件： 亚当；BERT；GPT-3… 主要字段： 计算机科学（68-XX）
i隐私 4份文件引用(2018–2021) 软件作者： Yu，J。；张，B。；Kuang，Z。；Lin，D。；J·范。 相关软件： github；sdcMicro；ACCIO… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
j金属Py 1份文件引用(2021) 软件作者： 贝尼特斯·希达尔戈，A。；内布罗，AJ；加西亚·尼托，J。；奥雷基，I。；德尔塞尔，J。 相关软件： 蟒蛇；PlatEMO；DEAP… 主要字段： 运筹学、数学规划（90-XX）
卡米 4份文件引用(2018–2021) 软件作者： Choi，J.、Vijayaraghavan，M.、Sherman，B.、Chlipala，A.、Arvind 相关软件： Coq；github；Coquet… 主要字段： 计算机科学（68-XX）
ProMoVer公司 4份文件引用(2011–2016) 软件作者： Siavash Soleimanifard；古罗夫，帝力；玛丽克·赫斯曼 相关软件： MAVEN公司；DeltaCCS；MSTA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
鲁棒填充 4份文件引用(2019–2023) 软件作者： 雅各布·德夫林；约纳森·尤萨托（Jonathan Uesato）；苏里亚布帕提拉朱；里沙巴·辛格；阿卜杜勒·拉赫曼·穆罕默德；科利，普希米特 相关软件： SQLizer；推动；PyshGP… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
玫瑰色 4份文件引用(2003–2010) 软件作者： 丹·昆兰 相关软件： SUIF；GAMS；AMPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
美国汽车制造商协会 引用于3份文件(2018–2020) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；朱莉娅·萨皮娜 相关软件： 莫德；ABETS；Liquid Haskell… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）