Normaliz公司 210份文件引用(1998–2024) 软件作者: Winfried Bruns、Bogdan Ichim、Tim Römer、Christof Söger 相关软件: 麦考利2号;4ti2;聚乙烯… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
量子轨道 2份文件引用(2008–2024) 软件作者: 鲁迪格·沙克(Ruediger Schack);托德·布伦 相关软件: 吡咯烷;量子流;QDT… 主要字段: 概率论与随机过程(60-XX);量子理论(81-XX);统计力学,物质结构(82-XX)
SkuIDS公司 2份文件引用(2015–2020) 软件作者: 卡洛斯·德尔加多(Carlos A.Argüelles Delgado)。;约尔迪·萨尔瓦多;克里斯托弗·韦弗(Christopher N.Weaver)。 相关软件: libclang;探针3+;libquantum… 主要字段: 量子理论(81-XX)
稳定TBN 1份文件引用(2021) 软件作者: 戴维·哈雷(David Haley);大卫·多蒂 相关软件: 4ti2;OR-tools;z3… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)