英国 16篇文献引用(2003–2021) 软件作者: 麦地那A、拉基纳A、马塔I、拜尔斯J 相关软件: 和弦;Globus工具包;脚本… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
马拉布 7份文件引用(2021年至2022年) 软件作者: Katz,G.、Huang,D.A.、Ibeling,D.、Julian,K.、Lazarus,C.、Lim,R.、Shah,P.、Thakoor,S.、Wu,H.、ZeljíC,A.、Dill,D.L.、Kochenderfer,M.J.、Barrett,C。 相关软件: Reluplex;NNV;AI2… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
AWTY(空载) 5份文件引用(2009–2023) 软件作者: Nylander JA、Wilgenbusch J.C.、Warren D.L.、Swoffor D.L。 相关软件: 贝叶斯先生;BMGE;M-咖啡… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…
CARRE公司 3份文件引用(1996–2019) 软件作者: R.Marchand M.Dumberry先生 相关软件: CEDRES++;埃雷内 主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)
自动变速箱 1份文件引用(2018) 软件作者: Alpeshkumar K.Malde、Le Zuo、Matthew Breeze、Martin Stroet、David Poger、Pramod C.Nair、Chris Oostenbrink、Alan E.Mark 相关软件: 锌;费用分配;COIN或 主要字段: 运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)