CP逻辑 20篇文献引用(2009–2023) 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布吕诺格 相关软件： ProbLog；PITA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
木材 7份文件引用(2002–2020) 软件作者： 贾加迪什，H.V。；Al-Khalifa，Shurug；查普曼（Adriane Chapman）；Lakshmanan，Laks V.S。；安德鲁·尼尔曼；帕帕里佐斯（Paparizos）、斯特利奥斯（Stelios）；吉格内什·M·帕特尔。；Srivastava，Divesh；努威Wiwatwattana；吴玉清；余、丛 相关软件： XPath；XQuery；MS SQL Server… 主要字段： 计算机科学（68-XX）
黑豹 10篇文献引用(2010–2021) 软件作者： Mi H、Muruganujan A、Thomas PD 相关软件： PSI-爆炸；UniProt；KEGG… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
蒂布隆 15篇文献引用（2006年至2021年） 软件作者： 乔纳森·梅；奈特，凯文 相关软件： 宾夕法尼亚树银行；OpenFst；MONA… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
幼崽 15篇文献引用（2006年至2021年） 软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；费鲁奇奥·吉迪；Sacerdoti Coen，Claudio；恩里科·塔西；Stefano扎奇罗利 相关软件： 米扎尔；辅酶q；MML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
最小化麻袋 7份文件引用(2020–2021) 软件作者： 马雷克·菲舍尔 相关软件： 组织环境信息系统；Mathematica；apTreeshape… 主要字段： 组合数学（05-XX）；测量和集成（28-XX）；生物学和其他自然科学（92-XX）
TreeJuxtaposer树 4份文件引用(2009–2019) 软件作者： Munzner，T.、Guimbretière，F.、Tasiran，S.、Zhang，L.、Zhou，Y。 相关软件： 多氧；抖动；ELK… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
垄断 4份文件引用(2018–2023) 软件作者： 巴巴克·莫阿泽兹；侯赛因·索尔塔尼 相关软件： 网络X；CLP；港口… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
德普 引用于3份文件（2002年至2022年） 软件作者： Jiang，Y.、Balaban，M.、Zhu，Q.、Mirarab，S。 相关软件： ASTRAL-II；苹果；嗯… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
贾格诺 引用于3份文件(2015–2018) 软件作者： 乔纳森·海宁（Jonathan Heinen）；克里斯蒂娜·詹森（Christina Jansen）；Joost-Pieter Katoen；诺尔，托马斯 相关软件： HIP；见证人；MONA… 主要字段： 计算机科学（68-XX）
Phylon地理工具 引用于3份文件（2002年至2022年） 软件作者： 利宾，P.等人。 相关软件： 嗯，UFOTU；环境保护部；INSTRAL… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
FPTree（FPTree） 2份文件引用(2019–2022) 软件作者： 伊斯梅尔·奥基德；约翰·拉斯佩拉斯（Johan Lasperas）；Anisearga Nica；托马斯·威勒姆；沃尔夫冈雷纳 相关软件： 变形杆菌；ThyNVM公司；诺瓦… 主要字段： 计算机科学（68-XX）
林肯 2份文件引用(2017–2021) 软件作者： 艾娜·林·乔治斯（Aina Linn Georges）；阿加塔·穆拉夫斯卡；奥蒂斯、肖恩；碧姬·品特卡 相关软件： GitHub；阿格达；丁香… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
X汇率 2份文件引用(2011–2020) 软件作者： Peter S Klosterman、Andrew V Uzilov、Yuri R Bendaña、Robert K Bradley、Sharon Chao、Carolin Kosiol、Nick Goldman、Ian Holmes 相关软件： 外部斜坡；TTA Lynx；大坝7… 主要字段： 概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）
生物晶格 1份文件引用(2016) 软件作者： Kim，J。；Chung，H.-J。；荣格，Y。；Kim，K.-K。；金·J·H·。 相关软件： GSEA-P公司 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
代码数据类型 1份文件引用(2015) 软件作者： 德米特里·特拉泰尔 相关软件： NetKAT；MONA；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FunTree（趣味树） 1份文件引用(2017) 软件作者： Furnham N等人 相关软件： RDP2；PhyloBayes 3；分区查找器… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
高尔夫球2.0 1份文件引用(2018) 软件作者： Cattaneo，A。；Blaizot，J。；德弗里恩特，J.E.G。 相关软件： – 主要字段： 总体主题；藏品（00-XX）；相对论和引力理论（83-XX）
利瓦塔 1份文件引用(2019) 软件作者： Ondrej Lengal；吉里·西马切克；托马斯·沃伊纳；马丁·赫鲁斯卡；卢卡斯·霍利克 相关软件： 餐前小吃；反链；LTL2BA… 主要字段： 计算机科学（68-XX）
NJMerge公司 1份文件引用(2019) 软件作者： Molloy，E.K.，Warnow，T。 相关软件： 三重MaxCut；胃；ProCAR… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）