PHAVer公司 119篇文献引用(2005–2024) 软件作者： 戈兰·弗雷斯 相关软件： 高科技；SpaceEx；RSOLVER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
利比奥普 68篇文献引用(2019–2023) 软件作者： Nicholas P.沃德。 相关软件： 利格罗；斯巴达人；马林… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 性欲；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
乐高SNARK 19份文件引用(2020–2023) 软件作者： 坎帕内利M。；菲奥雷·D。；Querol A公司。 相关软件： 马林鱼；皮诺奇；libiop… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
ABsolver公司 10篇文献引用(2006–2018) 软件作者： Andreas Bauer、Markus Pister和Michael Tautschnig 相关软件： HySAT；数学SAT；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
质量控制模块 2份文件引用(2018) 软件作者： Lee，Y.H。；哈利勒·哈尼，M。；M.N.马索诺。 相关软件： GitHub；QuIDDPro；qHiPSTER… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；系统论；控制（93-XX）…
阿弗利布 1份文件引用(2020) 软件作者： 豪尔赫·斯托尔菲；等。 相关软件： Matlab；C2e2；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
电路TSAT 1份文件引用(2016) 软件作者： B.纳尔逊、库马尔、T.K.S。 相关软件： NuMVC；Potassco；帝国… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
宠物老板 1份文件引用(2018) 软件作者： 余存溪；亚辛，阿蒂夫；苏天凯；阿兰·米什琴科（Alan Mishchenko）；马西耶·西塞尔斯基 相关软件： ABC；稳定；单一 主要字段： 计算机科学（68-XX）