高温气冷堆 在14份文件中引用(2018–2023) 软件作者： Michael Abseher；穆斯利乌·奈斯雷特（Nysret Musliu）；斯特凡·沃尔特兰 相关软件： GANAK公司；克林戈；Dsharp… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
解算器全部 8份文件引用(2021–2024) 软件作者： Aleksander Figiel、Anne-Sophie Himmel、AndréNichterlein、Rolf Niedermeier 相关软件： SCIP公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
SCARPA公司 7份文件引用(2009–2021) 软件作者： N.Donmez，M.布鲁德诺 相关软件： 草地；SOPRA；Bambus 2… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
C-SHORe公司 6篇文献引用(2013–2017) 软件作者： 克里斯托弗·布劳德本特（Christopher Broadbent）；Carayol，阿诺；黑格，马修；奥利维尔·塞雷 相关软件： AProVE；廷巴克；MoCHi… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
发生了什么 4份文件引用(2017–2018) 软件作者： Patterson M、Marschall T、Pisanti N、van Iersel L、Stougie L、Klau GW、Schönhuth A 相关软件： HapCol；OpenDMAP；无折叠… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
tw-神经症患者 3份文件引用(2017–2019) 软件作者： 谢尔盖·加斯佩斯（Serge Gaspers）；约阿希姆·古德蒙德松；米切尔·琼斯；朱利安·梅斯特雷（Julián Mestre）；斯特凡·吕梅尔 相关软件： ComputeTW；github 主要字段： 组合数学（05-XX）；计算机科学（68-XX）