CCASat卫星 17篇文献引用(2013–2023) 软件作者: 蔡少伟;苏凯乐 相关软件: CCLS;CCAnr;NuMVC… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);动力系统和遍历理论(37-XX)…
PaInleSS公司 10篇文献引用(2018–2023) 软件作者: 勒弗里克斯,卢多维奇;苏海卜·巴里尔;朱利安·索佩纳;Fabrice Kordon公司 相关软件: ManySAT;弯曲;Treengeling… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)