朱莉娅 653份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： GitHub；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
阿尔戈60 657份文件引用(1959–2024) 软件作者： Naur，P。；巴克斯，J.W。；等。 相关软件： ALGOL 68；欧拉；损益表… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
SCIP公司 650篇文献中引用(2005–2024) 软件作者： 特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 相关软件： CPLEX；MIPLIB公司；古罗比… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
协和式飞机 328份文件引用(1997–2024) 软件作者： Applegate，David L。；罗伯特·E·比克斯比。；瓦舍克·查塔尔；威廉·库克。 相关软件： TSPLIB；LKH；VRP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿尔戈68 280篇文献引用(1969–2019) 软件作者： van Wijngaarden，A.作者简介；梅勒鲁，B.J。；Peck，J.E.L。；科斯特，C.H.A。；辛佐夫，M。；林赛，C.H。；Meertens，L.G.L.T。；R.G.菲斯克。 相关软件： ALGOL 60；Simula 67；Ada95… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
JuMP公司 194份文件引用(2017–2024) 软件作者： I.Dunning、J.Huchette、M.Lubin 相关软件： 朱莉娅；古罗比；GitHub… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
高尔夫 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： 康果洛；AgentSpeak；METATEM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
CVRPSP公司 142篇文献引用(2002–2024) 软件作者： Lysgaard，J。 相关软件： VRP；CVRPSEP；CPLEX… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
模拟67 131篇文献引用(1963–2021) 软件作者： 达尔，O.J。；Nygaard，K。 相关软件： 艾菲尔铁塔；ALGOL 68；Smalltalk… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；数值分析（65-XX）…
卢斯特 104篇文献引用(1992–2023) 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 相关软件： 酯类；信号；Simulink… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
SETHEO公司 118篇文献引用(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
欧兹 110篇文献引用（1994年-2023年） 软件作者： Henz，M.、Smolka，G.和Würtz，J。 相关软件： 炸薯条；莫扎特；克莱尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
落叶松 105篇文献引用(1989–2023) 软件作者： John V.Guttag。；詹姆斯·霍宁。 相关软件： JML；艾菲尔铁塔；PVS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
马戏团 81份文件引用(2002–2024) 软件作者： Woodcock，J.C.P.，卡瓦尔坎蒂，A.L.C。 相关软件： Z；电源保护；Simulink… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
进展 52篇文献引用(1994–2022) 软件作者： 曼弗雷德·穆奇；安迪·舒尔（Andy Schürr）；安德烈亚斯·温特。 相关软件： AGG；富贾巴；VIATRA2… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
镊子 47篇文献引用(2013–2024) 软件作者： Green，Alexander S。；Lumsdaine，Peter LeFanu；尼尔·J·罗斯。；彼得·塞林格（Peter Selinger）；贝诺缬氨酸 相关软件： QPL；ScaffCC；QML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
ConGolog公司 40篇文献引用(1999–2022) 软件作者： 德贾科莫；Lespérance，Y。；H.J.列夫斯克。 相关软件： 高尔夫；AgentSpeak；METATEM… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
咖喱 42篇文献引用(1998–2022) 软件作者： M.Hanus、H.Kuchen、J.J.Moreno-Navarro 相关软件： 哈斯克尔；PAKCS；KiCS2… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
CVRPSEP公司 43篇文献引用(2006–2023) 软件作者： Lysgaard J。 相关软件： CVRPSP；VRP；CPLEX… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
露西德 35篇文献引用(1978–2015) 软件作者： 威廉·沃奇（William W.Wadge）。；爱德华·阿什克罗夫特。 相关软件： 卢斯特；哈斯克尔；酯类… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；通用拓扑（54-XX）…
SeaHorn公司 36篇文献引用(2015–2023) 软件作者： Gurfinkel，A.，Kahsai，T.，Komuravelli，A.，Navas，J.A。 相关软件： z3；垫片；注册会计师检查程序… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
3APL公司 23篇文献引用(2001–2016) 软件作者： M.Dastani、F.Dignum、J.-J.Meyer 相关软件： AgentSpeak；贾德克斯；杰森… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Cg公司 18篇文献引用(2006–2012) 软件作者： 威廉·R·马克；R.Steven Glanville；库尔特·阿克利（Kurt Akeley）；马克·基尔加德 相关软件： CUDA；OpenGL；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
息肉 33篇文献引用(1999–2012) 软件作者： Jansson，P。；J·杰林。 相关软件： 哈斯克尔；Stratego；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
歧管 28篇文献引用（1993年-2023年） 软件作者： 博桑格，M.M。；Arbab，F。；德·巴克尔，J.W。；Rutten，J.J.M.M。；A.斯库特拉。 相关软件： 琳达；里奥；石灰… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SETL公司 28篇文献引用(1986–2023) 软件作者： 施瓦茨，J.T。；杜瓦，R.B.K。；杜宾斯基，E。；肖恩伯格，E。 相关软件： Z；JSetL；裁判… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；一般代数系统（08-XX）…
PAKCS公司 25篇文献引用(1994–2020) 软件作者： M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner 相关软件： 玩具；咖喱；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
锌 28篇文献引用(2005–2022) 软件作者： Kim万豪酒店；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
达卡波 15篇文献引用(2009–2023) 软件作者： Blackburn，S.M.、Garner，R.、Hoffman，C.、Khan，A.M.、McKinley，K.S.、Bentzur，R.，Diwan，A.、Feinberg，D.、Frampton，D.、Guyer，S.Z.、Hirzel，M.、Hosking，A.、Jump，M.，Lee，H.、Moss，J.E.B.、Phansalkar，A.、Stefanovic，D.、VanDrunen，T.、von Dincklage，D.和Wiedermann，B 相关软件： 烟尘；方面J；SPECjvm2008… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
AWK公司 21篇文献引用(1979–2019) 软件作者： Alfred V.Aho、Brian W.Kernighan、Peter J.Weinberger 相关软件： PERL；Mathematica；YACC… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
雪 21篇文献引用(2006–2022) 软件作者： 卢克·蒂尔尼（Luke Tierney）；A.J.罗西尼。；李娜 相关软件： 雪；R；Rcpp… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ASE公司 引用于3份文件(2019–2023) 软件作者： Hjorth Larsen，A。；Jörgen Mortensen，J。；Blomqvist，J。；卡斯泰利，I.E。；Christensen，R。；杜瓦克，M。；弗里斯·J。；格罗夫斯，M.N。；锤子，B。；哈格斯，C。；Hermes，E.D。；P.C.詹宁斯。；Bjerre Jensen，P。；科尔莫德，J。；Kitchin，J.R。；Leonhard Kolsbjerg，E。；14库巴尔，J。；Kaasbjerg，K。；Lysgaard，S。；Bergmann Maronsson，J。；Maxson，T。；Olsen，T。；Pastewka，L。；彼得森，A。；罗斯加德，C。；希奥茨，J。；舒特，O。；奇怪，M。；蒂格森，K。；Vegge，T。；维勒姆森，L。；Walter，M。；曾，Z。；雅各布森，K.W 相关软件： 蟒蛇；脓毒原；数字标识… 主要字段： 概率论与随机过程（60-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
半人马座 19份文件引用(1991–2022) 软件作者： Borras，P.、Clément，D.、Despeyroux，Th.、Incerpi，J.、Kahn，G.、Lang，B.、Pascual，V、 相关软件： K校准仪；辅酶q；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
光图.jl 15篇文献引用(2018–2022) 软件作者： S.Bromberger、J.Fairbanks等人 相关软件： 朱莉娅；GitHub；JuMP… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
J盒 16篇文献引用(2011–2023) 软件作者： Schäfer，J.，Poetzsch-Heffter，A。 相关软件： 防抱死制动系统；埃尔朗；甲酚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
皮恩 8份文件引用(2011–2021) 软件作者： A.P.Davison、D.Brüderle、J.Eppler、J.Kremkow、E.Muller、D.Pecevski、L.Perrinet、P.Yger 相关软件： 巢穴；神经元；布莱恩… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
特尤斯 18篇文献引用(2001–2022) 软件作者： Nadathur，G.，Mitchell，D.J。 相关软件： Twelf；阿贝拉；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
要塞 15篇文献引用(2006–2015) 软件作者： E.Allan、D.Chase、V.Luchangco、J.Maessen、S.Ryu、G.Steele、S.Tobin-Hochstadt 相关软件： 小教堂；斯卡拉；关闭… 主要字段： 计算机科学（68-XX）
libSBML（库SBML） 6篇文献引用(2009–2022) 软件作者： B.J.Bornstein、S.M.Keating、A.Jouraku、M.Hucka 相关软件： COPASI；SimpleSBML；Python… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
FPROLOG公司 13份文件引用(1985–2023) 软件作者： T.P.马丁。；鲍德温，J.F。；B.W.皮尔斯沃思。 相关软件： FRIL；Ciao；BousiProlog… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；统计学（62-XX）…
PySB公司 12份文件引用(2014–2022) 软件作者： Lopez，C.F.、Muhlich，J.L.、Bachman，J.A.、Sorger，P.K。 相关软件： BioNetGen；斯莫尔丁；步骤… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
PySCIPOpt公司 14篇文献引用(2016–2023) 软件作者： 斯蒂芬·J·马赫、马提亚斯·米尔滕伯格、乔·佩德罗·佩德罗、丹尼尔·雷费尔特、罗伯特·施瓦兹、菲利佩·塞拉诺 相关软件： SCIP；古罗比；XPRESS… 主要字段： 总体主题；藏品（00-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
自动 13份文件引用(1990–2023) 软件作者： Champarnaud，J.M。；Hansel，G。 相关软件： 圣杯；AMoRE；AG… 主要字段： 一般代数系统（08-XX）；群论与推广（20-XX）；计算机科学（68-XX）
口香糖 12份文件引用(1997–2016) 软件作者： Trinder，P.W.、Hammond，K.、Mattson，J.S.Jr.、Partridge，A.S.、Peyton Jones，S.L。 相关软件： 哈斯克尔；伊甸园；GHC… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
生锈带 13份文件引用(2018–2022) 软件作者： Jung，R.、Jourdan，J.H.、Krebbers，R.和Dreyer，D。 相关软件： 锈蚀；辅酶q；工具链… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
吱吱作响 9份文件引用(2003–2006) 软件作者： Ingalls，D。；凯勒，T。；马洛尼，J。；华莱士，S。；凯，A 相关软件： Smalltalk；方面；VisualWorks… 主要字段： 计算机科学（68-XX）
AIOCJ公司 10篇文献引用(2015–2022) 软件作者： Dalla Preda M、Giallorenzo S、Lanese I、Mauro J、Gabbrielli M 相关软件： JBoss；SPY；潦草… 主要字段： 计算机科学（68-XX）
洛伊 9份文件引用(2002–2021) 软件作者： J.Siekmann、S.Hess、C.Benzmüller、L.Cheikhrouhou、A.Fiedler、H.Horacek、M.Kohlhase、K.Konrad、A.Meier、E.Melis、M.Pollet、V.Sorge 相关软件： TPTP；辅酶q；PVS… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
划痕 引用于3份文件(2019–2021) 软件作者： J.Maloney、M.Resnick、N.Rusk、B.Silverman、E.Eastmond 相关软件： 绿足；爱丽丝；修补图… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
VeriCool公司 10篇文献引用(2009–2022) 软件作者： Smans，J.、Jacobs，B.、Piessens，F。 相关软件： 布吉；VeriFast；VCC… 主要字段： 计算机科学（68-XX）
阿西莫洛 7份文件引用(2015–2023) 软件作者： 安德森·C·Führer·C·奥凯森·J·。 相关软件： 蟒蛇；日晷；F2PY… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
森林 7份文件引用(2019–2023) 软件作者： Robert S.Smith、Michael J.Curtis、William J.Zeng 相关软件： GitHub；openQASM；Quipper… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
HOCL公司 7份文件引用(2006–2020) 软件作者： Banátre，J.-P。；弗雷德，P。；Radenac，Y。 相关软件： MGS；汤姆；Stratego… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
ICF3D 9份文件引用(2000–2020) 软件作者： 谢斯塔科夫，A.I。；Prasad，M.K。；Milovich，J.L。；Gentile，N.A。；画家J.F。；家具，G。 相关软件： TRHD；芝麻；MOOD… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
MGS公司 9份文件引用(2001–2016) 软件作者： 贾维托，J.-L。；O·米歇尔。 相关软件： HOCL；NESL；莫德… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
RAJA公司 6篇文献引用(2016–2024) 软件作者： Beckingsale DA、Scogland TR、Burmark J、Hornung R、Jones H、Killian W、Kunen AJ、Pearce O、Robinson P、Ryujin BS、J.Keasler 相关软件： 科科斯；PETSc；AMReX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
交通 8份文件引用(2015–2022) 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简单… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AmbientTalk公司 6篇文献引用(2009–2019) 软件作者： Dedecker J.、Van Cutsem T.、Mostinkx S.、D'Hondt T.、De Meuter W。 相关软件： 甲酚；JCobox；多重显示… 主要字段： 计算机科学（68-XX）
GPAW焊接 2份文件引用(2016–2021) 软件作者： J.Enkovaara、N.A.Romero、S.Shende、J.J.Mortensen 相关软件： 蟒蛇；ABINIT公司；ASE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OEuf公司 8份文件引用(2018–2022) 软件作者： 马伦，E。；彭斯坦纳，S。；威尔科克斯，J.R。；Tatlock，Z。；格罗斯曼，D。 相关软件： 辅酶q；CertiCoq；CakeML… 主要字段： 计算机科学（68-XX）
狂热的 7份文件引用(2011–2021) 软件作者： Foster，N.、Harrison，R.、Freedman，M.J.、Monsanto，C.、Rexford，J.、Story，A.、Walker，D。 相关软件： NetKAT；荨麻；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
多BUGS 引用于3份文件(2019–2022) 软件作者： Goudie，R.J.B.、Turner，R.M.、De Angelis，D.、Thomas，A。 相关软件： R；WinBUGS；卡爪… 主要字段： 统计学（62-XX）
奥卡 6篇文献引用(2003–2020) 软件作者： Sutherland P、Rossini A、Lumley T、Lewin-Koh N、Dickerson J、Cox Z、Cook D 相关软件： R；XGobi；GGobi… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PolyLib公司 7份文件引用(2004–2009) 软件作者： Jansson，P.，Jeuring，J。 相关软件： 哈斯克尔；息肉；快速检查… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
X中心 5份文件引用(2013–2021) 软件作者： Coelho，J.、Florido，M。 相关软件： CLP（柔性）；莫德；数学… 主要字段： 数学逻辑与基础（03-XX）；特殊功能（33-XX）；计算机科学（68-XX）
OpenMusic音乐 4份文件引用(2009–2015) 软件作者： 布列松，J.，阿贡，C.，阿萨雅格，G。 相关软件： 自旋蛋白；ntccSim；Ntccrt… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
彼得布里克斯 4份文件引用(2014–2023) 软件作者： Ansel，J.、Chan，C.、Wong，Y.L.、Olszewski，M.、Zhao，Q.、Edelman，A.、Amarasinghe，S。 相关软件： OSKI；ATLAS；FFTW… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
pMatlab公司 5份文件引用(2008–2021) 软件作者： 布利斯，N.，凯普纳，J。 相关软件： Matlab；MatlabMPI；MultiMATLAB… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
比例6.2 6篇文献引用(2015–2021) 软件作者： 里尔登，B。；列斐伏尔，R。；Lefebvre，J。；克拉诺，K。；威廉姆斯，M。；Petrie，L。；美国Mertyurek。 相关软件： 德诺沃；特里利诺斯；比例… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
斯威夫特 2份文件引用(2020–2021) 软件作者： M.Wilde、M.Hategan、J.Wozniak、B.Clifford、D.Katz、I.Foster 相关软件： 飞马座；MapReduce；PyCOMPS… 主要字段： 计算机科学（68-XX）
太极拳 6篇文献引用(2021–2023) 软件作者： 胡，Y。；李，T-M；安德森，L。；Ragan-Kelley，J。；杜兰德，F。 相关软件： 差异太极；PyTorch；MPM3D… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
邓吉尼 5份文件引用(2009–2019) 软件作者： 南部，M。；弗里斯维克，G。；福克斯，J。 相关软件： ASPARTIX公司；MiniSat；ConArg2… 主要字段： 计算机科学（68-XX）
法国天然气公司 5份文件引用(2009–2023) 软件作者： 康威，J.H。 相关软件： 辅酶q；GitHub；毫升 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；积分方程（45-XX）…
弗里尔++ 5份文件引用(2002–2017) 软件作者： 曹天华。；罗西特，J.M。；马丁·T·P。；J.F.鲍德温。 相关软件： Fuzzydl；FRIL；HyPER… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
IndiGolog公司 引用于3份文件(2016–2020) 软件作者： De Giacomo，G.，Y.Lespérance，H.J.Levesque，S.Sardina 相关软件： 高尔夫；2APL；代理发言… 主要字段： 计算机科学（68-XX）
J型 4份文件引用(2002–2017) 软件作者： Jsoftware公司。 相关软件： 弗兰；PLT兑换；Blitz++库… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；凸和离散几何（52-XX）…
神经导体 引用于3份文件(2018–2023) 软件作者： 穆舍利，J。；Fortin，J.-P。；Gherman，A。；先锋，B。；惠彻，B。；克莱登，J.D。；Caffo，B。；克雷尼西亚努，C.M。 相关软件： R；oro.nifti；oro.dicom… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
PyCOMPS公司 引用于3份文件(2021–2022) 软件作者： E.Tejedor、Y.Becerra、G.Alomar、A.Queralt、R.M.Badia、J.Torres、T.Cortes和J.Labarta 相关软件： 服务；达克；分析… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
PyNEST公司 引用于3份文件(2016–2022) 软件作者： Eppler J.M.、Helias M.、Muller E.、Diesmann M.、Gewaltig M.-O 相关软件： 巢穴；派恩；神经元… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
QWire公司 5份文件引用(2017–2019) 软件作者： Payikin，J.、Rand，R.、Zdancewic 相关软件： 奎珀；问题#；凯伊迈拉X… 主要字段： 总体主题；藏品（00-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
SOSlib公司 引用于3份文件(2012–2019) 软件作者： Lu J、Muller S、MachnéR、Flamm C 相关软件： 日晷；COPASI；R、 … 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）
Statalign公司 4份文件引用(2012–2018) 软件作者： 阿拉巴马州诺瓦克。，Miklós，I.，Lyngsoe，R.，Hein，J。 相关软件： Bali-phy；充分满足；Rec-I-DCM3… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
英国圣公会 4份文件引用(2018–2024) 软件作者： 托宾，D。；van de Meent，J.W。；Yang，H。；伍德，F。 相关软件： 高温；ProbLog；验证… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
镉 4份文件引用(2008–2017) 软件作者： 格雷戈里·杜克（Gregory J.Duck）。；莱斯利·德·科宁克；彼得·斯图基（Peter J.Stuckey）。 相关软件： 微量锌；通用电气；G12… 主要字段： 计算机科学（68-XX）
Diff太极 4份文件引用(2021–2023) 软件作者： 胡，Y。；安德森，L。；李，T-M；孙，Q。；卡尔，N。；Ragan-Kelley，J。；杜兰德，F。 相关软件： 太极；亚当；PyTorch… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
电子LBM 4份文件引用(2019–2022) 软件作者： Alpak，F.O。；扎卡鲁迪奥，I。；Berg，S。；Dieterich，J。；北卡罗来纳州萨克森纳。 相关软件： drp基准；CUDA；特里利诺斯 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
长石 2份文件引用(2015–2016) 软件作者： E.Axelsson、K.Claessen、G.Devai、Z.Horvath、K.Keijzer、B.Lyckegard、A.Persson、M.Sheeran、J.Sveningsson、A.Vajda 相关软件： 熔岩；哈斯克尔；旋风… 主要字段： 计算机科学（68-XX）
Flapjax公司 4份文件引用(2009–2020) 软件作者： L.A.Meyerovich、A.Guha、J.Baskin、G.H.Cooper、M.Greenberg、A.Bromfield、S.Krishnamurthi 相关软件： 卢斯特；哈斯克尔；信号… 主要字段： 计算机科学（68-XX）
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
海珀 4份文件引用(2017–2022) 软件作者： P.Kouki、S.Fakhrai、J.Foulds、M.Eirinaki、L.Getoor 相关软件： node2vec；ProNE；DeepWalk… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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 相关软件： 辅酶q；GitHub；Coquet… 主要字段： 计算机科学（68-XX）
逻辑Blox 引用于3份文件(2016–2021) 软件作者： 托德·格林（Todd J.Green）；Molham Aref；格里戈里斯·卡沃纳拉基斯 相关软件： i工作台；HyperBench；空标题… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）