斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
QOCA公司 27篇文献引用(1970–2018) 软件作者： Kim万豪酒店；Chok，Sitt Sen先生 相关软件： 天蓝色；食火鸡；HiRise… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
基准 28篇文献引用(2005–2023) 软件作者： 斯特凡·拉特肖恩（Stefan Ratschan）；她，志坤 相关软件： RSOLVER公司；HSolver；高科技… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Z3str3号机组 19份文件引用(2018–2023) 软件作者： Berzish，M.、Ganesh，V.、Zheng，Y。 相关软件： z3；CVC4；诺恩… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
IBEX公司 14篇文献引用（2009年-2023年） 软件作者： 夏伯特，G；约旦尼宁 相关软件： filib++；数字；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卡西沃里 10篇文献引用(2005–2022) 软件作者： Greg J.Badros、Alan Borning、Peter J.Stuckey 相关软件： QOCA；HiRise；天蓝色… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CS Prolog公司 7份文件引用(1988–2002) 软件作者： 河村俊雄；大和田，Hayato；Fumio沟口 相关软件： Prolog；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
法西乐 引用于3份文件(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；项目B；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
皮科索 1份文件引用(2012) 软件作者： Kalinnik，N.、Schubert，T.、Ábrahám，E.、Wimmer，R.、Becker，B。 相关软件： MiniSat；SATO；玲玲… 主要字段： 运筹学，数学编程（90-XX）