内克塔尔++ 引用于118篇文献(2004–2023) 软件作者: 詹姆斯·金(James King);谢尔盖·雅科夫列夫;傅志松;罗伯特·M·柯比。;斯宾塞·J·舍温。 相关软件: Gmsh;交易.ii;Nek5000… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
酒店钥匙卡 3份文件引用(2006–2018) 软件作者: 托比亚斯·尼普科 相关软件: HOL;尼特皮克;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
戈弗利泽 2份文件引用(2016) 软件作者: Kai Stadtmüller、Martin Sulzmann、Peter Thiemann 相关软件: 去;TyPiCal;GitHub… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
宾西姆 1份文件引用(2019) 软件作者: Ming,J.,Xu,D.,Jiang,Y.,Wu,D。 相关软件: 戴坦;DynOpVm;VOT4CS… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
PDG-GEN公司 1份文件引用(2014) 软件作者: 凯文·麦克唐纳;克里斯托弗·尼塔;马修·法伦斯(Matthew Farrens);文卡特斯·阿凯拉 相关软件: – 主要字段: 信息与通信理论,电路(94-XX)
SynchroVis(同步可视) 在0个文档中引用 软件作者: Waller J.、Wulf C.、Fittkau F.、Döhring P.、Hasselbring W。 相关软件: 基克;探索Viz 主要字段: –