QPSchur公司 17篇文献引用(2006–2022) 软件作者: 罗斯科·A·巴特利特。;Lorenz T.比格勒。 相关软件: qpOASES;LOQO;QPOPT… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
FunFrog公司 5份文件引用(2013–2019) 软件作者: Ondrej Sery;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 相关软件: eVolCheck;佩里普洛;OpenSMT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)