MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： NewtonLib公司；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
H-PILoT公司 6篇文献引用(2009–2021) 软件作者： Carsten Ihlemann，Viorica Sofrone-Stokkermans公司 相关软件： z3；REDLOG；草蜢… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
柏拉图 引用于3份文件(2009–2019) 软件作者： Kenny，S.D。；A.P.霍斯菲尔德。 相关软件： ABINIT公司；GitHub；DFTB+… 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
TBPLaS公司 1份文件引用(2023) 软件作者： 李云海；詹、珍；匡雪恒；李永刚；袁胜军 相关软件： 结核杆菌；pybinding；MathemaTB… 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）