马拉雷亚 56篇文献引用(2007–2023) 软件作者： 约瑟夫·乌尔班 相关软件： E定理证明器；吸血鬼；Mizar… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
GNMT公司 38篇文献引用(2018–2024) 软件作者： 吴永辉、迈克·舒斯特、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁曹、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤吉事、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯，杰森·里萨（Jason Riesa）、亚历克斯·鲁德尼克（Alex Rudnick 相关软件： ImageNet；AlexNet公司；亚当… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；计算机科学（68-XX）…
HOLyHammer公司 31份文件引用(2014–2022) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： HOL灯；吸血鬼；E定理证明… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
MizarMode（米扎尔模式） 18篇文献引用(2006–2019) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
深度数学 16篇文献引用(2017–2023) 软件作者： Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban 相关软件： E定理证明器；米扎尔；谜… 主要字段： 数理逻辑与基础（03-XX）；代数几何（14-XX）；计算机科学（68-XX）
TPOT公司 10篇文献引用(2018–2023) 软件作者： Randal S.Olson、Jason H.Moore 相关软件： 自动学习；Auto-WEKA；Scikit… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
BliStrTune 14篇文献引用(2017–2023) 软件作者： Josef Urban的Jan Jakubuv 相关软件： E定理证明器；吸血鬼；BliStr… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；几何（51-XX）…
汽车Keras 5份文件引用(2021–2022) 软件作者： 金海峰、宋清泉、夏虎 相关软件： 自动学习；Auto-WEKA；Python… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；量子理论（81-XX）…
HOList公司 10篇文献引用(2020–2023) 软件作者： 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件： 谜；E定理证明器；FEMaLeCoP… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
战术脚趾 10篇文献引用(2017–2021) 软件作者： Gauthier，T.、Kaliszyk，C.、Urban，J。 相关软件： E定理证明器；谜；MaLeCoP… 主要字段： 计算机科学（68-XX）
光谱CAT 8份文件引用（2012年至2020年） 软件作者： Gil David，Amir Averbuch先生 相关软件： UCI-ml；汽车类；clusfind… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
双簧管 7份文件引用（2019年-2023年） 软件作者： 杨成润、秋本裕二、金大元、尤德尔 相关软件： 双曲线；自动学习；SMAC… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
SMAC3系列 7份文件引用(2022–2024) 软件作者： 马吕斯·林道尔；凯萨琳娜·艾根斯佩格；费雷尔，马提亚斯；安德烈·比登卡普；邓迪凡；本杰明，卡罗琳；蒂姆·鲁科普夫（Tim Ruhkopf）；勒内·萨斯；弗兰克·哈特 相关软件： 亚当；SMAC；帕拉米尔斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
通用包装器4AC 6篇文献引用（2019年至2024年） 软件作者： 凯萨琳娜·艾根斯佩格；马吕斯·林道尔；弗兰克·哈特 相关软件： irace；帕拉米尔斯；EGO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
ML计划 5份文件引用(2018–2023) 软件作者： 费利克斯·摩尔（Felix Mohr）；马塞尔·韦弗（Marcel Wever）；埃克·Hüllermier 相关软件： Auto-WEKA；TPOT；自动扫描… 主要字段： 计算机科学（68-XX）
DOMpro公司 引用于3份文件(2011–2020) 软件作者： J.L.Cheng、M.J.Sweredoski、P.Baldi 相关软件： UProC；LIBSVM；Scikit… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；生物学和其他自然科学（92-XX）
PCP公司 引用于3份文件(2013–2022) 软件作者： 卢博米尔·布图罗维奇 相关软件： 字符串；戴维；HykGene… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）…
TensorFuzz公司 2份文件引用(2020–2021) 软件作者： 奥古斯塔斯·奥德纳（Augustus Odena）、伊恩·古德费罗（Ian Goodfellow） 相关软件： DeepXlore；深度规；DLFuzz… 主要字段： 计算机科学（68-XX）
TODS公司 1份文件引用(2023) 软件作者： Kwei Herng Lai、Daochen Zha、Guanchu Wang、Junjie Xu、Yue Zhao、Devesh Kumar、Yile Chen、Purav Zumkhawaka、Minyang Wan、Diego Martinez、Xia Hu 相关软件： PyOD；蟒蛇；LSCP… 主要字段： 计算机科学（68-XX）
WESAD公司 2份文件引用(2020–2021) 软件作者： Schmidt，P.，Reiss，A.，Duerichen，R.，Marberger，C.，Van Laerhoven，K 相关软件： 布伦特；LBFGS-B；tn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
AffectNet公司 引用于3份文件（2019年-2023年） 软件作者： Ali Mollahosseini、Behzad Hasani、Mohammad H.Mahoor 相关软件： BranchyNet；FaceNet；数据交换… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
自动装袋 2份文件引用(2020–2023) 软件作者： Pinto，F.、Cerqueira，V.、Soares，C.、Mendes-Moreira，J.、。 相关软件： R；AutoGluon-Tabular；TPOT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
自动排名 2份文件引用(2023–2024) 软件作者： 斯特芬·赫伯德 相关软件： 蟒蛇；SciPy；GitHub… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
福尼实验室 2份文件引用(2020–2022) 软件作者： 马克·考克斯（Marco Cox）；范德拉尔（Thijs van de Laar）；贝尔·德·弗里斯 相关软件： PRMLT；PyTorch；朱莉娅… 主要字段： 计算机科学（68-XX）
GAMA公司 引用于3份文件(2021–2023) 软件作者： 彼得·吉斯贝尔斯（Pieter Gijsbers）、华金·范肖伦（Joaquin Vanschoren） 相关软件： Auto-WEKA；自动学习；TPOT… 主要字段： 计算机科学（68-XX）
GemIdent公司 2份文件引用(2012) 软件作者： 霍姆斯，S。；Kapelner，A；李，P。 相关软件： R；Matlab；图像J… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
麦克弗利 1份文件引用(2021) 软件作者： D.van Kuppevelt、C.Meijer、F.Huber、A.van der Ploeg、S.Georgievska、V.T.van Hees 相关软件： sktime；蟒蛇；朱庇特… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
NetGO公司 引用于3份文件(2022–2023) 软件作者： 你，R。；姚，S。；熊，Y。；黄，X。；Sun，F。；Mamitsuka，H。 相关软件： DeepGO；协同因子；字符串… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
AutoNE（自动NE） 1份文件引用(2020) 软件作者： Tu、Ke；马建新；崔鹏；裴健；朱文武 相关软件： AutoKeras；LightGBM；PyTorch-BigGraph… 主要字段： 计算机科学（68-XX）
自动调谐 2份文件引用(2021) 软件作者： Patrick Koch、Oleg Golovidov、Steven Gardner、Brett Wujek、Joshua Griffin、Yan Xu 相关软件： SMAC；青蒿；自动扫描… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
图形变量 在0个文档中引用 软件作者： Lea Waller；阿纳斯塔西娅·布罗夫金；Lena Dorfschmidt；Danilo Bzdok；亨利克·沃尔特；约翰·丹尼尔·克鲁斯威茨 相关软件： BrainNet查看器；eConnectome；Matlab… 主要字段： ——
国际GHBP 2份文件引用(2023–2024) 软件作者： 巴西思，S。；马纳瓦兰，B。；Shin，T.H。；李·G·。 相关软件： TriNet；氨苄；AMP-EF… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
灯塔 1份文件引用(2016) 软件作者： B.Norris、S.-L.Bernstein、R.Nair、E.Jessup 相关软件： 优化软件的决策树；Django；LAPACK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
PyMT5型 在0个文档中引用 软件作者： Colin B.Clement、Dawn Drain、Jonathan Timcheck、Alexey Svyatkovskiy、Neel Sundaresan 相关软件： CodeSearchNet；BERT；代码BERT… 主要字段： ——
夏洛克 2份文件引用(2023) 软件作者： Madelon Hulsebos、Kevin Hu、Michiel Bakker、Emanuel Zgraggen、Arvind Satyanarayan、Tim Kraska、圣迭戈Demiralp、塞萨尔·伊达尔戈 相关软件： github；Scikit；GPT-3… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
电视监控 1份文件引用(2021) 软件作者： 陈田琪（Tianqi Chen）、蒂埃里·莫罗（Thierry Moreau）、姜子亨（Ziheng Jiang）、郑连敏（Lianmin Zheng）、颜爱迪（Eddie Yan）、梅根·考恩（Meghan Cowan 相关软件： 异丙基氯；POMDPs.jl；Python… 主要字段： 计算机科学（68-XX）
AlphaClean公司 1份文件引用(2021) 软件作者： 桑杰·克里希南（Sanjay Krishnan）、尤金·吴（Eugene Wu） 相关软件： AlexNet公司；OpenML-CC18；AlphaD3M… 主要字段： 计算机科学（68-XX）
AMLBID公司 在0个文档中引用 软件作者： Moncef Garouani、Adeel Ahmad、Mourad Bouneffa、Mohamed Hamlich 相关软件： AlphaD3M；Apache Spark；Matlab… 主要字段： ——
自动GL 在0个文档中引用 软件作者： 关朝宇、张紫薇、李浩阳、张恒昌、张泽阳、秦一剑、姜继燕、王欣、朱文武 相关软件： AutoKeras；LightGBM；PyTorch-BigGraph… 主要字段： ——
自身预后 在0个文档中引用 软件作者： 弗格斯·伊姆里（Fergus Imrie）、博格丹·塞贝雷（Bogdan Cebere）、伊万·F·麦金尼（Eoin F.McKinney）、米哈拉·范德沙尔（Mihaela van der Schaar） 相关软件： FIDDLE公司；自动学习；XGBoost… 主要字段： ——
DREAM工具 1份文件引用(2017) 软件作者： 科克莱尔，T。；班萨尔，M。；裸体，C。；比拉尔，E。；博特，B。；Chaibub Neto，E。；爱德华蒂，F。；de la Fuente，A。；Gönen，M。；南希尔。 相关软件： GeneNetWeaver；hiPathDB；PREMER… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
DriveML（驱动ML） 在0个文档中引用 软件作者： Sayan Putatunda、Dayananda Ubrangala、Kiran Rama、Ravi Kondapalli 相关软件： SmartML；护林员；rpart… 主要字段： ——
探索工具包 1份文件引用(2021) 软件作者： Katz，G.、Shin，E.C.R.、Song，D。 相关软件： AlexNet公司；OpenML-CC18；AlphaD3M… 主要字段： 计算机科学（68-XX）
步态ForeMer 在0个文档中引用 软件作者： Mark Endo、Kathleen L.Poston、Edith V.Sullivan、Li Fei-Fei、Kilian M.Pohl、Ehsan Adeli 相关软件： NTU RGB+D；波特；BERT… 主要字段： ——
戈尔巴勒 1份文件引用(2022) 软件作者： 你，R。；张，Z。；熊，Y。；Sun，F。；Mamitsuka，H。；朱，S。 相关软件： 反应组；Tensor2传感器；协同因子… 主要字段： 生物学和其他自然科学（92-XX）
HEBO公司 1份文件引用(2022) 软件作者： 亚历山大一世，科恩·里弗斯。；吕文龙；拉苏尔·图图诺夫；王志；安托万·格罗斯尼特；瑞安·里斯（Ryan Rhys）·格里菲斯（Griffiths）；亚历山大·马克斯·马拉瓦尔（Alexandre Max Maraval）；郝建业；王军；彼得斯，简；海塔姆·布阿马尔 相关软件： Scikit；SMAC；pymoo… 主要字段： 计算机科学（68-XX）
iNuc-ext-PseTNC 1份文件引用(2019) 软件作者： 塔希尔，M。；海亚特，M。；S.A.汗。 相关软件： iHyd-PseCp；iCar-PseCp；pSumo-CD… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
iTTCA混合型 1份文件引用(2021) 软件作者： Phasit Charoenkwan；等。 相关软件： 生物序列分析；iMRM；i4mC鼠标… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
卡提布 在0个文档中引用 软件作者： 乔努·乔治；策高；理查德·刘；刘侯刚；元唐；拉姆多特·皮迪帕蒂；阿米特·库马尔·萨哈 相关软件： KFServing；艺术；TensorFlow… 主要字段： ——
芒果 在0个文档中引用 软件作者： Sandeep Singh Sandha、Mohit Aggarwal、Igor Fedorov、Mani Srivastava 相关软件： 自动学习；Hyperopt；XGBoost… 主要字段： ——
MAPPOS公司 1份文件引用(2020) 软件作者： Norousi R、Wickles S、Leidig C、Becker T、Schmid V J、Beckmann R、Tresch A 相关软件： crYOLO；运动Cor2；Leginon… 主要字段： 生物学和其他自然科学（92-XX）
MeerCRAB公司 在0个文档中引用 软件作者： 扎菲拉·霍森尼、史蒂文·布洛曼、保罗·格罗特、罗伯特·里昂、巴特·舍尔斯、本杰明·斯塔珀斯、菲奥伦佐·斯托帕、保罗·弗雷斯维克、西蒙·德韦特、马克·克莱恩·沃尔特、埃尔马尔·科林丁、凡妮莎·麦克布莱德、鲁道夫·勒·普尔、克里·帕特森、丹尼尔·彼得斯、帕特里克·沃特 相关软件： 深井；E萃取剂；FRBID… 主要字段： ——
MIDI2vec公司 在0个文档中引用 软件作者： Lisena P.、Meroño-Peñuela A.、Troncy R。 相关软件： MuseScore；音乐；jSymbolic… 主要字段： ——
多工作台 在0个文档中引用 软件作者： 保罗·浦亮、刘一伟、向凡、吴泽田、程云、吴杰森、陈莱斯利、吴佩德、米歇尔·李、朱宇科、鲁斯兰·萨拉库丁诺夫、路易斯·菲利普·莫伦西 相关软件： COVAREP；RUBi；OpenFace… 主要字段： ——
Rc火炬 在0个文档中引用 软件作者： 海登·乔伊（Hayden Joy）、马里奥斯·马修基斯（Marios Mattheakis）、帕夫洛斯·普罗托帕帕斯（Pavlos Protopapas） 相关软件： 回波；PyTorch-ESN；科学… 主要字段： ——
重新绘制 在0个文档中引用 软件作者： Kevin Moran、Carlos Bernal-Cárdenas、Michael Curcio、Richard Bonett、Denys Poshyvanyk 相关软件： Bootstrap.js；Django；草图绘制… 主要字段： ——
UPFPSR公司 1份文件引用(2022) 软件作者： 尹淑万；郑佳；贾苍志；邹全；林正奎；施、华 相关软件： hCKSAAP_UbSite；DeepVF；iFeature… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
UPSILoN公司 在0个文档中引用 软件作者： 大元金（Dae-Won Kim）、科琳·A.L.·拜勒-琼斯（Coryn A.L.Bailer-Jones） 相关软件： FFTW；pyFFTW；Scikit… 主要字段： ——
乌西加奇 在0个文档中引用 软件作者： 谢福斋、乔安娜·加伊达、泰勒·F.W.·斯隆、安德烈·雷尔斯、杰森·汀·春秋、艾米·秦·沈 相关软件： PyQt；Seaborn；Matplotlib… 主要字段： ——
域拔沙 在0个文档中引用 软件作者： Mohammad Hossein Namaki、Avrilia Floratou、Fotis Psallidas、Subru Krishnan、Ashvin Agrawal、Yinghui Wu、Yiwen Zhu、Markus Weimer 相关软件： 特里博；liblinear-java；LIBLINEAR… 主要字段： ——
ViCE公司 1份文件引用(2022) 软件作者： 奥斯卡·戈麦斯（Oscar Gomez）、斯特芬·霍尔特（Steffen Holter）、袁军（Jun Yuan）、恩里科·贝尔蒂尼（Enrico Bertini） 相关软件： MurTree；github；ORL… 主要字段： 统计学（62-XX）；计算机科学（68-XX）