voFoam公司 17篇文献引用(2014–2021) 软件作者： Tomislav Maric、Holger Marschall、Dieter Bothe 相关软件： VOF工具；格里斯；PROST… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
王牌 10篇文献引用(1991–2022) 软件作者： Le Métayer，D。 相关软件： PURRS；Isabelle/HOL；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
路径爬行器 5份文件引用(2008–2021) 软件作者： 尼基·威廉姆斯、布鲁诺·玛丽、帕特里夏·穆伊、穆里尔·罗杰 相关软件： 可爱的；投掷；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
海斯·帕特 9份文件引用(1996–2022) 软件作者： A.沃尔特 相关软件： ADOL-C；ColPack；切割机… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Algolib公司 5份文件引用(2004–2022) 软件作者： INRIA的Algo团队 相关软件： 枫树；组织环境信息系统；HOL灯… 主要字段： 有序，格，有序代数结构（06-XX）；数论（11-XX）；计算机科学（68-XX）
边缘推送 4份文件引用(2012–2018) 软件作者： 罗伯特·曼塞尔（Robert Mansel Gower）；梅洛，玛格丽达·皮涅罗 相关软件： ADOL-C；利瓦哈克；利瓦拉… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
利瓦尔 3份文件引用(2016–2022) 软件作者： 王牧；阿瑟夫·盖布雷梅欣；亚历克斯·波顿 相关软件： 利瓦哈克；边缘_推送_ sp；ColPack… 主要字段： 数理逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
利瓦哈克 3份文件引用(2016–2022) 软件作者： 王牧；阿瑟夫·盖布雷梅欣；亚历克斯·波顿 相关软件： 利瓦拉；边缘_推送_ sp；ColPack… 主要字段： 数理逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
自动MOMML 在0个文档中引用 软件作者： 普拉桑娜·巴拉普拉卡什；安娜塔·蒂瓦里；斯特凡·M·怀尔德；劳拉·卡林顿；保罗·D·霍夫兰 相关软件： 蟒蛇；AFLOW-ML；Kubeflow… 主要字段： –
彩色对象计数器 在0个文档中引用 软件作者： Lunde A，格洛弗JC。 相关软件： Colocalization_Image_Creator；斐济；电子Colocalization… 主要字段： –
多维数据集资源管理器 1份文件引用(2019) 软件作者： V.Zaccaria、G.Palermo、F.Castro、C.Silvano、G.Mariani 相关软件： 精密路径指示器；兄弟竞争；绿色… 主要字段： 计算机科学（68-XX）