CAV汽车 13份文件引用(2011–2023) 软件作者: 布莱恩·纳卡穆拉 相关软件: GJsqfree;GJSAW;GJ系列… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);代数几何(14-XX)…
AMIKS公司 2份文件引用(2017–2019) 软件作者: 米哈伊尔·阿列克桑德罗维奇(Mikhail Aleksandrovich);伊万诺夫(Ivanov),Aleksandr Aleksandrovich;德米特里·德米特里耶维奇·斯米尔诺夫 相关软件: – 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…