×

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

lrs公司

21篇文献引用(1998年至2021年)
软件作者: 大卫·艾维斯
相关软件: cdd;门户网站;正常(amp;N)…
主要字段: 代数几何(14-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

LinAIG公司

7份文件引用(2011–2022)
软件作者: 沃纳·达姆;Dierks,Henning;斯蒂芬·迪什(Stefan Disch);威廉·哈格曼;佛罗里达州Pigorsch;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨
相关软件: z3;CUDD;SpaceEx…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

ABSFAC公司

1份文件引用(1998)
软件作者: 罗杰·克拉克(Roger C.Clarka)、约翰·雷德布(John S.Reidb)
相关软件:
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);光学、电磁理论(78-XX)…

筛选结果依据…