酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
山茶花 97篇文献引用(2001–2023) 软件作者： 青木，Kazumaro；铁杉一川；神田、Masayuki；松井、三井；森井、希荷；中岛俊子；Tokita、Toshio 相关软件： 克利夫亚；出席；方形… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
欧西里克斯 5份文件引用(2015–2018) 软件作者： Antoine Rosset、Luca Spadola、Osman Ratib 相关软件： VTK；PixelMed公司；ITK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
波利斯 6篇文献引用(2002–2007) 软件作者： 马西莫·巴莱尼；马西莫·孔蒂（Massimo Conti）；阿尔贝托法拉利；瓦莱里奥·弗雷斯科拉；阿尔贝托Sangiovanni-Vincentelli 相关软件： 多时性；糠；MiBench… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CapoOne公司 1份文件引用(2018) 软件作者： Montesinos P、Hicks M、King ST、Torrellas J 相关软件： 剑道；FATCOP；游戏… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
UltraSONIC公司 3份文件引用(2002) 软件作者： 西蒙·海恩斯（Simon D.Haynes）。；Henry G.Epsom。；理查德·库珀（Richard J.Cooper）。；Paul L.McAlpine。 相关软件： – 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PX4型 1份文件引用（2020年） 软件作者： Lorenz Meier；Dominik Honegger；马克·波利菲斯 相关软件： github；OpenSim；量子浓缩咖啡… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
萨卢斯 在0个文档中引用 软件作者： 尼尔斯·阿文兹（Niels Avonds）、拉乌尔·斯特拉克（Raoul Strackx）、彼得·阿格滕（Pieter Agten）、弗兰克·皮森斯（Frank Piessens） 相关软件： 砂壳；普里夫曼；闭包库… 主要字段： –
野餐 在0个文档中引用 软件作者： 丹尼尔·凯尔斯（Daniel Kales）；塞巴斯蒂安·拉马赫；克里斯蒂安·雷赫伯格（Christian Rechberger）；沃尔奇，罗马人；马里奥·沃纳 相关软件： – 主要字段： –