并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
QOCA公司 27篇文献引用(1970–2018) 软件作者： Kim万豪酒店；乔·西特·森 相关软件： 天蓝色；食火鸡；HiRise… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
基准 28篇文献引用(2005–2023) 软件作者： 斯特凡·拉特肖恩（Stefan Ratschan）；她，志坤 相关软件： RSOLVER公司；HSolver；高科技… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-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）…
海狸 9份文件引用(2010–2021) 软件作者： 桑吉特·塞希亚 相关软件： Yices；z3；CVC4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CalCS公司 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
LIRA公司 7份文件引用(2008–2021) 软件作者： Becker，B.、Dax，C.、Eisinger，J.、Klaedtke，F。 相关软件： 睫毛；cvc3；TaPAS… 主要字段： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
法西乐 3份文件引用(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；ProB；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
索诺拉 3份文件引用(2014–2018) 软件作者： Lapschies，F.、Peleska，J.、Gorbachuk，E.、Mangels 相关软件： ASTREE公司；数学SAT5；HOL灯… 主要字段： 计算机科学（68-XX）
XSat公司 2份文件引用(2018–2022) 软件作者： – 相关软件： 数学SAT5；dReal；z3… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
从未 2份文件引用(2011–2018) 软件作者： 卢卡·普利纳（Luca Pulina）；阿曼多·塔切拉 相关软件： Matlab；OPQ；Roboop… 主要字段： 特殊功能（33-XX）；计算机科学（68-XX）
国际标准化组织3 1份文件引用(2017) 软件作者： 费利克斯·温特勒（Felix Winterer）、卡斯滕·谢布勒（Karsten Scheibler）、利奥诺·温特勒、马蒂亚斯·绍尔（Matthias Sauer） 相关软件： – 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）
MLBSE公司 在0个文档中引用 软件作者： 卜、雷；梁永娟；谢准义；钱洪；Hu、Yi Qi；于，杨；陈欣；李宣东 相关软件： 日本煤炭公司；jCUTE公司；XSat… 主要字段： 计算机科学（68-XX）
皮科索 1份文件引用(2012) 软件作者： Kalinnik，N.、Schubert，T.、Al brahám，E.、Wimmer，R.、Becker，B。 相关软件： MiniSat；SATO；玲玲… 主要字段： 运筹学、数学规划（90-XX）