GHC公司 36篇文献引用(1986–2014) 软件作者： Kazunori上田 相关软件： PARLOG；基马；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
弗兰肯卡梅拉 1份文件引用(2016) 软件作者： Andrew Adams等人 相关软件： – 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；信息与通信理论，电路（94-XX）
G轨道电车 2份文件引用(2015–2018) 软件作者： Hidaka，S.、Hu，Z.、Inaba，K.、Kato，H.、Nakano，K。 相关软件： 取消QL 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
大熊猫 1份文件引用(2023) 软件作者： 邦廷，M。；巴达尼，R。；J·斯普林克。 相关软件： Strym公司 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Optrans公司 1份文件引用（2010年） 软件作者： 赛义德·科拉奇；靖国中关村 相关软件： 磁粉检测；OPT++；巴黎… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）
蜗杆工作台 1份文件引用（2010年） 软件作者： Zyulkyarov，F。；Cvijic，S。；Unsal，O。；克里斯托·A。；伊瓜德，E。；哈里斯·T。；Valero，M。 相关软件： AVIO；T单元；tm_db… 主要字段： 计算机科学（68-XX）