F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；陈娟；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
核心ASM 13份文件引用(2007–2021) 软件作者： Farahbod，Roozbeh；文森佐·格瓦西；乌韦·格拉塞尔（Glässer，Uwe）；妈妈，乔治 相关软件： 法尔科；罗丹；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
法尔科 10篇文献引用（2000年至2012年） 软件作者： 西门子；贝格尔，伊贡；彼得·帕平豪斯；乔阿希姆·施密德 相关软件： 核心ASM；超声波；罗丹… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ASMKeY公司 6篇文献引用(2004–2012) 软件作者： 南城，斯坦尼斯拉斯；Robert F.Stärk。 相关软件： 凯伊；ANTLR；Why3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ASM公司 3份文件引用(2010–2020) 软件作者： 埃里克·布鲁顿（Eric Bruneton）；皮埃尔·克雷古特；雷米·福拉克斯；尤金·库列舍夫；安德烈·洛斯科托夫 相关软件： MonetDB；人进；dplyr… 主要字段： 计算机科学（68-XX）
AsmetaSMV公司 2份文件引用(2016–2021) 软件作者： Arcaini，P.、Gargantini，A.、Riccobene，E。 相关软件： 昏迷；NuSMV；ASMETA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
意大利浓咖啡 在0个文档中引用 软件作者： Y.Wang、T.Chen、H.Xu、S.Ding、H.Lv、Y.Shao、N.Peng、L.Xie、S.Watanabe、S.Khudanpur 相关软件： Python；自由演讲；PyTorch… 主要字段： –
自动化SG 3份文件引用(2020–2021) 软件作者： J.Kudler-Flam公司 相关软件： github 主要字段： 组合数学（05-XX）；测量和集成（28-XX）；势能理论（31-XX）…
asm.js公司 2份文件引用(2017–2019) 软件作者： D.Herman、L.Wagner、A.Zakai 相关软件： 协和式飞机；spatiasql.js；math.js… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ASMETA公司 2份文件引用(2011–2021) 软件作者： 加甘蒂、帕卡尼、普斯卡杜拉、斯堪的纳维亚、西尔维亚邦凡提 相关软件： AsmetaSMV；昏迷；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
马特里克斯·舒伯特 在0个文档中引用 软件作者： 阿亚·阿穆萨；肖恩·格雷特（Sean Grate）；黄道吉；帕特里夏·克莱因；亚当·拉克莱尔（Adam LaClair）；罗玉元；约瑟夫·麦克多诺 相关软件： 麦考利2 主要字段： –
派比.js 引用于1份文件(2018) 软件作者： 瑞恩·凯利（Ryan Kelly）；等。 相关软件： PhaPl；SymPy公司 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…