APNN-工具箱 12份文件引用(1999–2022) 软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀 相关软件: 棱镜;政治公众人物协议;LDQBD… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
狂喜 7份文件引用(2005–2020) 软件作者: Jeannet B、dArgenio P、Larsen K 相关软件: 棱镜;参数;PROPhESY… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
阿拉伯联合酋长国 3份文件引用(2012–2016) 软件作者: Kyungmin Bae、Peterlveczky、JoséMeseguer 相关软件: 电子LOTOS;GRL;LNT2LOTOS… 主要字段: 计算机科学(68-XX)
G空间 3份文件引用(2015–2022) 软件作者: Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal 相关软件: CUDA;GKLEE;GPU验证… 主要字段: 数学逻辑与基础(03-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
SAMC公司 4份文件引用(2019–2020) 软件作者: Tanakorn Leesatapornwongsa、Mingzhe Hao、Pallavi Joshi、Jeffrey F.Lukman、Haryadi S.Gunawi 相关软件: MODIST;铁人舰队;数据匹配… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ERA-PAT公司 引用于2份文件(2014–2021) 软件作者: 林尚伟;刘,杨;孙军;董金松;埃蒂安·安德烈 相关软件: 拍打;ProB;PDDL… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
定时丽贝卡 3份文件引用(2016–2020) 软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。 相关软件: 丽贝卡;Uppaal;旋转… 主要字段: 计算机科学(68-XX)
MasterMovelts公司 1份文件引用(2020) 软件作者: 卡洛斯·安德烈斯·费雷罗;卢卡斯·梅(Lucas May Petry);阿尔瓦雷斯、路易斯·奥塔维奥;达席尔瓦,卡米拉·莱特;Willian Zalewski;瓦尼亚,波哥尔尼 相关软件: github 主要字段: 统计学(62-XX);计算机科学(68-XX)