MPTP 0.2毫米 55份文件引用(2006–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CFTs4D型 39篇文献引用(2018–2023) 软件作者： 加布里埃尔·弗朗西斯科·库莫；丹尼斯·卡拉提耶夫；彼得·克拉夫丘克 相关软件： SDPB；朱利·布茨；PyCFT引导… 主要字段： 拓扑群，李群（22-XX）；统计学（62-XX）；量子理论（81-XX）…
回声（ECHO） 33篇文献引用(2008–2023) 软件作者： L.Del Zanna、O.Zanotti、N.Bucciantini、P.Londrilo 相关软件： 黎曼；HLLE；威士忌MHD… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
特克顿 5份文件引用(1994–2003) 软件作者： 卡普尔，D。；聂，X。；D.R.穆瑟。 相关软件： RRL；NQTHM；确认… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ADG公司 2份文件引用(2019–2021) 软件作者： Enevoldsen，瑟伦；Larsen，Kim Guldstrand；吉·斯尔巴 相关软件： 塔帕尔；PRISM-游戏 主要字段： 计算机科学（68-XX）
PyRates公司 在0个文档中引用 软件作者： Gast R.、Rose D.、Salomon C.、Möller H.E.、Weiskopf N.、Knösche T.R。 相关软件： 特拉维斯CI；Scikit；Matlab… 主要字段： –