QEPCAD公司 295篇文献引用(1991–2024) 软件作者: Hoon Hong;克里斯托弗·布朗(Christopher W.Brown)。 相关软件: 红线;枫树;发现者… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)…
梅蒂塔斯基 56篇文献引用(2008年至2024年) 软件作者: 贝扎德·阿克巴普尔;劳伦斯·C·鲍尔森。 相关软件: QEPCAD;z3;PVS… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)…
SACLIB公司 23篇文献引用(1993年至2009年) 软件作者: David G.Richardson:沃纳·克兰迪克 相关软件: QEPCAD;枫树;FOXBOX… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)…
重合根位置 引用于3份文件(2018–2021) 软件作者: Brambilla,Maria Chiara;乔瓦尼·斯塔利亚诺 相关软件: 麦考利2号;结果;克雷莫纳… 主要字段: 数论(11-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)