LinearWang公司 1份文件引用(2019) 软件作者： 亚历山大·德鲁埃特·乔丹；石佐卡吉；吉弘美口 相关软件： github；Coq公司 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）
河豚2 1份文件引用(2023) 软件作者： 范，杰森；Khan，Jamshed公司；皮比里，朱利奥·埃尔曼诺；罗伯·帕特罗 相关软件： HISAT；vg；r-指数… 主要字段： 生物学和其他自然科学（92-XX）