莫德-NPA 39篇文献引用(2009–2023) 软件作者: 圣地亚哥埃斯科瓦尔;梅多斯,凯瑟琳作者简介;何塞·梅塞盖尔;圣地亚哥,索尼娅 相关软件: 莫德;塔马林;AVISPA… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
爪哇风扇 30篇文献引用(2004–2018) 软件作者: 阿扎德·法尔赞;陈冯;何塞·梅塞盖尔;格里高·罗什乌 相关软件: 莫德;K校准仪;MMT… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
洛拉 26篇文献引用(2000–2021) 软件作者: 卡斯滕·施密特(Karsten Schmidt);K·沃尔夫。 相关软件: 玛丽亚;Uppaal;BPEL2PN… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
AltAlt键 6篇文献引用(2002–2009) 软件作者: 罗密奥·桑切斯·奈根达(Romeo Sanchez Nigenda)、玄龙阮(XuanLong Nguyen)、苏巴拉奥·坎巴帕蒂(Subbarao Kambhampati) 相关软件: STAN;图形平面图;SAPA… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
StEAM公司 3份文件引用(2004–2011) 软件作者: 彼得·莱文(Peter Leven);蒂尔曼·梅勒;斯特凡·爱德坎普 相关软件: 自旋蛋白;卫星抗体;Zing… 主要字段: 计算机科学(68-XX)
ParSSSE公司 4份文件引用(2011年至2018年) 软件作者: 孙燕华;郑耿彬;普里蒂什·杰特利;Laxmikant V.卡莱。 相关软件: GAMS;ParaSCIP;卵石… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
显式PRISMSymm 引用于2份文件(2015年) 软件作者: 帕特尔,里马;凯文·帕特尔(Kevin Patel);蒂伦·帕特尔 相关软件: 棱镜 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
Kuai公司 引用于2份文件(2019–2021) 软件作者: Majumdar,R.,Tetali,S.D.,Wang,Z。 相关软件: 食蚁兽;VeriCon公司;VeriFlow… 主要字段: 计算机科学(68-XX)
PathMiner公司 引用于2份文件(2009年至2024年) 软件作者: D.C.McShan,S.Rao,I.Shah 相关软件: CPLEX公司 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
壁画 1份文件引用(2023) 软件作者: 李凯文;阿比舍克古普塔;阿什温·雷迪;Vitchyr Pong;周,奥里克;于,贾斯汀;谢尔盖·莱文 相关软件: InfoGAN;MuJoCo;亚当… 主要字段: 计算机科学(68-XX)
蓬普++ 1份文件引用(2023) 软件作者: 弗朗西斯科·朱利亚里;阿尔贝托·卡斯泰里尼;里卡多·贝拉;阿莱西奥·德尔(Alessio Del Bue);亚历山德罗·法利内利;马克·克里斯塔尼(Marco Cristani);弗朗西斯科·塞蒂;王一鸣 相关软件: AlphaZero;隔离森林;AI2… 主要字段: 计算机科学(68-XX)