重新记录 引用于171份文件（1997年至2024年） 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
GAMS模型 8份文件引用(2007–2020) 软件作者： GAMS游戏 相关软件： GAMS；林多；Matlab… 主要字段： 历史与传记（01-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
CNOP公司 7份文件引用(1997–2011) 软件作者： Mehlhorn，K。；齐格尔曼，M。 相关软件： 数学软件 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…