CUDD公司 158份文件引用(1997–2023) 软件作者： 法比奥·萨蒙齐 相关软件： NuSMV；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
纳古拉 47篇文献引用(2010–2023) 软件作者： 马吕斯·霍弗特；马丁·梅克勒；亚历山大·麦克尼尔。 相关软件： copula；copula；R、 … 主要字段： 积分变换，运算微积分（44-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
部门QBF 53篇文献引用(2010–2023) 软件作者： Lonsing，F.，Biere，A。 相关软件： 布洛克；RAReQS；Quaffle… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
YalSAT卫星 35篇文献引用(2017–2023) 软件作者： 阿明·比尔 相关软件： 玲玲；弯曲；Treengeling… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
DUNE ALUGrid（DUNE ALUGrid） 24篇文献引用(2015–2022) 软件作者： 阿尔卡·佩尔、德纳、科勒、诺尔特 相关软件： ALUGrid；DUNE；DuMuX… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
帕拉库巴 24篇文献引用(2020–2023) 软件作者： 马克西米利安·海辛格；马蒂亚斯·弗勒里；阿明·比尔 相关软件： CaDiCaL；基萨特；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
平衡采样 15篇文献引用(2016–2023) 软件作者： 安东·格拉夫斯特罗姆、乔纳森·利西奇 相关软件： 抽样；spsurvey；R、 … 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
手推车 12份文件引用(2018–2023) 软件作者： 卡洛·安吉利（Carlo Angiuli）、纪尧姆·布鲁内里（Guillaume Brunerie）、蒂埃里·科昆德（Thierry Coquand）、坤邦·侯（Favonia）、罗伯特·哈珀（Robert Harper）、丹尼尔·李卡塔（Daniel R.Licata） 相关软件： 立方体；github；立方agda… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
FrF2级 5份文件引用(2017–2022) 软件作者： Ulrike Grömping公司 相关软件： R；DoE.wrapper；DoE.base… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
PaInleSS公司 10篇文献引用(2018–2023) 软件作者： 勒弗里克斯，卢多维奇；苏海卜·巴里尔；朱利安·索佩纳；Fabrice Kordon公司 相关软件： ManySAT；弯曲；Treengeling… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
HyperCube（HyperCube） 9份文件引用(2008–2024) 软件作者： M.卡利亚里 相关软件： 超二维；OPQ；Matlab… 主要字段： 特殊功能（33-XX）；近似和展开（41-XX）；欧几里得空间的调和分析（42-XX）…
libWall模型 8份文件引用(2019–2022) 软件作者： Mukha，T。；Rezaeiravesh，S。；Liefvendahl，M。 相关软件： OpenFOAM；github；恐龙皮… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
月亮 5份文件引用(2020–2023) 软件作者： Marianna Girlando；卢茨斯特拉汉堡 相关软件： github；NESCOND；TABLEAUX… 主要字段： 计算机科学（68-XX）
ANTELOPE公司 3份文件引用(2014–2017) 软件作者： Hua，Yu；刘雪；姜红（Jiang，Hong） 相关软件： —— 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
HC-ACO公司 3份文件引用(2004–2019) 软件作者： 克里斯蒂安·布鲁姆；安德烈亚·罗利（Andrea Roli）；多里戈 相关软件： 禁忌搜索；Swarm-Sync；DOSI… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
i-Cube（i-Cube） 3份文件引用(2001–2011) 软件作者： 弗兰基·彭；科斯塔斯Kontogiannis 相关软件： —— 主要字段： 结合环与代数（16-XX）；微分几何（53-XX）；计算机科学（68-XX）…
特鲁勒克鲁尔 3份文件引用(2016–2023) 软件作者： Jensen，Kristian Ejlebjerg；杰拉德·戈尔曼 相关软件： Matlab；github；前88.m… 主要字段： 实函数（26-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
多维数据集 2份文件引用(2018–2021) 软件作者： Saviankou，P.、Knobloch，M.、Visser，A.、Mohr，B 相关软件： Scalasca；mpi4py；likwid… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
DRABT公司 2份文件引用(2015–2016) 软件作者： Marijn J.H.Heule；阿明·比尔 相关软件： MiniSat；DRAT-饰件；PicoSAT… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
梅菲斯托 2份文件引用（1977年-2014年） 软件作者： 雅克·路易斯狮子实验室 相关软件： PimpleFOAM；EnSight；ParaView… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
Astrocut公司 在0个文档中引用 软件作者： Brasseur，C.E。；卡莉塔·菲利普；斯科特·弗莱明（Scott W.Fleming）。；穆拉利，S.E。；理查德·怀特。 相关软件： Scikit；SciPy；Matplotlib… 主要字段： ——
INEMO公司 1份文件引用（2008年） 软件作者： 李洪斌；沈兴发；赵军；王志；孙友贤 相关软件： —— 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
甲氧麻黄酮 1份文件引用(2021) 软件作者： 马丁·威根（Martin Wiegand）、萨拉丽斯·纳达拉亚（Saralees Nadarajah） 相关软件： 南瓜；巧妙地；ismev… 主要字段： 概率论与随机过程（60-XX）
MPDAF公司 在0个文档中引用 软件作者： 罗兰·培根；劳雷·皮奎拉斯；西蒙·康西尔（Simon Conseil）；约翰·理查德（Johan Richard）；马丁·谢泼德 相关软件： PySpecKit；SExtractor；LSDCat… 主要字段： ——
NCIPLOT公司 1份文件引用(2022) 软件作者： J.Contreras-Garcia、E.Johnson、S.Keinan、R.Chaudret、J-P Piquemal、D.Beratan、W.Yang 相关软件： 毫米克；高斯人 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
波利米诺群岛 1份文件引用(2017) 软件作者： D.爱泼斯坦 相关软件： Matlab；Normaliz；CUDA… 主要字段： 组合数学（05-XX）；几何（51-XX）；凸和离散几何（52-XX）…
RubiksCoube遗传算法解算器 1份文件引用(2020) 软件作者： 托多尔·巴拉巴诺夫；伊万诺夫，斯托扬；鲁门·凯蒂波夫 相关软件： github 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
光谱铜 在0个文档中引用 软件作者： Adam Ginsburg、Tom Robitaille、Chris Beaumont、Adam Leroy、Erik Rosolowsky、Eric Koch 相关软件： 无线电波；角落.py；主持人… 主要字段： ——
Web_彩色方块 1份文件引用(2022) 软件作者： 亚历山大·波波夫（Alexandre Popoff）；科伦丁州吉查瓦；莫雷诺·安德烈亚塔 相关软件： Tonnetz；D3.js型 主要字段： 总体主题；集合（00-XX）