单一 1649年文献引用(1991–2024) 软件作者： Wolfram Decker；格特·马丁·格鲁埃尔；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
奥尔西 189份文件引用(2008–2023) 软件作者： 格雷纳B。 相关软件： Z树；Stata公司；hroot… 主要字段： 统计学（62-XX）；量子理论（81-XX）；运筹学，数学规划（90-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
班德拉 105篇文献引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Risa/Asir公司 122篇文献引用(1992–2024) 软件作者： 北野正彦、横山和弘、竹岛高、下山竹石、安井广志、，Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama（致力于基础设计、内核源代码和核心库）。关于库的提交者和最近的贡献者，请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。 相关软件： 单一；麦考利2号；Kan… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
OMRS公司 39篇文献引用(1995–2009) 软件作者： 亚历山德罗·阿曼多；Michael Kohlhase；西尔维奥·兰伊斯 相关软件： 分析；定理；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
DiaGen公司 25篇文献引用(1997–2022) 软件作者： 马克·米纳斯（Mark Minas）；Viehstaedt，G。 相关软件： 进度；GenGED；AToM3… 主要字段： 组合数学（05-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
sbtoolbox（sb工具箱） 12份文件引用(2009–2019) 软件作者： 亨宁·施密特；Mats Jirstrand公司 相关软件： Matlab；COPASI；SBML-SAT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
国际原子能机构 16篇文献引用(2005–2021) 软件作者： Y.利巴。 相关软件： BARON公司；数字；COCONUT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
CTF公司 10篇文献引用(2014–2021) 软件作者： Edgar Solomonik、Devin Matthews、Jeff Hammond、James Demmel 相关软件： BLIS；MKL；布拉斯… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）；数值分析（65-XX）…
RKWard公司 2份文件引用(2010–2012) 软件作者： Stefan Rödiger、Thomas Friedrichsmeier、Prasenjit Kapat、Meik Michalke 相关软件： R；Rcmdr；除尘器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
PowerGraph（功率图） 8份文件引用(2015–2022) 软件作者： J.E.Gonzalez、Y.Low、H.Gu、D.Bickson、C.Guestrin 相关软件： 普雷格尔；图X；图形实验室… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
JTLV公司 6篇文献引用(2012–2020) 软件作者： 阿米尔·普努埃利（Amir Pnueli）、亚尼夫·萨阿尔（Yaniv Sa'ar）、勒诺尔·扎克（Lenore D.Zuck） 相关软件： RATSY公司；CUDD；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
康考迪亚 6篇文献引用(2001–2006) 软件作者： David Wong、Noemi Paciorek、Tom Walsh、Joe DiCelie、Mike Young、Bill Peet 相关软件： Aglet；旅行者号；MAWS… 主要字段： 计算机科学（68-XX）
锑 1份文件引用(2010) 软件作者： 卢西安·P·史密斯、弗兰克·T·伯格曼、迪帕克·钱德兰、赫伯特·M·索罗 相关软件： 蟒蛇；PEtab；Data2Dynamics… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
成本核算表 5份文件引用(2012–2017) 软件作者： Albert，E.、Arenas，P.、Genaim，S.、Gómez-Zamalloa，M.、Puebla，G。 相关软件： 防抱死制动系统；速度；中美合作所… 主要字段： 计算机科学（68-XX）
SOSlib公司 3份文件引用(2012–2019) 软件作者： Lu J、Muller S、MachnéR、Flamm C 相关软件： 日晷；COPASI；R、 … 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）
AgsyHOL公司 4份文件引用(2013–2015) 软件作者： F.林布拉德。 相关软件： TPTP；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ScopeShell公司 3份文件引用(2011–2014) 软件作者： 莫斯科国立大学；DP Kostomarov，FS Zaitsev，AG Shishkin公司 相关软件： 托卡马克；塔迪斯；泊松解算器… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）
洞穴 3份文件引用(2008–2015) 软件作者： 贾恩·布萨；Hayryan，Shura；胡金坤；雅罗斯拉夫·斯科瓦内克；吴明霞 相关软件： ARVO；SURFNET；VADAR… 主要字段： 流体力学（76-XX）；生物学和其他自然科学（92-XX）
格雷斯 2份文件引用（2009-2012年） 软件作者： 保罗·特纳；Evgeny Stambulchik公司 相关软件： CUDA；PHAST；IPython… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；流体力学（76-XX）
赫敏 3份文件引用(2014–2015) 软件作者： 尼尔·斯卡索普（Neil Sculthorpe）；安德鲁·法默（Andrew Farmer）；安迪·吉尔 相关软件： nofib；Coq；AProVE公司 主要字段： 计算机科学（68-XX）
帕尔爪哇 3份文件引用(2007–2009) 软件作者： 副总裁伊万尼科夫。；阿维提斯扬，A.I。；Gaissaryan，S.S。；医学硕士Akopyan。 相关软件： 小教堂；MPJ Express公司；要塞… 主要字段： 计算机科学（68-XX）
SNEG公司 1份文件引用(2015) 软件作者： Rok Zitko公司 相关软件： Mathematica；超级钙；Grassmann操作… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；量子理论（81-XX）
抛弃 2份文件引用(1998–2002) 软件作者： B.C.Garrett、G.C.Lynch、T.C.Allison、D.G.Truhlar 相关软件： 多酸盐；VENUS96；VARIFLEX… 主要字段： 经典热力学，传热（80-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
接线盒 1份文件引用（2017年） 软件作者： Jan Schäfer，Arnd Poetzsch-Heffter 相关软件： ArchJava；JavAdaptor；JCobox… 主要字段： 计算机科学（68-XX）
上下文网络 1份文件引用(2022) 软件作者： 韩伟、张正东、张瑜、余嘉慧、赵忠成、秦詹姆士、安莫尔·古拉蒂、彭若明、吴永辉 相关软件： 费尔赛克；灵沃；浓缩咖啡… 主要字段： 计算机科学（68-XX）；经典热力学，传热（80-XX）；生物学和其他自然科学（92-XX）…
它本身 1份文件引用(2022) 软件作者： 自由软件基金会。 相关软件： 数字Py；卢比；字符串列表… 主要字段： 全局分析，流形分析（58-XX）；相对论与引力理论（83-XX）；天文学和天体物理学（85-XX）
OOASP（OOASP） 1份文件引用(2016) 软件作者： 安德烈亚斯·福克纳；Anna Ryabokon；戈特弗里德·施纳（Gottfried Schenner）；克斯特安提恩·什切科提金 相关软件： 格林戈；MiniSat；对夹2… 主要字段： 计算机科学（68-XX）
XPTO公司 2份文件引用(2011) 软件作者： 弗拉维奥·费雷拉（Flávio Ferreira）、雨果·帕切科（Hugo Pacheco） 相关软件： XPath；哈斯克尔；战略… 主要字段： 计算机科学（68-XX）
CAVE-CL型 1份文件引用(2015) 软件作者： 六月，布萨。；贾恩·布萨；Hayryan，Shura；胡金坤；吴明霞 相关软件： 洞穴；开放运算语言 主要字段： 生物学和其他自然科学（92-XX）
DEVS-鲁比 1份文件引用（2018年） 软件作者： R.Franceschini、P.-A.Bisgambiglia、P.Bisgammiglia和D.R.C.Hill 相关软件： 多PDEVS 主要字段： 系统论；控制（93-XX）
Naproche-SAD公司 1份文件引用(2020) 软件作者： 阿德里安·德隆（Adrian De Lon）；彼得·科普克（Peter Koepke）；安东·洛伦岑 相关软件： 精益；拿破仑；对于TheL… 主要字段： 计算机科学（68-XX）
NEVESIM公司 1份文件引用(2020) 软件作者： Dejan Pecevski、David Kappel、Zeno Jonke 相关软件： 神经元；github；CEPAGE公司 主要字段： 生物学和其他自然科学（92-XX）
NFB标签 1份文件引用(2021) 软件作者： 斯梅塔宁、N.、Volkova、K.、Zabodaev、S.、Lebedev、M.、Ossadtchi、A 相关软件： 传奇；MNE；头脑风暴… 主要字段： 生物学和其他自然科学（92-XX）
尼罗河 在0个文档中引用 软件作者： 萨万·库马尔（Sawan Kumar），Partha Talukdar 相关软件： StructBERT；CoQA；HellaSwag… 主要字段： 数学逻辑与基础（03-XX）
SP流量 1份文件引用(2020) 软件作者： Alejandro Molina、Antonio Vergari、Karl Stelzner、Robert Peharz、Pranav Subramani、Nicola Di Mauro、Pascal Poupart、Kristian Kersting 相关软件： 炼金术；DIMACS；Walksat… 主要字段： 计算机科学（68-XX）
VL-接口 在0个文档中引用 软件作者： Estelle Aflalo、Meng Du、Shao Yen Tseng、Yongfei Liu、Chenfei Wu、Nan Duan、Vasudev Lal 相关软件： COVAREP；RUBi；OpenFace… 主要字段： –
XOgastan公司 1份文件引用(2007) 软件作者： G.Antoniol、M.Di Penta、G.Masone、U.Villano 相关软件： gccXfront；TUAnalyzer；哥伦布 主要字段： 计算机科学（68-XX）