电子邮件 12份文件引用(2013–2021) 软件作者： 丹尼尔·库尔温（Daniel Kühlwein）；斯蒂芬·舒尔茨（Stephan Schulz）；约瑟夫·乌尔班 相关软件： E定理证明器；吸血鬼；MaLARea… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
MitC公司 在0个文档中引用 软件作者： 奥马尔·坎穆赫（Omar Kammouh）；Kok，M.W.A.（Maurits）；玛丽亚·诺格尔（Maria Nogal）；Ruud Binnekamp；A.R.M.沃尔弗特（罗吉尔） 相关软件： Matlab公司 主要字段： –
急板地 1份文件引用(2022) 软件作者： 塞纳帕蒂，德布拉塔；阿纳布·萨卡尔（Arnab Sarkar）；钱丹·卡法 相关软件： iFogSim；CPLEX公司 主要字段： 计算机科学（68-XX）