国际货币数据库 28篇文献引用(2015–2023) 软件作者: Andrew L.Maas、Raymond E.Daly、Peter T.Pham、Dan Huang、Andrew Y.Ng、Christopher Potts 相关软件: 全球;单词2vec;BERT… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
二叉树 24篇文献引用(2010年-2023年) 软件作者: 埃里克·罗兰。 相关软件: 组织环境信息系统;GJsqfree;GJSAW… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);数论(11-XX)…
Z3str2型 8份文件引用(2017–2023) 软件作者: 郑云辉;维杰·加内什;萨努语Subramanian;特里普,奥马尔;墨菲·贝尔齐什;朱利安·杜比(Julian Dolby);张湘玉 相关软件: 陌生人;汉普;诺恩… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
二进制代码增强 2份文件引用(2022–2023) 软件作者: Holub,ŠtŞpán;拉什卡,马丁;什蒂·潘·斯塔罗斯塔 相关软件: 组合词;存档正式证据;Isabelle/HOL… 主要字段: 计算机科学(68-XX)