×

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

输入_90

310份文件引用(1996–2023)
软件作者: R.Baker Kearfott先生
相关软件: 国际实验室;C-XSC;个人资料/偏见…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

枣灰蝶属

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

筛选结果依据…