E-Darvin公司 23篇文献引用(2006–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；比约恩·佩尔泽；蒂内利、塞萨尔；亚历山大·富克斯（Alexander Fuchs）；汉斯·德尼维尔 相关软件： 达尔文；梅斯4；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
E-KRHper公司 11份文件引用(2007–2021) 软件作者： 比约恩·佩尔泽；克里斯托弗·沃恩哈德 相关软件： E定理证明器；E-Darvin；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
柔韧的身体 4份文件引用(2010–2016) 软件作者： DLR；赫克曼，A.，奥特，M.，迪茨，S.，洛佩斯，J.D。 相关软件： 亚当斯；Modelica；SIMPACK… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
FOOL（足球） 4份文件引用(2015–2021) 软件作者： 科特利尼科夫（Kotelnikov），叶夫根尼（Evgenii）；劳拉·科夫亚茨（Laura Kov'acs）；安德烈·沃伦科夫 相关软件： TPTP；大锤；SMT-LIB… 主要字段： 计算机科学（68-XX）
通量模拟器 在0个文档中引用 软件作者： 托马斯·宾斯（Thomas W.Binsl）、凯瑟琳·马伦（Katharine M.Mullen 相关软件： R；伯克利麦当娜；ODEPACK… 主要字段： –
格洛塔兰 在0个文档中引用 软件作者： Joris Snellenburg、Sergey Laptenok、Ralf Seger、Katharine Mullen、Ivo Van Stokkum 相关软件： R；RKWard公司；除尘器… 主要字段： –
叠加预测 1份文件引用(2018) 软件作者： Uvarov，N.D。；库兹涅佐夫，M.P。；马尔科娃，A.S。；Rudakov，K.V。；斯特里乔夫，V.V。 相关软件： – 主要字段： 统计学（62-XX）