教练总成 2份文件引用(2011–2017) 软件作者： F.J.Berlanga。；里维拉，A.J。；德尔·耶稣，M.J。；F.埃雷拉。 相关软件： KEEL；UCI-ml；FURIA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
野牛 8份文件引用(2007–2021) 软件作者： 自由软件基金会。；R.Corbett；斯特尔曼 相关软件： YACC；弯曲；GitHub… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
TRX公司 8份文件引用(2010–2020) 软件作者： 亚当·科普罗夫斯基（Adam Koprowski）；亨利·宾兹托克 相关软件： Coq；阿格达；HOL… 主要字段： 计算机科学（68-XX）
埃尔克洪德 7份文件引用(2004–2014) 软件作者： 斯科特·麦克皮克（Scott McPeak）；Necula，George C。 相关软件： BRNGLR；ATERM；eSkel… 主要字段： 计算机科学（68-XX）
语法Viz 4份文件引用(2018–2020) 软件作者： Senin，P。；林，J。；王，X。；奥茨，T。；甘地，S。；Boedihardjo，P.A。；陈，C。；弗兰肯斯坦，S。；勒纳，M。 相关软件： R；蟒蛇；tegdet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
TP结构 6篇文献引用(2016–2022) 软件作者： Huang，Fenix W.D。；克里斯蒂安·雷迪斯（Christian M.Reidys）。 相关软件： NNDB；ProbKnot；Pfold（折叠） 主要字段： 组合数学（05-XX）；一般拓扑（54-XX）；代数拓扑（55-XX）…
X乌干达 4份文件引用(2005–2018) 软件作者： 布拉布兰德，克劳斯；莫勒，安德斯；迈克尔·施瓦茨巴赫。 相关软件： 放松NG；biXid；dk.brics.automon… 主要字段： 计算机科学（68-XX）
丹瑟 1份文件引用(2023) 软件作者： 菲利佩·阿桑桑奥、努诺·卢伦索、佩努萨尔·马查多、伯纳黛特·里贝罗 相关软件： 时尚-MNIST；CIFAR；TensorFlow… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
gramEvol公司 1份文件引用(2021) 软件作者： Farzad Noorian、Anthony Mihirana de Silva 相关软件： R；GERET；Geva… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
MedScan公司 2份文件引用(2008–2017) 软件作者： Novichkova S、Egorov S、Daraselia N 相关软件： OpenDMAP；无折叠；卡纳… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
西格玛GTTM 1份文件引用(2016) 软件作者： Hamanaka，M.、Hirata，K.、Tojo，S。 相关软件： FATTA；音乐XML；MakeMusic… 主要字段： 总体主题；藏品（00-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）
牦牛牦牛 2份文件引用(2000–2009) 软件作者： 克拉伦德，尼尔斯；Niels Damgaard；迈克尔·施瓦茨巴赫。 相关软件： YACC；野牛；MONA公司 主要字段： 计算机科学（68-XX）