×

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

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)

符号证明3

2份文件引用(2013-2017)
软件作者: 陈胜利;陈良玉
相关软件: 波特玛;QEPCAD;枫树
主要字段: 几何(51-XX);计算机科学(68-XX)

有限狄夫

在0个文档中引用
软件作者: 克里斯蒂安·丁格勒
相关软件:
主要字段:

筛选结果依据…