岩浆 4007文件引用(1994–2024) 软件作者： W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件： 间隙；SageMath；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
GENSMAC公司 61篇文献引用(1994–2020) 软件作者： 汤米，M.F。；菲略，A.C。；库米纳托，J.A。；Mangiavacchi，N。；麦基，S。 相关软件： GENSMAC3D；自由流动；流量-3D… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
K校准仪 52篇文献引用(2007–2024) 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
TALx86 44篇文献引用(1998–2022) 软件作者： 格雷格·莫里塞特、卡尔·克莱里、尼尔·格鲁、丹·格罗斯曼、理查德·萨缪尔、弗雷德里克·史密斯、大卫·沃克、斯蒂芬妮·威里奇、史蒂夫·兹丹塞维奇 相关软件： Coq；毫升；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ASIFT公司 34份文件引用(2009–2022) 软件作者： Jean-Michel Morel，余国深 相关软件： 筛选；冲浪；PCA-SIFT… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GF公司 在30份文件中引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
iNuc-PhysChem 24篇文献引用(2013–2019) 软件作者： Chen，W。；Lin，H。；冯，P.M。；丁，C。；Zuo，Y.C。；周，K.C。 相关软件： iRSpot PseDNC；iSNO-PseAAC；iRSpot-TNCPseAAC… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
K工具 20篇文献引用(2010–2022) 软件作者： 大卫·拉扎尔（David Lazar）、安德烈·阿鲁索艾（Andrei Arusoaie）、特拉安·弗洛林·埃尔布努（Traian Florinöerbţnu）、丘奇·埃利森（Chucky Ellison）、拉杜·梅雷塔（Radu Mereuta）、多雷尔·卢卡努（Dorel Lucan 相关软件： K校准仪；莫德；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
所有类型 18篇文献引用(1999–2017) 软件作者： 弗里茨·施瓦兹 相关软件： 减少；枫树；单数… 主要字段： 场论与多项式（12-XX）；结合环与代数（16-XX）；常微分方程（34-XX）…
发电机组3d 19份文件引用(2001–2017) 软件作者： 穆里洛·托姆（Murilo F Tome）；等人。 相关软件： GENSMAC；自由流动；SOLA-VOF… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
测试集IVP 18篇文献引用(2005–2023) 软件作者： F.Mazzia、F.Iaverano 相关软件： 罗德斯；Matlab；数据集… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
葱头 在13份文件中引用(2018–2022) 软件作者： 大卫·B·达尔；瑞安·戴；杰里·蔡英文 相关软件： R；竹子；CRAN… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
Affycomp III公司 7份文件引用(2006–2017) 软件作者： 科普，L.M。；爱尔兰共和国。；贾菲，H.A。；Wu，Z。；速度，T.P。 相关软件： gcrma；BGX；R、 … 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
时刻2 9份文件引用(2010–2016) 软件作者： 阿图尔·博罗纳特；彼得·科萨巴·奥尔韦茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
汽油发动机 8份文件引用(2012–2020) 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
MPAS公司 6篇文献引用(2022–2023) 软件作者： 霍夫曼，M.J。；佩雷戈，M。；价格，S.F。；Lipscomb，W.H。；张，T。；雅各布森，D。；特泽尔，I。；塞林格，A.G。；杜米纳罗，R。；贝尔塔尼亚，L。 相关软件： 特里利诺斯；ISSM；皮亚尔巴尼… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
IVP解算器测试集 6篇文献引用(2007–2019) 软件作者： Kierzenka，J.、Magerini，C.、Mazzia，F 相关软件： 罗德斯；RADAU；MEXX… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）
Dist兽人 5份文件引用(2011–2015) 软件作者： 穆萨布·阿尔图尔基；何塞·梅塞盖尔 相关软件： 莫德；爪哇风扇；Java+ITP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VulDeePecker公司 4份文件引用(2021–2023) 软件作者： 李震、邹德清、徐寿怀、欧新余、海金、王素娟、邓志军、钟玉怡 相关软件： github；TensorFlow；Python… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
链规则.jl 1份文件引用(2023) 软件作者： 林登·怀特；Miha Zgubic；迈克尔·阿伯特（Michael Abbott）；Jarrett Revels；亚历克斯·阿尔斯兰（Alex Arslan）；塞斯·阿克森；Simeon Schaub；尼克·罗宾逊；马英波；高拉夫·辛格拉；威尔特布特；尼古拉斯·海姆（Niklas Heim）；安德鲁·戴维·沃纳·罗森伯格（Andrew David Werner Rosemberg）；尼古拉斯·施密茨（Niklas Schmitz）；克里斯托弗·拉卡卡斯；David Widmann；Rainer Heintzmann；法兰克夏；基诺·菲舍尔；亚历克斯·罗布森；马特·布热津斯基；安德烈·扎宾斯基；马修·贝桑松；彼得罗·维特奇；沙希·戈达；安德鲁·菲茨吉本（Andrew Fitzgibbon）；卡洛·卢西贝洛；柯蒂斯·沃格特；Dhairya Gandhi；费尔南多·乔尼 相关软件： 朱莉娅；数字Py；正常流量… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
地图DE 3份文件引用(2019–2021) 软件作者： 穆罕默德·扎赫拉；格雷戈里·里德（Gregory J.Reid）。；黄，Tracy Shih-lung 相关软件： 微分几何；宝石；向量场的李代数… 主要字段： 场论与多项式（12-XX）；偏微分方程（35-XX）；计算机科学（68-XX）
WINGDSS公司 3份文件引用(1995–2016) 软件作者： Rapcsák，T.、Sági，Z.、Tóth，T.和kétszeri，L。 相关软件： HIPRE 3+；视觉UTA；签证… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
莫比尔 1份文件引用(2016) 软件作者： 贝特朗·内伦、埃尔维·梅纳杰、科琳娜·莫弗里斯、尼古拉·乔利、朱利安·莫佩蒂、塞巴斯蒂安·莱托、塞巴斯汀·卡雷尔、皮埃尔·塔弗里、凯瑟琳·莱通达尔 相关软件： ExPASy；Phobius公司；I评估器… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
WGL公司 2份文件引用（2020年） 软件作者： Pedro Quaresma、Vanda Santos、Milena Marić 相关软件： GEX；关贸总协定；JGEX… 主要字段： 几何（51-XX）；计算机科学（68-XX）
兹克 1份文件引用（2020年） 软件作者： 沃特·卢克斯（Wouter Lueks）、博格丹·库林奇（Bogdan Kulynych）、朱尔斯·法斯克尔（Jules Fasquelle）、西蒙·勒·贝尔·科莱特（Simon Le Bail-Collet）、卡梅拉·特隆科索 相关软件： bplib；ZKPDL；艾美… 主要字段： 信息与通信理论，电路（94-XX）
检查 1份文件引用（2013年） 软件作者： Arien Malec、Branden Archer、Chris Pickett、Fredrik Hugosson、Robert Lemmen 相关软件： 自动控制；TXL；状态流… 主要字段： 计算机科学（68-XX）
DOML公司 1份文件引用(2018) 软件作者： Tarnawski，T.、Pytlak，R。 相关软件： Modelica；OOQP（OOQP） 主要字段： 变分法与最优控制；优化（49-XX）；系统论；控制（93-XX）
ESLOFTX公司 1份文件引用(2016) 软件作者： 卡特·P 相关软件： github；FOILGEN公司；JBLADE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）
MDCGen公司 1份文件引用(2019) 软件作者： 费利克斯·伊格莱西亚斯；塔尼娅·兹比；丹尼尔·费雷拉（Daniel Ferreira）；亚瑟·齐梅克 相关软件： 剪影 主要字段： 统计学（62-XX）；计算机科学（68-XX）
QGRS-H预测器 1份文件引用(2019) 软件作者： 梅内德斯，C。；Frees，S。；巴格加，P.S。 相关软件： 四脚架；QGRS制图器；pqsfinder… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
SynGrasp（同步抓取） 1份文件引用（2020年） 软件作者： Malvezzi M、Gioiso G、Salvietti G、Prattichizzo D 相关软件： EPnP；机器人学 主要字段： 变分法与最优控制；优化（49-XX）；生物学和其他自然科学（92-XX）