SageMath公司 2596份文件引用(2002–2024) 软件作者： 贤明的开发商；威廉·斯坦因；大卫·乔伊纳；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；GitHub… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
莫扎特 15篇文献引用(1999–2018) 软件作者： 彼得·范罗伊；塞夫·哈里迪 相关软件： 奥兹；CPLEX；芯片… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
N3逻辑 7份文件引用(2008–2017) 软件作者： 蒂姆·伯纳斯-李（Tim Berners-Lee）；Dan Connolly；拉拉纳·卡加尔；尤西·沙夫；吉姆·亨德勒 相关软件： 平滑；MWeb；SPARQL… 主要字段： 计算机科学（68-XX）
开放ORB 3份文件引用(2001–2008) 软件作者： 布莱尔，戈登·S。；库尔森，杰夫；迈克尔·克拉克；尼科斯·帕拉文扎斯 相关软件： ABLE；JBoss；方面J 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
OSeMOSYS公司 2份文件引用(2020–2021) 软件作者： Howells M.、Rogner H.、Strachan N.、Heaps C.、Huntington H.、Kypreos S.、Hughes A.、Silveira S.、DeCarolis J.、Bazillian M.等人。 相关软件： 皮普萨；马卡尔；Calliope… 主要字段： 运筹学，数学编程（90-XX）
PROLEG公司 4份文件引用(2012–2021) 软件作者： 佐藤（Satoh，K.）、朝井（Asai，K。 相关软件： SCIFF；Potassco；天基信息平台 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MSS公司 3份文件引用(2008–2013) 软件作者： Perez，T.、Smogeli，N.、Fossen，T.I.、Sorensen，A.J。 相关软件： Simulink；Matlab公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
开放式COR 3份文件引用(2020–2021) 软件作者： 阿兰·加里；彼得·亨特 相关软件： 数学建模语言；MATCONT；CESE… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
大神经元 1份文件引用(2020) 软件作者： 彭，H。；Hawrylycz，M。；罗斯卡姆斯，J。；希尔，S。；北卡罗来纳州斯普鲁斯顿。；梅杰林，E。 相关软件： 优化；bvls；nnls… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
六角机器人 2份文件引用(2012–2020) 软件作者： 侯赛因·萨贾迪；奥米德·莫哈雷里；Al-Jarrah，Mohammad Amin；哈立德·阿萨勒 相关软件： 摩尔立方体；超级机器人 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
TuSoW公司 1份文件引用(2021) 软件作者： Ciatto G.、Rizzato L.、Omicini A.、Mariani S。 相关软件： SWI-预测；重新规范；TuCSoN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ACCIO公司 1份文件引用(2021) 软件作者： Primault，V。；Maouche，M。；Boutet，A。；Mokhtar，S.B。；Bouchenak，S。；L·布鲁尼 相关软件： github；sdcMicro；ARX… 主要字段： 计算机科学（68-XX）
WrapDroid（包裹机器人） 在0个文档中引用 软件作者： 王雪强；王岳武；刘利民；雷凌光；Jing、Jiwu 相关软件： – 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）