埃尔朗 112份文件引用(1993–2023) 软件作者: erlang.org网站 相关软件: 哈斯克尔;JCobox;快速检查… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
考德 22篇文献引用(2018–2023) 软件作者: Lanese,I.、Nishida,N.、Palacios,A.、Vidal,G。 相关软件: 埃尔朗;铲刀;veriSoft… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
电动汽车 6篇文献引用(2001–2021) 软件作者: 拉尔斯-奥克·弗雷德隆德;迪利安·古罗夫;托马斯·诺尔;Mads大坝;托马斯艺术;根纳迪·楚格诺夫 相关软件: 埃尔朗;伊莎贝尔;密码… 主要字段: 计算机科学(68-XX)
基利姆 6篇文献引用(2010年至2020年) 软件作者: Srinivasan,S.,Mycroft,A。 相关软件: JCobox;防抱死制动系统;Erlang… 主要字段: 计算机科学(68-XX)
超级明星 5份文件引用(2012–2021) 软件作者: Philipp Reinecke、Tilman Krau、Katinka Wolter 相关软件: 丁基橡胶;J相;PhFit… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);统计学(62-XX)…
快速规范 5份文件引用(2014–2019) 软件作者: Claessen,K.、Smallbone,N.、Hughes,J。 相关软件: 快速检查;赶时髦的人;HipSpec… 主要字段: 计算机科学(68-XX)
Kpc机顶盒 5份文件引用(2012–2020) 软件作者: 卡萨利,G。;张艺珍。;史密尼,E。 相关软件: PhFit;R;EMpht… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
JCCOptim公司 5份文件引用(2010–2022) 软件作者: 怀恩·陈、皮埃尔·勒库耶 相关软件: 联系人中心;mixfdr;RngStreams… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学、数学规划(90-XX)
卡特尔 3份文件引用(2018–2023) 软件作者: A.Giantsios、N.Papaspyrou、K.Sagonas 相关软件: 切割机;12月6日;厄利伯里… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
HiPE公司 2份文件引用(2002–2003) 软件作者: E.Johansson、M.Pettersson、K.Sagonas 相关软件: 埃尔朗;SICStus公司;清洁 主要字段: 计算机科学(68-XX)
SecEr公司 1份文件引用(2018) 软件作者: David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit 相关软件: 风吹;PropEr;CutEr… 主要字段: 计算机科学(68-XX)
VoDKA公司 2份文件引用(2005–2009) 软件作者: Victor M.Gulias。;米格尔·巴雷罗;何塞·弗雷尔(Jose L.Freire)。 相关软件: OCaml;凸轮;PoSSo… 主要字段: 交换代数(13-XX);计算机科学(68-XX)
阿尔朗 在0个文档中引用 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);Duong,Tan;奥马尔·因弗索(Omar Inverso);卡蒂亚·特鲁比亚尼 相关软件: —— 主要字段: ——