亚当 在10份文件中引用(2011年-2023年) 软件作者: Hinkelmann F、Brandon M、Guang B、McNeill R、Blekherman G、Veliz-Cuba A、Laubenbacher R 相关软件: 麦考利2号;金西姆;BoolNet… 主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX)…
PoCaB公司 7份文件引用(2012–2015) 软件作者: 萨马尔、萨蒂亚·斯瓦鲁普;埃拉米、哈桑;安德烈亚斯·韦伯 相关软件: 生物模型;多品牌;z3… 主要字段: 代数几何(14-XX);常微分方程(34-XX);数值分析(65-XX)…
MABSys公司 4份文件引用(2010–2016) 软件作者: 弗朗索瓦·莱梅尔;乌尔古普吕,阿斯利 相关软件: 正则链;英迪夫;AIDA… 主要字段: 交换代数(13-XX);实函数(26-XX);常微分方程(34-XX)…
多步控制 2份文件引用(2020–2021) 软件作者: 路易斯·索尔多·维埃拉;Laubenbacher,Reinhard C。;大卫·默鲁加拉 相关软件: CANA;github;亚当… 主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)