阿勒夫 59篇文献引用(2004–2023) 软件作者： 斯里尼瓦桑，A 相关软件： ProbLog；GitHub；Metagol… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
GOLEM公司 39篇文献引用(1991–2023) 软件作者： S.Muggleton；C.冯 相关软件： 箔；阿列夫；探测日志… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
MediaBench公司 16篇文献引用(2001–2016) 软件作者： Lee，C.，Potkonjak，M.，Mangione-Smith，W.H。 相关软件： MiBench公司；简单标尺；瓦茨… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
FORS公司 15篇文献引用(1997–2023) 软件作者： 卡拉利奇，阿拉姆；伊万·布拉特科 相关软件： UCI-ml；阿列夫；C4.5… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
梅塔戈里 15篇文献引用(2015–2023) 软件作者： Cropper，A。；圣马力诺州马格尔顿 相关软件： GitHub；阿列夫；Metaopt… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
顶部日志 8份文件引用(2008–2021) 软件作者： 史蒂芬·H·马格尔顿（Stephen H.Muggleton）。；乔斯·卡洛斯·阿尔梅达·桑托斯；塔马多尼·内扎德（Alireza Tamaddoni-Nezhad） 相关软件： 阿列夫；太阳能；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
Metaopt公司 9份文件引用(2019–2022) 软件作者： 安德鲁·克洛珀（Andrew Cropper）；史蒂芬·H·马格尔顿。 相关软件： 梅塔戈里；GitHub；傀儡… 主要字段： 计算机科学（68-XX）
混合ILP衬里 7份文件引用（2018年至2021年） 软件作者： van Zelst，S.J。；van Dongen，B.F。；van der Aalst，W.M.P。；H.M.W.韦贝克。 相关软件： 红矿工；XESame；RapidProM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
DISNEL公司 5份文件引用(1991–2000) 软件作者： 米哈列维奇，V.S。；Sergienko，I.V。；新泽西州绍尔。；特鲁宾，V.A。；Artemenko，V.I。；Roshchin，V.A。；新几内亚卓本科。；Kozeratskaya，法律公告。；Lebedeva，T.T。；G.A.Potapchuk公司。 相关软件： 规划师；排放；Turbo Pascal… 主要字段： 历史与传记（01-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ProGolem公司 3份文件引用(2010–2017) 软件作者： 斯蒂芬·马格尔顿（Stephen Muggleton）；何塞·桑托斯；塔马多尼·内扎德（Alireza Tamaddoni-Nezhad） 相关软件： GOLEM公司；阿列夫；SeqLog… 主要字段： 计算机科学（68-XX）
FOIL-D公司 3份文件引用(2004–2007) 软件作者： 约瑟夫·博克霍斯特（Joseph Bockhorst）；艾琳·昂 相关软件： 多年发展目标；阿列夫；CrossMine公司 主要字段： 计算机科学（68-XX）
路易丝 3份文件引用(2021–2022) 软件作者： 南卡罗来纳州Patsantzis、南卡罗来纳州Muggleton。 相关软件： 梅塔戈里；GitHub；傀儡… 主要字段： 计算机科学（68-XX）
speedy_colorful_subtrees（速度_颜色_子树） 3份文件引用(2015–2021) 软件作者： 怀特（W.Timothy J.White）。；斯蒂芬·拜尔（Stephan Beyer）；杜尔科普，Kai；马库斯·奇马尼；塞巴斯蒂安·博克 相关软件： 古罗比；GitHub；MolFind… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
算法966 2份文件引用(2016–2018) 软件作者： 戴维·托佐尼。；雷泽德（Rezende），佩德罗·德·（Pedro J.De）；Cid C.De Souza公司 相关软件： libMC；GAMS；NewtonLib… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Fixcon公司 2份文件引用(2020–2021) 软件作者： 科穆塞维茨（Christian Komusewicz）；弗兰克·索默 相关软件： 卡沃什；FANMOD公司；科内克特 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
莫帕尔 1份文件引用(2019) 软件作者： 帕克，H.，纳赫勒，L。 相关软件： 气体；ProCAR；角度… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
SNV-PPILP公司 2份文件引用(2017) 软件作者： Rens，K.E.V。；梅基宁，V。；托梅斯库，A.I。 相关软件： rec-BTP；PyClone；SPRUCE… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
Warmr公司 2份文件引用(2005–2012) 软件作者： R.D.King、A.Srinivasan、L.Dehaspe 相关软件： CrossMine；TreeWiz；CloseGraph… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
BET公司 在0个文档中引用 软件作者： 斯里哈里·卡尔吉；戈萨尔、希拉格；Gawde，Prasad；加内什·罗摩克里希南；凯金·加达；伊耶，尚德；基兰，T.V.S；阿什温·斯里尼瓦桑 相关软件： 阿列夫；YAP-Prolog；威卡… 主要字段： –
CNT-ILP公司 1份文件引用(2016) 软件作者： El-Kebir、Mohammed、Benjamin J.Raphael、Ron Shamir、Roded Sharan、Simone Zaccaria、Meirav Zehavi、Ron Zeira 相关软件： 比特系统发育 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MFD-ILP公司 1份文件引用(2022) 软件作者： 费尔南多·H·C·迪亚斯。；露西娅·威廉姆斯；布伦丹·穆米；亚历山大·托梅斯库一世。 相关软件： HISAT；鲑鱼；古罗比… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）