Uppaal公司 568份文件引用(1990–2023) 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 相关软件： 克罗诺斯；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Mplus公司 引用于197份文件(1998–2023) 软件作者： Mplus开发团队 相关软件： R；LISREL公司；方程式… 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
CHEMKIN公司 272份文件引用(1982–2024) 软件作者： 桑迪亚国家实验室；Coltrin，M.E.，Kee，R.J.，Rupley，F.M.，Meeks，E。 相关软件： 运输；视频点播；预混合… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；流体力学（76-XX）…
连接线 173篇文献引用（2008年至2024年） 软件作者： 严，J 相关软件： copula；R；QRM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
NetLogo公司 98篇文献引用(2007–2024) 软件作者： Elizabeth Sklar；塞斯·蒂苏；乌里·威伦斯基 相关软件： Matlab；Boids；Python… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Modelica公司 120篇文献引用(2000–2024) 软件作者： 耶布拉，L.J。；贝伦格尔，M。；多米多，S。；E.扎扎。 相关软件： Dymola；Matlab；OpenModelica… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卡萨迪 102份文件引用(2012–2024) 软件作者： Joel Andersson；约翰·奥凯森；莫里茨·迪尔 相关软件： Ipopt公司；Matlab；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
卡拉卡拉 79份文件引用(2004–2022) 软件作者： 马奇，C。；Paulin-Mohring，C。；X·乌尔班。 相关软件： Why3；Caduceus；JML… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SGeMS公司 68篇文献引用(2005–2023) 软件作者： Remy N、Boucher A、Wu J 相关软件： GSLIB；EnKF；HOSIM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
迪莫拉 引用于53份文件(1998–2022) 软件作者： 达索系统 相关软件： Modelica；OpenModelica；Matlab… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GreatSPN公司 引用于53份文件（1988年至2022年） 软件作者： 朱奈德·巴巴尔；马可·贝库蒂；苏珊娜·多纳泰利（Susanna Donatelli）；安德鲁·米纳 相关软件： GreatSPN 1.7；TimeNET；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
吉姆普 39篇文献引用(1996–2021) 软件作者： SAS公司 相关软件： R；SAS；MINITAB… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
涟漪 59篇文献引用(1992–2023) 软件作者： Kothe DB、Mjolness RC、Torrey MD 相关软件： SOLA-VOF；SLIC；NASA-VOF2D… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
SPNP公司 47篇文献引用(1990–2023) 软件作者： 克里斯托夫·希雷尔（Christophe Hirel）、布鲁诺·塔芬（Bruno Tuffin）、基索尔·斯特里维迪（Kishor S.Trivedi） 相关软件： DSPNexpress；GreatSPN 1.7；分享… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Pc获取 46篇文献引用(2000–2021) 软件作者： Perez-Amaral，Teodosio；Giampiero M.Gallo。；怀特，哈尔伯特 相关软件： PcGive；公牛；ElemStatLearn… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
锋利的 38篇文献引用(1992–2024) 软件作者： 罗宾，萨纳；Trivedi，Kishor S。；安东尼奥·普利亚菲托 相关软件： 莫比乌斯；SPNP；智能_… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MBSPACK公司 引用于42份文件(1995–2023) 软件作者： 伯恩德·西蒙 相关软件： 罗德斯；MEXX；DASSL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
GreatSPN 1.7 38篇文献引用(1995–2012) 软件作者： Chiola，G。；弗朗西斯科尼斯，G。；盖塔，R。；里巴多，M。 相关软件： GreatSPN；SPNP；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
非MEM 37篇文献引用(1996–2022) 软件作者： 比尔，S.L。；谢纳，L.B。 相关软件： R；S-PLUS；SAS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
SINTEF公司 40篇文献引用(2007–2023) 软件作者： Hasle，Geir（编辑）；Lie，Knut-Andreas（编辑）；Ewald Quak（编辑） 相关软件： Matlab；VRP；FEniCS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
A至M3 18篇文献引用(2002–2021) 软件作者： 胡安·德·拉腊（Juan de Lara）；汉斯·旺格鲁 相关软件： AGG；VIATRA2；进度… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
防抱死制动系统 33篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
茂物 27篇文献引用(2003–2014) 软件作者： 马修·德怀尔（Matthew B.Dwyer）。；约翰·哈特克利夫；马修·胡西尔（Matthew Hoosier）；马修·罗比 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
聪明的_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EULAG公司 32篇文献引用(2007–2023) 软件作者： Smolarkiewicz，Piotr K。；罗伯特·沙曼（Robert Sharman）；杰弗里·韦尔（Jeffrey Weil）；史蒂文·佩里（Steven G.Perry）。；大卫·海斯特（David Heist）；乔治·鲍克 相关软件： MPDATA；NICAM；HE-E1GODF… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
时间网络 28篇文献引用(1995–2022) 软件作者： 德语，Reinhard；克里斯蒂安·凯林（Christian Kelling）；阿明·齐默尔曼（Armin Zimmermann）；君特侯麦 相关软件： GreatSPN；SPNP；GreatSPN 1.7… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
PySP公司 28篇文献引用(2012–2023) 软件作者： Jean-Paul Watson；伍德拉夫，大卫·L·。；威廉·哈特（William E.Hart）。 相关软件： 皮奥莫；CPLEX；古罗比… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿利亚 29篇文献引用(2013–2022) 软件作者： H·欧文。；Houzeaux，G。；Samaniego，C。；莱斯基，A.C。；Vázquez，M。 相关软件： METIS公司；预CICE；测试… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
犀牛 26篇文献引用(2004–2023) 软件作者： Robert McNeel&Associates公司 相关软件： ISOGAT；蚱蜢；LS-DYNA… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SimVascular公司 27篇文献引用(2017–2024) 软件作者： Updegrove，A。；新墨西哥州威尔逊。；Merkow，J。；兰·H。；Marsden，A.L。；南卡罗来纳州沙登。 相关软件： PETSc；TetGen公司；克里姆森… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
DE发现 27篇文献引用（2011年-2023年） 软件作者： 罗切斯特大学生物防御免疫模型中心（CBIM） 相关软件： 半标准杆；R；fda（R）… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；统计学（62-XX）…
PLT兑换 25篇文献引用(2009–2022) 软件作者： 费莱森，马提亚斯；布鲁斯·芬德勒；马修·弗拉特 相关软件： Coq；K校准仪；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
罗密欧 27篇文献引用(2005–2020) 软件作者： 纪尧姆·加迪；莱姆，迪迪埃；摩根·马根（Morgan Magnin）；奥利维尔·鲁克斯（H.） 相关软件： TINA；Uppaal；Kronos… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
FEBio公司 23篇文献引用(2014–2024) 软件作者： Maas SA、Ellis BJ、Ateshian GA、Weiss JA 相关软件： PETSc；特里利诺斯；FEAPpv… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
GNA公司 25篇文献引用(2006–2021) 软件作者： Hidde de Jong、Johannes Geiselmann、Céline Hernandez、Michel Page 相关软件： 生物CHAM；RoVerGeNe；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
变身 23篇文献引用(2012–2023) 软件作者： 托尔斯滕·阿伦特；恩里科·比尔曼；斯特凡·尤拉克；克里斯蒂安·克劳斯（Christian Krause）；加布里埃尔·坦泽尔 相关软件： AGG；沟槽；GrGen… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
莫比乌斯 18篇文献引用(2001–2021) 软件作者： 威廉·H·桑德斯 相关软件： 智能_；政治公众人物协议；分享… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
兔子 23篇文献引用（2001年至2022年） 软件作者： 德克·拜尔；Lewerentz，克劳斯；安德烈亚斯·诺亚克 相关软件： Uppaal；克罗诺斯；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
麦克尔 23篇文献引用(2002–2021) 软件作者： 巴托尔，T。；J·斯蒂尔斯。 相关软件： 斯莫尔丁；格帕西；Ninf-G/MPI… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
金属工具 22篇文献引用(2007–2019) 软件作者： 冯·坎普A、舒斯特S 相关软件： efmtool；KEGG；亚纳… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
科奎利科特 22篇文献引用（2015年至2024年） 软件作者： 西尔维·博尔多；凯瑟琳·勒雷（Catherine Lelay）；纪尧姆·梅尔金德 相关软件： Coq；Isabelle/HOL；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；常微分方程（34-XX）…
几乎 21篇文献引用(2015–2023) 软件作者： 基里尔·特雷霍夫；等人。 相关软件： GeRa；动画3D；BiCGstab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
BET公司 在16份文件中引用(2007–2023) 软件作者： 斯蒂芬·史密斯。 相关软件： FSL；调情；BrainSuite… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
沃尔纳 21篇文献引用(2011–2022) 软件作者： Dutykh，Denys；蓬塞特，拉斐尔；迪亚斯，弗雷德里克 相关软件： 科技部；HLLE；COMCOT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
形而上学 17篇文献引用(1994–2018) 软件作者： 阿米特·巴苏；罗伯特·布兰宁（Robert W.Blanning）。 相关软件： LPFORM；AMPL；游戏… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
萨姆 在16份文件中引用(2002–2022) 软件作者： 阿德南·达尔维什（Adnan Darwiche）；基思·卡西奥 相关软件： R；学习；棱镜… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
阿斯卡隆 6篇文献引用（2002年至2012年） 软件作者： 托马斯·法林格；亚历山德鲁·朱格鲁（Alexandru Jugravu）；萨布里·普利亚纳；Radu Prodan；克洛维斯·塞拉吉奥托；洪林忠 相关软件： Java CoG工具包；SCALEA公司；网格流… 主要字段： 计算机科学（68-XX）
核心ASM 在13份文件中引用(2007–2021) 软件作者： Farahbod，Roozbeh；文森佐·格瓦西；乌韦·格拉塞尔（Glässer，Uwe）；妈妈，乔治 相关软件： 法尔科；罗丹；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DeepSurv公司 在16份文件中引用(2019–2023) 软件作者： JL卡兹曼；沙哈姆，美国。；Cloninger，A。；贝茨，J。；姜涛（Jiang，T.）。；Y·克鲁格 相关软件： pycox；github；ElemStatLearn… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
截面 17篇文献引用(2020–2023) 软件作者： 克劳福德，洛林；单胞菌，Anthea；陈，安德鲁·X。；穆克吉（Mukherjee，Sayan）；劳尔·拉巴丹 相关软件： 持久性图像；古迪；GitHub… 主要字段： 偏微分方程（35-XX）；代数拓扑（55-XX）；概率论与随机过程（60-XX）…
蠕虫图 17篇文献引用（2006年至2022年） 软件作者： Stef van Buuren；米兰达·弗雷德里克斯 相关软件： GAMLSS；R；gamair… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
ESTIMA公司 15篇文献引用(1993–2010) 软件作者： Jategaonkar，拉文德拉；弗兰克·塞勒克 相关软件： R；MIM；TETRAD… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
GenGED公司 在13份文件中引用(2000–2017) 软件作者： Roswitha Bardohl；克劳迪娅·埃梅尔；朱莉娅·帕德伯格（Julia Padberg）；英戈·温霍德 相关软件： DiaGen；AToM3；AGG… 主要字段： 凸和离散几何（52-XX）；计算机科学（68-XX）
GLOPEQ公司 14篇文献引用(1996–2016) 软件作者： 康纳·麦克唐纳；克里斯托杜洛斯·弗洛达斯 相关软件： GloMIQO；LINDOGlobal公司；LINDO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LTSA-WS公司 12份文件引用(2006–2021) 软件作者： Magee J、Kramer J、Uchitel S等 相关软件： WSAT；NuSMV；UFO… 主要字段： 计算机科学（68-XX）
HITEMP公司 11份文件引用(2008–2023) 软件作者： L.S.Rothman、I.E.Gordon、R.J.Barber、H.Dothe、R.R.Gamache、A.Goldman、V.Perevalov、S.A.Tashkun、J.Tennyson 相关软件： 希特兰；OpenFOAM；TauREx… 主要字段： 偏微分方程（35-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
Y-Geo公司 14篇文献引用(2015–2022) 软件作者： 俄克拉荷马州马哈巴迪；Lisjak，A；蒙吉扎，A；格拉塞利，G 相关软件： UDEC；FEAPpv；多重分形… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
伽利略 10篇文献引用(2000–2017) 软件作者： Joanne Bechta Dugan、Kevin J.Sullivan、David Coppit 相关软件： NuSMV；DFTCalc；DIFtree… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
QCAPro公司 12份文件引用(2017–2022) 软件作者： Srivastava，S；阿斯塔纳，A；Bhanja，S；萨卡尔，S 相关软件： QCA设计师；NIST统计测试套件 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
APNN-工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·坎佩尔；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
检查VML 8份文件引用(2004–2019) 软件作者： 阿尔科斯·施密特（Dániel Varró） 相关软件： 自旋蛋白；沟槽；茂物… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
伊利诺伊GRMHD 11份文件引用(2015–2023) 软件作者： Etienne，Zachariah B。；帕斯卡利迪斯（Paschalidis）、瓦西里奥斯（Vasileios）；罗兰·哈斯（Roland Haas）；菲利普·莫斯塔；斯图亚特·夏皮罗。 相关软件： 威士忌MHD；爱因斯坦工具包；GRHydro… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；流体力学（76-XX）…
PyDMD公司 9份文件引用(2016–2023) 软件作者： 演示，N。；特泽勒，M。；G.罗扎。 相关软件： HODMD；github；Python… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；算子理论（47-XX）…
扩展ARPACK 11份文件引用(2016–2023) 软件作者： 米哈伊尔·博切夫（Mikhail A.Botchev）。 相关软件： Expokit；mftoolbox；phipm… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
国际会计准则 11份文件引用(2000–2023) 软件作者： 贾努斯·格拉纳特（Janusz Granat）；马雷克·马科斯基 相关软件： MESSAGEix；TROTS；SPEA2… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
洛克史密斯 10篇文献引用(2008–2021) 软件作者： Pratikakis，P.、Foster，J.S.、Hicks，M。 相关软件： 继电器；橡皮擦；地精… 主要字段： 计算机科学（68-XX）
微电网 6篇文献引用(2001–2009) 软件作者： H.J.Song、X.Liu、D.Jakobsen、R.Bhagwan、X.Zhang、K.Taura、A.Chien；夏，华夏；Andrew A.Chien。 相关软件： 网格模拟；Globus工具包；SIMGRID… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
穆瓦尔 8份文件引用(2010–2023) 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
比基亚 11份文件引用(2003–2020) 软件作者： 特拉维斯·S·梅特卡夫。；保罗·夏波诺 相关软件： 基因组学；凯拉斯；Scikit… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；量子理论（81-XX）…
亚当 10篇文献引用（2011年-2023年） 软件作者： Hinkelmann F、Brandon M、Guang B、McNeill R、Blekherman G、Veliz-Cuba A、Laubenbacher R 相关软件： 麦考利2号；金西姆；BoolNet… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）…
顾问 10篇文献引用（2006年至2019年） 软件作者： T Markel、A Brooker、T Hendricks、V Johnson、K Kelly、B Kramer、M O'Keefe、S Sprik、K Wipke 相关软件： Matlab；fmincon公司；GAToolBox… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；光学、电磁理论（78-XX）…
国内流离失所者3 9份文件引用(2015–2020) 软件作者： 莫里斯·布鲁诺（Maurice Bruynooghe）；亨德里克·布洛克（Hendrik Blockeel）；博加特，巴特；De Cat，Broes；德普特（De Pooter，Stef）；约阿希姆·扬森；安东尼·拉巴雷；Ramon，Jan；马克·德内克（Marc Denecker）；四川省韦尔市 相关软件： 卡环；WASP；DLV… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
KITTeL公司 10篇文献引用(2011–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；卡普尔，迪帕克；卡斯滕·辛兹 相关软件： z3；控制；Yices… 主要字段： 计算机科学（68-XX）
时刻2 9份文件引用(2010–2016) 软件作者： 阿图尔·博罗纳特；彼得·科萨巴·奥尔韦茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
丽贝卡 8份文件引用(2010–2022) 软件作者： 穆罕默德·马赫迪·贾古奥里；Sirjani，Marjan；穆萨维、穆罕默德·雷扎；哈梅斯帕纳，埃桑；阿里·莫瓦加尔 相关软件： Uppaal；甲酚；定时丽贝卡… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
StochPy公司 9份文件引用(2017–2022) 软件作者： Maarleveld，T.R。；奥利维尔，B.G。；F.J.布鲁格曼。 相关软件： BioNetGen；工具箱2；COPASI… 主要字段： 常微分方程（34-XX）；近似和展开（41-XX）；概率论与随机过程（60-XX）…
ARENA公司 9份文件引用(2002–2018) 软件作者： 罗克韦尔自动化公司 相关软件： Matlab；SPSS软件；DFBOX_IMPR… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
CDNA公司 8份文件引用(2000–2017) 软件作者： D.Loewenstern；P.N.伊亚尼洛斯 相关软件： Matlab；NeoBio；DNA压缩… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CONTRAfold公司 7份文件引用(2008–2022) 软件作者： Do CB、Woods DA、Batzoglou S 相关软件： 法国复兴信贷银行；多重折叠；维也纳RNA… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DrAmpl博士 8份文件引用(2006–2020) 软件作者： 罗伯特·福勒；多米尼克·奥尔班 相关软件： CVX；AMPL；MProbe… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
MOFLON公司 1份文件引用(2006) 软件作者： Amelunxen，C.、Königs，A.、Rötschke，T.、Schürr 相关软件： 聚四氟乙烯；进度；AGG… 主要字段： 计算机科学（68-XX）
OCRA公司 9份文件引用(2015–2022) 软件作者： Cimatti，A。；Dorigatti，M。；托内塔，S。 相关软件： nuXmv；NuSMV；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
潘达波（Pandapower） 在0个文档中引用 软件作者： 莱昂·瑟纳（Leon Thurner）、亚历山大·谢特勒（Alexander Scheidler）、弗洛里安·谢弗（Florian Schäfer）、詹·亨德里克·门克（Jan-Hendrik Menke）、朱利安·多利钦（Julian Dollichon）、弗里德里克·梅耶（Friederike Meier）、 相关软件： 皮普萨；MATPOWER公司；Python… 主要字段： –
网论 8份文件引用(2006–2014) 软件作者： C.A.培养基 相关软件： Uppaal；克罗诺斯；TAPAAL… 主要字段： 阶、格、有序代数结构（06-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
机构动态仿真模块组 9份文件引用(2005–2023) 软件作者： 格兰·理查德·J。 相关软件： Matlab；Visual Basic；VBA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
电动机 5份文件引用(2004–2013) 软件作者： Joost-Pieter Katoen；亨利克·博恩坎普（Henrik Bohnenkamp）；Ric Klaren；霍尔格赫尔曼斯 相关软件： Uppaal；MoDeST；IF-2.0… 主要字段： 计算机科学（68-XX）
MultiVeStA公司 6篇文献引用(2016–2023) 软件作者： 斯特凡诺·塞巴斯蒂奥；安德烈·范丁 相关软件： 莫德；PVeStA；皮尔洛… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
POSSUM公司 8份文件引用(2017–2019) 软件作者： Wang，J。；杨，B。；Revote，J。；Leier，A。；马奎兹·拉戈，T.T。；网状物。；Lithgow，T。 相关软件： 2L-piRNA；iRSpot-EL；iRNA-PseColl… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
规则投标人 6篇文献引用(2015–2021) 软件作者： Xu，W.、Smith，A.M.、Faeder，J.R.、Marai，G.E。 相关软件： BioNetGen；千塔姆；NFsim… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
STK公司 7份文件引用(2008–2023) 软件作者： 分析图形公司 相关软件： Matlab；PySP；皮奥莫 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
SVRc公司 8份文件引用（2016年至2022年） 软件作者： Khan，F.M.，Zubek，V.B。 相关软件： 生存；DeepSurv；形状… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…