mCRL2型 59篇文献引用(2007–2023) 软件作者： 格罗特，扬·弗里索；Aad Mathijssen；米歇尔·雷尼尔斯（Michel A.Reniers）。；亚罗斯拉夫·乌森科。；蒙克·范·维尔登堡 相关软件： CADP；Uppaal公司；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
IF-2.0型 38篇文献引用（2002年至2022年） 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal公司；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
椰子 40篇文献引用(2003–2023) 软件作者： Hermann Schichl、COCONUT项目、Arnold Neumaier、Oleg Shcherbina、Eric Monfroy、Brice Pajot 相关软件： BARON公司；全球溶胶；AMPL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
JOSTLE公司 37篇文献引用(1995–2023) 软件作者： C.沃尔肖 相关软件： 苏格兰威士忌；查科；梅蒂斯… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各布·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal公司；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
艺术3 16篇文献引用(1992–2012) 软件作者： 盖尔·卡彭特（Gail A.Carpenter）；斯蒂芬·格罗斯伯格 相关软件： 模糊ARTMAP；UCI-ml；LVQPAK… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
散兵箱 20篇文献引用(1998–2023) 软件作者： 迪亚斯，安吉尔；埃里希·卡尔托芬 相关软件： 枫树；SACLIB；FireFly… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和展开（41-XX）…
莫扎特 15篇文献引用(1999–2018) 软件作者： 彼得·范·罗伊；塞夫·哈里迪 相关软件： 奥兹；CPLEX；芯片… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
帕尔莫诺利思 20篇文献引用(2016–2023) 软件作者： 克劳斯，R。；祖莲（P.Zulian）。 相关软件： 乌托邦；libMesh；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
tIGAr（美国通用汽车公司） 18篇文献引用(2019–2023) 软件作者： 大卫·卡门斯基（David Kamensky）；尤里·巴齐列夫斯 相关软件： 库达尔菲什；ShNAPr；FEniCS… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MB基础 17篇文献引用(1999–2006) 软件作者： 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 相关软件： TPS；欧米茄；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
PUMI公司 14篇文献引用(2016–2023) 软件作者： D.A.Ibanez、E.S.Seol、C.W.Smith、M.S.Shephard 相关软件： Gmsh；GitHub；PETSc… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
graph2vec（图形2vec） 在11份文件中引用(2018–2024) 软件作者： Annamalai Narayanan、Mahinthan Chandramohan、Rajasekar Venkatesan、Lihui Chen、Yang Liu、Shantanu Jaiswal 相关软件： node2vec；DeepWalk；单词2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
OSiL公司 10篇文献引用(2005–2022) 软件作者： 罗伯特·福勒；马军；基普·马丁 相关软件： AMPL；GAMS；LINDO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RTC工具箱 在11份文件中引用(2008–2023) 软件作者： Wandeler E、Thiele L 相关软件： DISCO；NC-Maude；COINC… 主要字段： 计算机科学（68-XX）；经典热力学，传热（80-XX）；运筹学，数学规划（90-XX）…
旋转 在11份文件中引用(2000–2015) 软件作者： W.W.科恩。 相关软件： C4.5；XPath；SSE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PowerGraph（功率图） 8份文件引用(2015–2022) 软件作者： J.E.Gonzalez、Y.Low、H.Gu、D.Bickson、C.Guestrin 相关软件： 普雷格尔；图X；图形实验室… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
WinALT公司 8份文件引用(1997–2014) 软件作者： Piskunov，S.V.、Ostapkevich M.B.、Beletkov D.T。 相关软件： 可视化C++ 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
LSFBTR公司 8份文件引用(1985–2023) 软件作者： 詹姆斯·D·塔尔曼 相关软件： NumSBT；QUADPACK公司；算法639… 主要字段： 特殊功能（33-XX）；欧氏空间（42-XX）的调和分析；积分变换，运算微积分（44-XX）…
WRF-SFIRE公司 7份文件引用(2016–2022) 软件作者： 曼德尔，J。；比兹利，J.D。；A.K.Kochanski。 相关软件： FlamMap；FARSITE；Multivac… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；流体力学（76-XX）…
arXMLiv公司 6篇文献引用(2008–2015) 软件作者： 德扬·基涅夫、康斯坦丁·朱科夫斯基、斯特凡·安卡、米海·格里戈尔、卡塔琳·戴维、迈克尔·科尔哈斯 相关软件： LaTeXML；乳胶；ActiveMath… 主要字段： 计算机科学（68-XX）
BDI-POMDP公司 3份文件引用(2005–2011) 软件作者： 奈尔（Nair，R.）。；M.塔姆贝。 相关软件： 杰森；PSPLIB；生物战… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ViewPoints（查看点） 5份文件引用(2000–2010) 软件作者： 迈克尔·戈迪克；贝蒂娜·恩德斯；托尔斯滕·迈耶（Torsten Meyer）；加布里埃尔·坦泽尔 相关软件： 莫德；里奥；Z、 … 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SOSlib公司 3份文件引用(2012–2019) 软件作者： Lu J、Muller S、MachnéR、Flamm C 相关软件： 日晷；COPASI；R、 … 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）
ADEPTS公司 3份文件引用(2011–2020) 软件作者： Foo，B。；Wu，Y.-S。；毛永川。；Bagchi，S。；E.斯帕福德。 相关软件： 用鼻子哼哼；MulVAL；深入学习4j… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
玫瑰色 4份文件引用(2003–2010) 软件作者： 丹·昆兰 相关软件： SUIF；GAMS；AMPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
子图形2vec 2份文件引用(2019–2020) 软件作者： Annamalai Narayanan、Mahinthan Chandramohan、Lihui Chen、Yang Liu、Santhoshkumar Saminathan 相关软件： node2vec；蟒蛇；快速DTW… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
存款 3份文件引用(2014–2016) 软件作者： 米哈伊尔·利萨列夫（Mikhail S.Litsarev）；伊凡·奥塞莱德茨（Ivan V.Oseledets） 相关软件： 交叉2d 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）
DRAGO公司 2份文件引用(2009–2014) 软件作者： L.Serafini和A.Tamilin 相关软件： 赛车手；FaCT++；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
H2Opus公司 3份文件引用(2022–2023) 软件作者： 扎皮尼、斯特凡诺；瓦吉·布卡拉姆；George Turkiyyah；奥马尔·克尼奥；戴维·凯斯 相关软件： hlib；exafmm；pvfmm… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）
磅/英里 3份文件引用(2023) 软件作者： 马丁·鲍尔（Martin Bauer）；哈拉尔德·科斯特勒；乌尔里奇·吕德 相关软件： SymPy公司；waLBerla；STLBM… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）
BUDI公司 1份文件引用(2009) 软件作者： 塞拉诺·格雷罗，杰苏斯；弗朗西斯科·罗梅罗（Francisco P.Romero）。；Jose A.Olivas。；德拉马塔，哈维尔；安德烈斯·索托 相关软件： 引导；FisPro；概念网 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
沙漠FD 在0个文档中引用 软件作者： Eames，Brandon K。；妮玛（Neema）、桑迪普·K·。；罗希特·萨拉斯瓦特 相关软件： 禁忌搜索；SICStus公司；FaMa… 主要字段： 计算机科学（68-XX）
DORiE公司 在0个文档中引用 软件作者： 卢卡斯·里德尔；圣地亚哥·奥斯皮纳·德洛斯·雷奥斯；迪昂·哈夫纳；奥利·克莱因 相关软件： DUNE-随机场；FieldSim；RandomFields… 主要字段： –
GEOMetrics公司 1份文件引用(2022) 软件作者： Edward J.Smith、Scott Fujimoto、Adriana Romero、David Meger 相关软件： PyTorch；高岭土；gvnn… 主要字段： 常微分方程（34-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
ProtVec公司 1份文件引用(2023) 软件作者： 埃萨内丁·阿斯加里（Ehsaneddin Asgari）、穆罕默德·莫夫拉德（Mohammad R.K.Mofrad） 相关软件： MetaGO；GOProFormer；MultiPredGO… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SFAPS系统 2份文件引用(2017) 软件作者： 邓小平。；黄D.S。 相关软件： RBMMMDA；miRBase；智利鱼… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
ABS-NET（防抱死制动系统-网络） 1份文件引用（2013年） 软件作者： 卡尔·帕尔姆斯科格（Karl Palmskog）；Dam、Mads；安德烈亚斯·伦德布拉德；阿里·贾法里 相关软件： KryoNet；防抱死制动系统；和弦… 主要字段： 计算机科学（68-XX）
BRL-CAD公司 1份文件引用(2016) 软件作者： BRL-CAD贡献者 相关软件： GitHub；FOILGEN公司；JBLADE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）
dcmqi 在0个文档中引用 软件作者： Herz，C.、Fillion-Robin，J.C.、Onken，M.、Riesmeier，J.、Lasso，A.、Pinter，C.、Fichtinger，G.、Pieper，S.、Clunie，D.、Kikinis，R.和Fedorov，A。 相关软件： CUDA；cuDNN；dicom3tools… 主要字段： –
dna2vec公司 1份文件引用(2019) 软件作者： 帕特里克·吴 相关软件： 单词2vec；DeepWalk；SVM-Prot… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
专家匹配器 在0个文档中引用 软件作者： Vivek Sharma、Praneeth Vepakomma、Tristan Swedish、Ken Chang、Jayashree Kalpathy-Cramer、Ramesh Raskar 相关软件： 联邦卫生局；脚手架；获取SGD… 主要字段： –
本地2全球 1份文件引用(2023) 软件作者： 卢卡斯·尤布（Lucas G.S.Jeub）。；乔瓦尼·科拉维扎；董晓文；玛丽亚·巴齐；米哈伊·库库林古 相关软件： GitHub；集群GCN；签名… 主要字段： 计算机科学（68-XX）
RNAglib（无线电导航） 在0个文档中引用 软件作者： 文森特·马莱特（Vincent Mallet）、卡洛斯·奥利弗（Carlos Oliver）、乔纳森·布劳德本特（Jonathan Broadbent）、威廉·汉密尔顿（William L.Hamilton）、杰尔·沃尔迪斯普（Jéróme Wal 相关软件： DGL；FR3D；PyTorch… 主要字段： –
Sub2vec公司 1份文件引用(2021) 软件作者： B.Adhikari、Y.Zhang、N.Ramakrishnan、B.A.Prakash 相关软件： gSpan；gBoost；MoTeX… 主要字段： 计算机科学（68-XX）
维德里洛 1份文件引用(2017) 软件作者： Martinez-Gomez，J。；卡佐拉，M。；加西亚-Varea，I。；V·莫雷尔。 相关软件： 无人值守地面模型；OLT；PMTK… 主要字段： 统计学（62-XX）；计算机科学（68-XX）