踪迹 244篇文献引用(2014–2024) 软件作者： 阿道夫·皮佩诺 相关软件： 鹦鹉螺；SageMath；间隙… 主要字段： 组合数学（05-XX）；凸几何和离散几何（52-XX）；计算机科学（68-XX）…
马诺普特 163篇文献引用(2013–2024) 软件作者： 尼古拉·鲍马尔（Nicolas Boumal）；Bamdev Mishra；P.-A.Absil；鲁道夫·塞普尔赫里 相关软件： RTRMC；皮曼诺普；ROPTLIB… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
洛拉 26篇文献引用(2000–2021) 软件作者： 卡斯滕·施密特（Karsten Schmidt）；K·沃尔夫。 相关软件： 玛丽亚；Uppaal；BPEL2PN… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
蜂蜜獾算法 22篇文献引用(2022–2024) 软件作者： Fatma A.Hashim。；埃萨姆·霍森。；侯赛因、卡希夫；Mabrouk，Mai S。；瓦利德·阿尔·阿塔巴尼 相关软件： WOA；SSA；GSA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
数学检查 13份文件引用(2015–2021) 软件作者： 明亮，柯蒂斯；维杰·加内什；阿尔伯特·海因勒；科齐里亚斯、伊利亚斯；赛义德·内贾蒂；Czarnecki，Krzysztof；爱德华·祖尔科斯基 相关软件： 山猫；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
SCC人行道 8份文件引用(2020–2023) 软件作者： 王一元；蔡少伟；陈洁江；尹明浩 相关软件： NuMVC；irace；CCLS… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
显式PRISMSymm 2份文件引用(2015) 软件作者： 帕特尔，里马；凯文·帕特尔（Kevin Patel）；蒂伦·帕特尔 相关软件： 棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 有序，格，有序代数结构（06-XX）；计算机科学（68-XX）
Kuai公司 2份文件引用(2019–2021) 软件作者： Majumdar，R.、Tetali，S.D.、Wang，Z。 相关软件： 食蚁兽；VeriCon公司；NetKAT… 主要字段： 计算机科学（68-XX）
港口Dom 1份文件引用(2019) 软件作者： Bitard-Feildel，T。；凯梅纳，C。；格林伍德，J.M。；Bornberg-Bauer，E。 相关软件： – 主要字段： 生物学和其他自然科学（92-XX）