并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
无人值守地面 185篇文献引用(1994–2021) 软件作者： Bastian，P。；伯肯，K。；约翰森，K。；朗·S。；纽伊，N。；伦茨·雷切尔，H。；维纳斯，C。 相关软件： DUNE；PETSc；PLTMG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
阿巴克斯 引用于117份文件(1996–2022) 软件作者： 精灵，马提亚斯；卡斯滕·古特温格；迈克尔·Jünger；乔瓦尼·里纳尔迪 相关软件： CPLEX；MINTO公司；SYMPHONY… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
吉隆坡机场 43篇文献引用(2010–2023) 软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔 相关软件： z3；可爱的；DART… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CeTA公司 49份文件中引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
MadGraph5_aMC@NLO 43篇文献引用(2014–2024) 软件作者： J.Alwall、R.Frederix、S.Frixione、V.Hirschi、F.Maltoni、O.Mattelaer、H.-S.Shao、T.Stelzer、P.Torrielli、M.Zaro 相关软件： 费恩规则；PYTHIA8；德尔菲斯… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
dcc公司 46篇文献引用(2012–2023) 软件作者： 乌韦·诺曼 相关软件： ADOL-C；锥体；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
A至M3 18篇文献引用(2002–2021) 软件作者： 胡安·德·拉腊（Juan de Lara）；汉斯·旺格鲁 相关软件： AGG；VIATRA2；进度… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
LTSmin公司 25篇文献引用（2011年-2023年） 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
变身 23篇文献引用(2012–2023) 软件作者： 托尔斯滕·阿伦特；恩里科·比尔曼；斯特凡·尤拉克；克里斯蒂安·克劳斯（Christian Krause）；加布里埃尔·坦泽尔 相关软件： AGG；沟槽；GrGen… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
打开AD/F 23篇文献引用(2007–2022) 软件作者： Jean Utke；乌韦·诺曼；Mike Fagan；内森·塔伦特；米歇尔·米尔斯（Michelle Mills），斯特劳特（Strout）；帕特里克·亨巴赫（Patrick Heimbach）；克里斯·希尔（Chris Hill）；卡尔·温施 相关软件： 锥体；ADIFR；青少年C… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
Pyclaw公司 21篇文献引用(2012–2023) 软件作者： 戴维·凯奇森（David I.Ketcheson）。；Mandli，Kyle；阿隆·J·艾哈迈迪。；阿马尔·阿尔甘迪；德卢纳（De Luna）、曼努埃尔·奎扎达（Manuel Quezada）；马泰奥·帕萨尼（Matteo Parsani）；马修·克内普利（Matthew G.Knepley）。；马修·埃米特 相关软件： PyWENO；拉回；利爪… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
沃尔纳 21篇文献引用(2011–2022) 软件作者： Dutykh，Denys；蓬塞特，拉斐尔；迪亚斯，弗雷德里克 相关软件： 科技部；HLLE；COMCOT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SCADE公司 14篇文献引用(2001–2019) 软件作者： 杰拉德·贝里；Esterel科技 相关软件： Simulink；卢斯特；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
MizarMode（米扎尔模式） 18篇文献引用（2006年至2019年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
马斯科特 12份文件引用(1997–2022) 软件作者： 佩雷·桑乔（Pere P.Sancho）、卡洛斯·尤兹（Carlos Juiz）、拉蒙·普贾纳（Ramon Puigjaner） 相关软件： LSTRS；贝叶斯DA；翡翠… 主要字段： 数论（11-XX）；近似和扩展（41-XX）；数值分析（65-XX）…
芝诺牌手表 14篇文献引用（2012年至2022年） 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BitBlaze公司 7份文件引用(2012–2023) 软件作者： D.X.Song、D.Brumley、H.Yin、J.Caballero、I.Jager、M.G.Kang、Z.Liang、J.Newsome、P.Poosankam、P.Saxena 相关软件： BAP；KLEE公司；Dytan… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EnergyPlus公司 在10份文件中引用(2014–2020) 软件作者： Crawley，D.B.、Lawrie，L.K.、Winkelmann，F.C.等人。 相关软件： 蟒蛇；Eppy；原型… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
BED工具 7份文件引用（2012年至2019年） 软件作者： 昆兰AR，霍尔IM 相关软件： R；肥皂；IGV… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
INGENIAS公司 8份文件引用(2000–2010) 软件作者： 胡安·帕翁；豪尔赫·戈梅斯·桑兹 相关软件： APMC；湿润+；MAS-SOC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
凯特辛迪 9份文件引用(2016–2020) 软件作者： Setsuo Takato公司 相关软件： 灰姑娘；KETpic公司；LaTeX… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
精炼一元 9份文件引用(2014–2020) 软件作者： 彼得·兰米奇 相关软件： Isabelle/HOL；归档正式校对；Gabow SCC… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；数值分析（65-XX）…
CAP工具 8份文件引用(1995–2000) 软件作者： C.S.Ierotheou、S.P.Johnson、M.Cross、P.F Leggett 相关软件： 棒 极 了；CAPLib；SHMEM… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GOAHEAD公司 6篇文献引用(2008–2021) 软件作者： 帕尔克，K。 相关软件： 主机；奥根；CMPGRD… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
辛巴 4份文件引用(2001–2010) 软件作者： Systä，Tarja；Koskimies，Kai；穆勒，豪西 相关软件： 里吉；代码爬虫；SkuAVisit… 主要字段： 计算机科学（68-XX）
CoopnBuilder公司 4份文件引用(1990–2011) 软件作者： 阿里·萨比比；Didier Buchs；马修·布福；斯坦尼斯拉夫·查奇科夫；陈，昂；大卫·赫泽勒 相关软件： 莫德；PNML；阿尔皮纳 主要字段： 计算机科学（68-XX）
RAP搜索2 4份文件引用(2017–2022) 软件作者： 赵Y，唐H，叶Y 相关软件： UniProt；BLAT；生物蟒蛇… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
RUnit（运行单位） 3份文件引用(2009–2018) 软件作者： 马提亚斯·伯格、克劳斯·朱尼曼、托马斯·柯尼格 相关软件： R；CRAN；测试… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
ScaffMatch（扫描匹配） 4份文件引用(2016–2021) 软件作者： 曼德里克，I。；泽利科夫斯基，A。 相关软件： 最佳；草地；Bambus 2… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Spi2Java软件 3份文件引用(2007–2014) 软件作者： 波扎，D.，西斯托，R.，杜兰特，L。 相关软件： ASPIER公司；AGVI；ProVerif… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
控制工具箱 3份文件引用(2020–2022) 软件作者： 马库斯·吉夫塔勒（Markus Giftthaler）、迈克尔·纽内特（Michael Neunert）、马库斯·斯泰布尔（Markus Stäuble）、乔纳斯·布赫利（Jonas Buchli） 相关软件： 阿卡多斯；ACADO；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
oblr公司 4份文件引用(2020–2022) 软件作者： 阿努拉达·维克拉马拉奇；林，于 相关软件： 离心机；最大Bin；MetaBAT… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
烫发 2份文件引用(2010–2014) 软件作者： Y.Chen、T.Souaiaia、T.Chen 相关软件： 缩放；PatternHunter；SHRiMP… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SHREC公司 3份文件引用(2011–2018) 软件作者： 施罗德·J、施罗德·H、普格利西·S·J、辛哈·R、施密特·B。 相关软件： 爬行动物；HiTEC；地震… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
uShuffle（洗牌） 3份文件引用(2012–2020) 软件作者： 江，M。；安德森，J。；Gillespie，J。；M.梅恩。 相关软件： plfit；NNDB；多重… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
CLUMP公司 2份文件引用(2023–2024) 软件作者： Vasileios Angelidakis、Sadegh Nadimi、Masahide Otsubo、Stefano Utili 相关软件： MercuryDPM；Blaze-DEMGPU；PFC3D… 主要字段： 粒子和系统力学（70-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
分布式电源 3份文件引用(2009–2013) 软件作者： Thomas Weise；迈克尔·扎普夫（Michael Zapf）；汗，穆罕默德·乌拉；盖斯，库尔特 相关软件： MSOPS-II；西戈亚；基因组学… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
PENTRAN公司 3份文件引用(2001–2019) 软件作者： Sjoden，G。；Haghighat，A。；HSW技术有限责任公司 相关软件： DAGuE公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PHITS公司 2份文件引用(2023) 软件作者： 佐藤·T、岩本·Y、桥本·S、小川·T、古田·T、安倍·S·i、凯·T、蔡·P·E、松田·N、岩石浩·H、Shigyo·N、Sihver·L、尼塔·K。 相关软件： FLUKA公司；GEANT4；MESA… 主要字段： 统计力学，物质结构（82-XX）
单元格++ 1份文件引用(2011) 软件作者： Chris Sanford、Matthew L.K.Yip、Carl White、John Parkinson 相关软件： 斯莫尔丁；MesoRD公司 主要字段： 偏微分方程（35-XX）；统计力学，物质结构（82-XX）
ESPADON公司 2份文件引用(2003–2006) 软件作者： Bob K.Madahar。；艾恩·阿尔斯通（Ian D.Alston）。；丹尼斯·奥拉格尼尔；汉斯·舒勒；马克·托马斯（Mark Thomas）；布里吉特·萨吉特 相关软件： 锡林克斯 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
FEOS公司 2份文件引用(2019–2023) 软件作者： Faik，S。；Tauschwitz，A。；Iosilevskiy，I。 相关软件： 3DLINE；獾；HerEOS公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
2018年奥运会 2份文件引用(2019–2023) 软件作者： Froese Fischer，C。；Gaigalas，G。；Jönsson，P。；J·比隆。 相关软件： grasp2k；DVDSON公司 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）；天文学和天体物理学（85-XX）
MusPy公司 在0个文档中引用 软件作者： Hao-Wen Dong、Ke Chen、Julian McAuley、Taylor Berg-Kirkpatrick 相关软件： 音乐变形金刚；PyTorch；相当中型… 主要字段： –
REMM公司 2份文件引用(2008–2021) 软件作者： 弗朗西斯科·莫斯卡托；Venticinque，萨尔瓦多；阿弗莎、罗科；贝尼亚米·迪·马蒂诺 相关软件： 罗丹；贾德克斯 主要字段： 计算机科学（68-XX）
XCAT-C公司++ 2份文件引用(2011–2014) 软件作者： M.Govindaraju，M.R.Head，K.Chiu 相关软件： 尤因塔；OpenFOAM；DRFM… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
CoDeSe公司 1份文件引用(2015) 软件作者： Gligoric，M.、Marinov，D.、Kamin，S。 相关软件： 哈斯克尔；K校准仪；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Ig汇辑构建器 1份文件引用(2017) 软件作者： Safonova Y、Bonissone S、Kurpilyansky E等人 相关软件： OpenDMAP；NoFold；卡纳… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
PyCG公司 在0个文档中引用 软件作者： Vitalis Salis、Thodoris Sotiropoulos、Panos Louridas、Diomidis Spinellis、Dimitris Mitropoulos 相关软件： ast；守门人；合成码… 主要字段： –
彩虹 1份文件引用(2019) 软件作者： Chong，Z.，Ruan，J.，Wu，C.I。 相关软件： d2_集群；幻灯片排序；泥… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
REDI工具 1份文件引用(2015) 软件作者： Picardi E、Pesole G 相关软件： ARB；EMBOSS；最小值… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： –
TADSim公司 在0个文档中引用 软件作者： Susan M.Mniszewski。；Christoph Junghans；选民，Arthur F。；丹尼·佩雷斯（Danny Perez）；斯蒂芬·艾登本兹。 相关软件： – 主要字段： –