阿司匹克 25篇文献引用(2006–2022) 软件作者： 劳雷·贡诺德；尼古拉斯·哈尔巴赫斯 相关软件： ASTREE公司；快速；围裙… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
悉尼商学院 13份文件引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
PURRS公司 9份文件引用(2006–2022) 软件作者： 罗伯托·巴格纳拉；安德烈亚·佩切蒂（Andrea Pescetti）；亚历山德罗·扎卡格尼尼；Enea Zaffanella公司；塔蒂亚娜·佐洛 相关软件： ACE；LoAT；GitHub… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
算法898 6篇文献引用(2010–2022) 软件作者： 阿尔布雷希特，马丁；格雷戈里·巴德（Gregory Bard）；威廉·哈特 相关软件： M4RI；岩浆；SageMath… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）；数值分析（65-XX）…
双重间隙分析仪 引用于2份文件(2018–2019) 软件作者： Astaf’ev，N.N。；伊万诺夫公司。；特罗菲莫夫，S.P。 相关软件： github；RPSALG；SHOGUN… 主要字段： 运筹学、数学规划（90-XX）