CMC公司 31份文件引用(2000–2020) 软件作者: 弗朗索瓦·拉鲁西尼;金·拉森 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
隔间 23篇文献引用(2013年-2023年) 软件作者: Conchon S.、Goel A.、KrstićS.、Mebsout A.、Zaidi F。 相关软件: Mcmt;z3;常春藤… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
ARMCI公司 引用于9份文件(2000年-2010年) 软件作者: J.Nieplocha、V.Tipparaju、M.Krishnan、D.Panda 相关软件: CoArray;NAS平行基准;MPI… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
圣杯 10篇文献引用(2012–2022) 软件作者: K.Rustan M.Leino;彼得·米勒;简·斯曼斯 相关软件: VeriFast;布吉;毒蛇… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ompFEAP公司 5份文件引用(2015–2023) 软件作者: Jarzebski,P。;Wisniewski,K。;泰勒,R.L。 相关软件: FEAP;AceFEM;纳斯特兰… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);经典热力学,传热(80-XX)
CoBoxes公司 1份文件引用(2017) 软件作者: Jan Schäfer,阿诺德·波茨希·赫夫特 相关软件: ArchJava;JavAdaptor;JCobox… 主要字段: 计算机科学(68-XX)
碘 1份文件引用(2010) 软件作者: Sudheendra Hangal、Naveen Chandra、Sridhar Narayanan、Sandeep Chakravorty 相关软件: Daikon;方面C++;佐尔塔… 主要字段: 计算机科学(68-XX)