LARS公司 23篇文献引用(2016–2022) 软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。 相关软件: 克林戈;o克林戈;SPARQL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
SHRAD公司 7份文件引用(2005–2023) 软件作者: 阿明·法朱迪安 相关软件: MPFI;ValEncIA-IVP;mctoolbox… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
easi公司 1份文件引用(2019) 软件作者: 斯蒂芬·霍阿劳、盖·拉克鲁瓦、米雷拉·霍阿劳和卢卡·蒂贝蒂 相关软件: Stata公司 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)