达尔文 28篇文献引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
魁北克省++ 24篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QUBE公司；Quaffle；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MaxSolver（最大解算器） 19份文件引用(2005–2013) 软件作者： 赵星、张伟雄 相关软件： 糠；MiniMaxSat；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
PBLib（公共图书馆） 15篇文献引用(2007–2023) 软件作者： 托拜厄斯·菲利普；彼得·斯坦克 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
CCEHC公司 9份文件引用(2017–2023) 软件作者： 罗、川、蔡、邵伟；苏凯乐；黄文轩 相关软件： CCLS；周六4j；QMaxSAT… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
ECOM公司 7份文件引用(2015–2021) 软件作者： Lee，Jungpyo；安托万·塞尔丰 相关软件： 胆碱酯酶；XTOR；CEDRES++… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
青亭1 6篇文献引用(2003–2013) 软件作者： 李晓宇；马蒂亚斯·斯托尔曼。；弗朗西·布尔格勒 相关软件： UnitWalk；糠；SATO… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
食腐动物 4份文件引用(2017–2021) 软件作者： 伊捷古洛夫，达尼亚尔；约翰·斯莱尼；布鲁诺沃尔岑洛格尔古 相关软件： E定理证明器；水獭；VAMPIRE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
光学FROG 1份文件引用(2023) 软件作者： O.Melchert、B.Roth、U.Morgner、A.Demircan 相关软件： SciPy；蟒蛇；pyNLO… 主要字段： 偏微分方程（35-XX）；光学、电磁理论（78-XX）
打开PSTD 2份文件引用(2016–2017) 软件作者： 马尔滕·霍尼克；托马斯·克里恩（Thomas Krijnen）；路易斯·范·哈顿 相关软件： 数字Py；蟒蛇；OpenBEM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）
沙门 1份文件引用(2023) 软件作者： 野田佳彦（Noda M.）、佐藤股份有限公司（Sato S.A.）、Hirokawa Y.、Uemoto M.、Takeuchi T.、Yamada S.等人。 相关软件： CP2K；Quickstep；西北化工… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）
AOtools（AO工具） 在0个文档中引用 软件作者： M.J.Townson、O.J.D.Farley、G.Orban de Xivry、J.Osborn、A.P.Reeves 相关软件： 曹操；姚明；DASP… 主要字段： ——
J衍射 1份文件引用(2017) 软件作者： Piedrahita-Quintro，巴勃罗；卡洛斯·特鲁希略；豪尔赫·加西亚-苏尔基亚 相关软件： CUDA公司 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）
皮格兰克 在0个文档中引用 软件作者： Emmanouil Krasanakis、Symeon Papadopoulos、Ioannis Kompatsiaris、Andreas Symeonidis 相关软件： AutoGluon-Tabular；DGL；NetworkX… 主要字段： ——