×

找到2个软件包(结果1-2)

枣灰蝶属

151篇文献引用(1997–2022)
软件作者: Bruno Buchberger、Tudor Jebelean、Temur Kutsia、Wolfgang Windsteiger、奥地利JKU Linz RISC研究所Theorema小组
相关软件: 辅酶q;Mathematica;Mizar…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);交换代数(13-XX)…

欧米茄

65篇文献引用(2001年至2024年)
软件作者: 乔治·安德鲁斯(George E.Andrews)。;彼得·保罗;里瑟、阿克塞尔
相关软件: 组织环境信息系统;LattE;数学…
主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX)…

筛选结果依据…