RealPaver公司 51篇文献引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
acrit-XSC公司 48篇文献引用(1985–2019) 软件作者： 沃尔夫冈·沃尔特。 相关软件： C-XSC；C-XSC 2.0；PASCAL-XSC… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
圆形切口 47篇文献引用(1990–2023) 软件作者： 塞缪尔·伯尔；蒙特罗，雷纳托特区。；张茵 相关软件： SDPLR；向外旋转；Biq Mac… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
全球气候变化监测 42篇文献引用(2012–2023) 软件作者： 吉多·马萨罗托；克里斯蒂亚诺·瓦林 相关软件： R；Copula模型；加权分数… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
TR-BDF2型 40篇文献引用(1996–2023) 软件作者： 何西阿，M.E。；沙姆平，L.F。 相关软件： 罗德斯；Matlab；MATLAB ODE套件… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
bfa公司 引用于34份文件(2013–2023) 软件作者： Jared S.Murray。；戴维·邓森（David B.Dunson）。；劳伦斯·卡林；约瑟夫·卢卡斯（Joseph E.Lucas）。 相关软件： R；ADVI；阿达德尔塔… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
聚乙烯醇水杨酸 14篇文献引用(2011–2023) 软件作者： AlTurki，M.，Meseguer，J 相关软件： 莫德；PMaude；VESTA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SSPMO公司 18篇文献引用(2005–2022) 软件作者： 朱利安·莫利纳（Julian Molina）；曼努埃尔·拉古纳；拉斐尔·马蒂；拉斐尔·卡巴列罗 相关软件： SPEA2；分散搜索；SMS-EMOA… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
生物膜模拟 8份文件引用(2016–2022) 软件作者： 杰伊·A·斯托茨基。；杰森·哈蒙德（Jason F.Hammond）。；列昂尼德·帕夫洛夫斯基；伊丽莎白·斯图尔特。；Younger，John G。；迈克尔·J·所罗门。；大卫·M·博茨。 相关软件： iDynoR；通量模式计算器；KernSmooth… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
科林 7份文件引用(2012–2022) 软件作者： 科尔斯，A.J。；科尔斯，A.I。；福克斯，M。；龙，D。 相关软件： PDDL；SCIP计划；TensorFlow… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
C-SPARQL公司 6篇文献引用（2010年至2022年） 软件作者： 大卫·弗朗西斯科·巴比里；丹尼尔·布拉加；塞里、斯特凡诺；伊曼纽尔州德拉瓦莱；迈克尔·格罗斯尼克劳斯 相关软件： SPARQL；LARS；Clingo… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
杂交Sal 4份文件引用(2009–2020) 软件作者： 蒂瓦里，A。 相关软件： HSolver；RSOLVER公司；Yices… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ProbNetKAT公司 7份文件引用(2017–2022) 软件作者： 斯莫尔卡、斯特芬；普拉文·库马尔（Praveen Kumar）；Nate Foster；德克斯特·科赞；亚历山德拉·席尔瓦 相关软件： NetKAT；棱镜；QPL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；测量和集成（28-XX）…
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
低音的 5份文件引用(2017–2024) 软件作者： Devin Francom、Bruno Sanso、Agner Fog 相关软件： 贝叶斯树；巴蒂；R、 … 主要字段： 统计学（62-XX）；计算机科学（68-XX）；地球物理学（86-XX）
千ProbLog 5份文件引用(2016–2021) 软件作者： 弗朗西斯科·奥西尼；保罗·弗雷斯科尼；吕克·德·雷德 相关软件： ProbLog；戴纳；博客… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
莫奈达 5份文件引用(2013–2019) 软件作者： 路易斯·马蒂；加西亚，杰苏斯；安东尼奥·贝兰加；何塞·莫利纳。 相关软件： SMS-EMOA；SPEA2；MOEA/D… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PoweR公司 3份文件引用(2018–2023) 软件作者： Pierre Lafaye de Michoaux，越南Tran，阿兰·德斯加涅 相关软件： R；nortest；VGAM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
辅酶NAD 2份文件引用(2015–2018) 软件作者： 克里斯蒂安·博尔盖尔特（Christian Borgelt）；大卫·皮卡多·梅尼奥 相关软件： 埃克拉特；大脑连接工具箱；算法457 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
凸面LAR 3份文件引用(2015–2020) 软件作者： Xiao，W.，Wu，Y.，Zhou，H。 相关软件： Matlab；集群Rviz；群集路径… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
围栏R13 3份文件引用(2021–2023) 软件作者： 泰森，兰伯特；曼纽尔·托里伦 相关软件： FEniCS；网格地图；JDQR… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）
斯皮基 2份文件引用(2016–2020) 软件作者： Kreuz，T.、Mulansky，M.、Bozanic，N。 相关软件： Stimfit；派斯派克 主要字段： 统计力学，物质结构（82-XX）；生物学和其他自然科学（92-XX）
Z88极光 2份文件引用(2012–2014) 软件作者： 弗兰克·里格 相关软件： Z88；WTFEDER公司 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CCMC公司 2份文件引用(2013) 软件作者： 高，杨；恩斯特·莫里茨·哈恩（Ernst Moritz Hahn）；詹乃军；张丽君 相关软件： MRMC；棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
libcgrpp数据库 2份文件引用(2013–2018) 软件作者： R.M.A.席尔瓦。；重发，M.G.C。；帕尔达洛斯，P.M。；M.J.赫希。 相关软件： SimCList；OR-库；BPPLIB… 主要字段： 运筹学、数学规划（90-XX）
MLSY_OSM_SH公司 2份文件引用(2018–2019) 软件作者： Rybin V.V.公司。 相关软件： Matlab；SpektrSM；数学CAD… 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；系统论；控制（93-XX）
OUOUCIR公司 2份文件引用(2020–2023) 软件作者： Jhwueng、Dweeng-Chwuan 相关软件： DiffProc；GitHub；Treevo… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
有轨电车 在0个文档中引用 软件作者： 托尔斯滕·霍霍恩（Torsten Hothorn）、布莱恩·里普利（Brian Ripley）、比尔·维纳布尔斯（Bill Venables）、道格拉斯·贝茨（Douglas M.Bates） 相关软件： mgcv；BB；阿拉巴马州… 主要字段： –
巴马 1份文件引用(2021) 软件作者： Alexander Rix、Mike Kleinsasser、Yanyi Song 相关软件： SSRMST；样本量4临床试验；NPHMC… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
lsirm12pl型 在0个文档中引用 软件作者： Dongyoung Go、Jina Park、Ickhoon Jin、Minjeong Jeon 相关软件： RcppArmadillo；卢比；GPA旋转… 主要字段： –
DCA公司++ 在0个文档中引用 软件作者： 乌尔斯·R·哈纳。；冈萨洛·阿尔瓦雷斯；托马斯·迈尔（Thomas A.Maier）。；索尔卡，拉斐尔；彼得·斯塔尔（Peter Staar）；迈克尔·萨默斯（Michael S.Summers）。；托马斯·舒尔茨。 相关软件： – 主要字段： –