核心ASM 13份文件引用(2007–2021) 软件作者： Farahbod，Roozbeh；文森佐·格瓦西；Glässer，乌韦；妈妈，乔治 相关软件： 法尔科；罗丹；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…