悉尼商学院 13份文件引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
瓦斯 2份文件引用(2019–2020) 软件作者： Sakaguchi，K。 相关软件： github；停机坪；PPL… 主要字段： 凸和离散几何（52-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）