VeriPhy公司 6篇文献引用(2018–2022) 软件作者： Brandon Bohrer、Yong Kiam Tan、Stefan Mitsch、Magnus O.Myreen、AndréPlatzer 相关软件： 凯伊迈拉；Coq；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
M-DPOP公司 3份文件引用(2008–2017) 软件作者： 佩特库，A。；伪造，B。；哥伦比亚特区帕克斯。 相关软件： SICStus公司；Potassco公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
尼罗河 在0个文档中引用 软件作者： 萨万·库马尔（Sawan Kumar），Partha Talukdar 相关软件： StructBERT；CoQA；HellaSwag… 主要字段： 数学逻辑与基础（03-XX）