AGG公司 71篇文献引用（1994年-2023年） 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
高阶逻辑 47篇文献引用(1993–2021) 软件作者： 陈卫东；迈克尔·基弗；大卫·S·沃伦 相关软件： Hiord；swrl；XSB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
A至M3 18篇文献引用(2002–2021) 软件作者： 胡安·德·拉腊（Juan de Lara）；汉斯·旺格鲁 相关软件： AGG；VIATRA2；进度… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： 辅酶q；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
PLT兑换 25篇文献引用(2009–2022) 软件作者： 费莱森，马提亚斯；布鲁斯·芬德勒；马修·弗拉特 相关软件： 辅酶q；K校准仪；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
JFLAP公司 14篇文献引用（2002年-2023年） 软件作者： Rodger S、Finley T 相关软件： 自旋蛋白；GeoWin；FAUST… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
蒂布隆 15篇文献引用（2006年至2021年） 软件作者： 乔纳森·梅；奈特，凯文 相关软件： 宾夕法尼亚树银行；OpenFst；MONA… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
tRNA扫描-SE 13份文件引用(1998–2016) 软件作者： Lowe T.M.、Eddy S.R 相关软件： 多重折叠；Pfold；DINAMelt… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
HYPROLOG公司 15篇文献引用(2005–2022) 软件作者： 克里斯蒂安森（Christiansen），亨宁（Henning）；维罗妮卡·达尔 相关软件： 平滑；SCIFF；棱镜… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
GAG公司 12份文件引用(1982–2013) 软件作者： 乌韦·卡斯滕斯；布丽姬·赫特；埃里希·齐默尔曼 相关软件： ALGOL 60；ALGOL 68；模块… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Pfold（折叠） 10篇文献引用(2004–2017) 软件作者： Knudsen，B。；J.J.海因。 相关软件： 多重折叠；UNAFold；tRNA扫描SE… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
语法矩阵 2份文件引用(2006–2019) 软件作者： Bender E.、Flickinger D.、Oepen S。 相关软件： LKB；Prolog；GF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
野牛 8份文件引用(2007–2021) 软件作者： 自由软件基金会。；R.Corbett；斯特尔曼 相关软件： YACC；弯曲；GitHub… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
控制折叠 7份文件引用(2008–2022) 软件作者： Do CB、Woods DA、Batzoglou S 相关软件： 法国复兴信贷银行；多重折叠；维也纳RNA… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TRX公司 8份文件引用(2010–2020) 软件作者： 亚当·科普罗夫斯基（Adam Koprowski）；亨利·宾兹托克 相关软件： 辅酶q；阿格达；HOL… 主要字段： 计算机科学（68-XX）
自动写入 8份文件引用(2002–2014) 软件作者： 艾琳·杜兰德 相关软件： MONA；数据日志；Treewidthlib… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
埃尔克洪德 7份文件引用(2004–2014) 软件作者： 斯科特·麦克皮克（Scott McPeak）；Necula，George C。 相关软件： BRNGLR；ATERM；eSkel… 主要字段： 计算机科学（68-XX）
LogiMOO公司 8份文件引用(1997–2012) 软件作者： 保罗·塔劳（Paul Tarau）；De Bosschere，科恩；Veronica Dahl；斯蒂芬·罗什福特 相关软件： 奥兹；SICStus公司；序言… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GenRGenS公司 6篇文献引用(2008–2013) 软件作者： 扬·蓬蒂；米歇尔·特米尔；阿兰·丹尼斯 相关软件： gfun；多重折叠；基因组… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
INTEX公司 6篇文献引用(2000–2006) 软件作者： 马克斯·西尔伯兹坦 相关软件： FASTUS公司；ANELL公司 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
简洁 5份文件引用（2004年-2010年） 软件作者： 尼尔森，弗莱明；尼尔森、汉内·里斯；孙红燕；米凯尔·巴赫霍尔茨（Mikael Buchholtz）；Hansen、Rene Rydhof；亨利克·皮利加德（Henrik Pilegaard）；赫尔穆特·塞德尔 相关软件： 琳达；科莱姆；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CCG银行 4份文件引用（2007-2012） 软件作者： Julia Hockenmaier；马克·斯蒂德曼 相关软件： 宾夕法尼亚树银行；PDDL；格林戈… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
LALBLC公司 4份文件引用(2013–2017) 软件作者： 帕特里克·亨利；塞尼泽格斯，热罗 相关软件： 快速；塔马林；Akiss… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TWOLC公司 3份文件引用(2001–2009) 软件作者： Lauri Karttunen、Kenneth R.Beesley 相关软件： OpenFst；SFST；Vaucanson… 主要字段： 计算机科学（68-XX）
APSEE公司 3份文件引用(2002–2010) 软件作者： 卡拉·A·利马·里斯。；罗德里戈，基特斯·里斯；马塞洛·M·德·阿布鲁（Marcelo M.de Abreu）。；赫里贝特·施勒贝（Heribert Schlebbe）；Nunes，Daltro J。 相关软件： – 主要字段： 计算机科学（68-XX）
克利普卢斯 3份文件引用(2005–2022) 软件作者： 拉法尔·阿布拉莫维奇（Rafal Ablamowicz）；贝尔特弗里德·福泽 相关软件： 克利福德；比盖布拉；SymGroupAlgebra… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
贾格诺 3份文件引用(2015–2018) 软件作者： 乔纳森·海宁（Jonathan Heinen）；克里斯蒂娜·詹森（Christina Jansen）；Joost-Pieter Katoen；诺尔，托马斯 相关软件： HIP；见证人；MONA… 主要字段： 计算机科学（68-XX）
PHORA公司 3份文件引用(2001–2002) 软件作者： Manuel Palomar；塞兹·诺埃达（Saiz-Noeda），马克西米利亚诺（Maximiliano）；穆尼奥斯，拉斐尔；苏亚雷斯，阿曼多；帕特里西奥·马丁内斯·巴科 相关软件： WordNet（文字网） 主要字段： 计算机科学（68-XX）
总结 1份文件引用(2017) 软件作者： E.霍维·C·Y·林 相关软件： WordNet；开放式NMT；GluonNLP… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
JSLIM公司 2份文件引用(2009) 软件作者： 约翰内斯·汉德尔（Johannes Handl）；贝西姆·卡巴希；托马斯·普罗伊斯（Thomas Proisl）；卡斯滕·韦伯 相关软件： – 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
OpenGrm公司 2份文件引用(2021) 软件作者： Roark，B.、Sproat，R.、Allauzen，C.、Riley，M.、Sorensen，J.、Tai，T。 相关软件： AlexNet；ImageNet；DeCAF… 主要字段： 统计学（62-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）
xREI公司 1份文件引用(2020) 软件作者： 伊恩·霍姆斯（Ian Holmes），拉尔斯·巴奎斯特（Lars Barquist） 相关软件： 外部斜坡；TTA Lynx；大坝7… 主要字段： 生物学和其他自然科学（92-XX）
牦牛牦牛 2份文件引用（2000年至2009年） 软件作者： 克拉伦德，尼尔斯；Niels Damgaard；迈克尔·施瓦茨巴赫。 相关软件： YACC；野牛；MONA公司 主要字段： 计算机科学（68-XX）
见证人 1份文件引用(2018) 软件作者： 汉娜·阿恩特；克里斯蒂娜·詹森（Christina Jansen）；克里斯托夫·马提亚（Christoph Matheja）；诺尔，托马斯 相关软件： 贾格诺 主要字段： 计算机科学（68-XX）
独眼巨人 1份文件引用(2022) 软件作者： 卡利塔、潘卡杰·库马尔；Singal，德鲁夫；帕拉克阿加瓦尔；萨科特Jhunjhunwala；罗伊，苏巴吉特 相关软件： 安吉利克斯；普鲁托；MACER… 主要字段： 计算机科学（68-XX）
莱尔歇 在0个文档中引用 软件作者： 詹姆斯·海丝特（James R.Hester）；埃雷斯·希南 相关软件： 蟒蛇；CrystalInfoFramework.jl；DrelTools… 主要字段： –
口袋狮身人面像 在0个文档中引用 软件作者： D.Huggins-Daines、M.Kumar、A.Chan、A.W.Black、M.Ravishankar、A.I.Rudnicky 相关软件： 费尔赛克；灵沃；浓缩咖啡… 主要字段： –
x.ent公司 在0个文档中引用 软件作者： 尼古拉斯·图伦（Nicolas Turenne）、田·T·潘（Tien T.Phan）、约翰·雷西格（John Resig）、杰伦·奥姆斯（Jeroen Ooms） 相关软件： – 主要字段： –