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)…