MONA公司 144篇文献引用(1995–2023) 软件作者： 克拉伦德，尼尔斯；莫勒，安德斯；迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。；J·埃尔加德。 相关软件： z3；DCVALID；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
修订版X 16篇文献引用(2015–2023) 软件作者： Naumov，M。；阿萨耶夫，M。；卡斯通盖，P。；科恩，J。；J·德茅斯。；伊顿，J。；Layton，S。；马尔科夫斯基，N。；Reguly，I。；Sakharnykh，N。；塞拉潘，V。；斯特佐德卡，R。 相关软件： CUDA；炒作；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FODD-计划 15篇文献引用(2008–2022) 软件作者： Joshi，S。；R.卡顿。 相关软件： FluCaP；图形平面图；高尔夫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
图菲 14篇文献引用(2013–2022) 软件作者： Feng Niu、Christopher Ré、AnHai Doan、Jude W.Shavlik 相关软件： RockIt公司；ProbLog；PRMLT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SA集群 12份文件引用(2012–2022) 软件作者： 程红；周，杨；黄欣；Yu，Jeffrey Xu先生 相关软件： 集群内；GraRep公司；节点2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
AMC公司 7份文件引用(2020–2023) 软件作者： 何一辉、吉林、刘志坚、王汉瑞、李佳丽、宋涵 相关软件： ImageNet；亚当；TensorFlow… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
深度编码器 8份文件引用(2021–2023) 软件作者： 巴洛格，马泰吉；亚历山大·冈特。；马克·布罗克施米特（Marc Brockschmidt）；塞巴斯蒂安·诺沃津；丹尼尔·塔洛 相关软件： 梅塔戈里；Tensor2传感器；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
FE-gMG公司 8份文件引用(2013–2018) 软件作者： Geveler，M。；里布洛克，D。；Göddeke，D。；Zajac，P。；图雷克，S。 相关软件： CUDA；Pogo；OpenCL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MODTRAN公司 5份文件引用(2002–2007) 软件作者： 王，P。；刘，Karen Y。；Cwik，Tom；格林，罗伯特 相关软件： ENVI；锡林克斯；Handel-C… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
WIGEON公司 8份文件引用(2015–2023) 软件作者： 孟，陈；王龙；曹宗岩；冯龙龙；朱伟山 相关软件： HOSTA公司；VAMPIR（VAMPIR）；PETSc… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
MGTP公司 6篇文献引用(1995–2013) 软件作者： 长谷川龙子；藤田，广岛；宫崎骏小村；Shirai、Yasuyuki 相关软件： 萨奇莫；TPTP；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Cetus公司 4份文件引用(2004–2023) 软件作者： Lee，Sang-Ik；特洛伊·A·约翰逊。；鲁道夫·艾根曼 相关软件： LLVM；GitHub；TRACO… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）
Inc群集 5份文件引用(2012–2020) 软件作者： 程红；周，杨；黄欣；Yu，Jeffrey Xu先生 相关软件： SA集群；线路；apcluster… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
RAP搜索2 引用于4份文件(2017–2022) 软件作者： 赵毅、唐浩、叶毅 相关软件： UniProt；BLAT；生物蟒蛇… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
备用DTW 5份文件引用(2013–2023) 软件作者： 加齐·阿勒·奈马特（Ghazi Al-Naymat）、桑杰·查拉（Sanjay Chawla）、贾维德·塔赫里（Javid Taheri） 相关软件： UCR套件；SHOGUN公司；cpm… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
特克斯摩尔 4份文件引用(2006–2011) 软件作者： C.L.Bajaj、P.Djeu、V.Siddavanahalli、A.Thane 相关软件： APBS；F2码头；MolEnergy… 主要字段： 偏微分方程（35-XX）；流形和细胞复合体（57-XX）；数值分析（65-XX）…
cuHE公司 4份文件引用(2016–2022) 软件作者： 戴伟；伯克·苏纳尔 相关软件： CUDA；HElib；GitHub… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DD3IMP公司 4份文件引用(2007–2017) 软件作者： L.F.Menezes；D.M.内托；M.C.Oliveira；J.L.阿尔维斯 相关软件： Netgen；FEAPpv；MKL… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
RiTHM公司 4份文件引用(2015–2020) 软件作者： Navabpour S、Joshi Y、Wu CWW、Berkovich S、Medhat R、Bonakdarpour B、Fischmeister S 相关软件： CBMC；NuSMV；旋转… 主要字段： 计算机科学（68-XX）
斯特拉 3份文件引用(2015–2024) 软件作者： 托比亚斯·吉西；卡洛斯·奥苏纳；奥利弗·福勒；毛罗·比安科；托马斯·舒尔赫斯 相关软件： 网格工具；Firedrake；万亿… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
人参皂甙 3份文件引用(2021–2024) 软件作者： S.M.Nobile、P.Cazzaniga、D.Besozzi、G.Mauri 相关软件： MPGOS；CUDA；日晷… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
XSat公司 2份文件引用(2018–2022) 软件作者： – 相关软件： 数学SAT5；dReal；z3… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
任何DBC 2份文件引用（2018年-2020年） 软件作者： 儿子T.Mai；Ira同意；马丁·斯托加德 相关软件： gSpan；DBSCAN；DBSCAN先生… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
INDUCTWISE（感应） 1份文件引用(2008) 软件作者： 陈宗浩；陈忠平（Charlie Chung-Ping Chen） 相关软件： hlib；香料 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）
MODESTO公司 引用于2份文件(2020–2023) 软件作者： T.Gysi、T.Grosser、T.Hoefler 相关软件： Firedrake；HyTeG；ExaSlang… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
SAGE公司 2份文件引用(2015–2019) 软件作者： M.Samadi、J.Lee、D.A.Jamshidi、A.Hormati、S.Mahlke 相关软件： 精密路径指示器；多维数据集浏览器；兄弟竞争… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
APT-MCM公司 1份文件引用(2022) 软件作者： 张，L.A。；厄本诺，A。；克莱蒙特，G。；斯威贡，D。；班纳吉，I。；R·S·帕克。 相关软件： muq；车身控制模块；GitHub… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）
LogMine公司 在0个文档中引用 软件作者： H.Hamooni、B.Debnath、J.Xu、H.Zhang、G.Jiang、A.Mueen 相关软件： 单词2vec；Python语言 主要字段： 统计学（62-XX）；计算机科学（68-XX）
MACER公司 1份文件引用(2022) 软件作者： 查塔巴尔，达尔沙克；乌迈尔·艾哈迈德（Umair Z.Ahmed）。；普鲁肖塔姆·卡尔 相关软件： 安吉利克斯；普鲁托；独眼巨人… 主要字段： 计算机科学（68-XX）
神经矢量器 在0个文档中引用 软件作者： 阿梅尔·哈伊·阿利（Ameer Haj-Ali）、内斯琳·艾哈迈德（Nesreen K.Ahmed）、特德·威尔克（Ted Willke）、索菲亚·邵（Sophia Shao）、克里斯特·阿萨诺维奇（Krste Asanovic）、伊恩·斯托伊卡 相关软件： 亚当；XLA；TensorFlow… 主要字段： –
QuanPath公司 1份文件引用(2024) 软件作者： 宋玉红；沙，Edwin Xing-Mean；诸葛、青峰；肖文龙；戴启军；徐龙山 相关软件： QuEST；qHiPSTER；项目Q 主要字段： 量子理论（81-XX）
跟踪 1份文件引用(2021) 软件作者： 比瑟，T。；Gürsoy，D。；德安德拉德，V。；Kettimuthu，R。；斯库林，W。；德卡洛，F。；I.T.福斯特。 相关软件： CoShaRP公司；TVR-DART；关系… 主要字段： 运筹学、数学规划（90-XX）
p空间细胞 在0个文档中引用 软件作者： 宫崎Atsushi Miyauchi、岩本Kazunari Iwamoto、Satya Nanda Vel Arjunan、高桥光一 相关软件： – 主要字段： –