DEECO公司 4份文件引用(2014–2019) 软件作者: Bures,T.、Gerostathopoulos,I.、Hnetynka,P.、Keznikl,J.、Kit,M.、Plasil,F。 相关软件: 海伦娜;SCEL;重新规范… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
AVOCLOUDY公司 2份文件引用(2017) 软件作者: Stefano Sebastieo、Michele Amoretti、Alberto Lluch Lafuente 相关软件: BOINC公司;CVX;CPLEX… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
cvxEDA公司 在0个文档中引用 软件作者: Greco A.、Valenza G.、Lanata A.、Scilingo E.P.、Citi L。 相关软件: 物理溶解;gHRV;莱达拉布… 主要字段: ——
马尔戈特 1份文件引用(2019) 软件作者: 达维德·加迪奥利;维塔利、伊曼纽尔;巴勒莫,吉安卢卡;克里斯蒂娜·西尔瓦诺 相关软件: 精密路径指示器;多维数据集浏览器;兄弟竞争… 主要字段: 计算机科学(68-XX)