并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
形状 130篇文献引用(2019–2024) 软件作者： 斯科特·伦德伯格（Scott Lundberg），苏茵·李（Su-In Lee） 相关软件： XGBoost；Scikit；UCI-ml… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
领域 39篇文献引用（2007年至2024年） 软件作者： 道格拉斯·尼奇卡（Douglas Nychka）；莱因哈德·福勒（Reinhard Furrer）；斯蒂芬·赛恩 相关软件： R；spBayes；地理… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
梯度-CAM 42篇文献引用(2018–2024) 软件作者： Ramprasaath R.Selvaraju、Michael Cogswell、Abhishek Das、Ramakrishna Vedantam、Devi Parikh、Dhruv Batra 相关软件： ImageNet；形状；AlexNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
快速拉伸 31份文件引用(2008–2022) 软件作者： 容克，美国。 相关软件： MiniSat；PicoSAT；葡萄糖… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
皮塔 24篇文献引用(2010–2023) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： ProbLog；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
马特佩特 14篇文献引用(1989–2019) 软件作者： 迈克尔·比森 相关软件： 哈斯克尔；动态数学；MathXpert… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
DALEX公司 7份文件引用(2019–2023) 软件作者： Przemyslaw Biecek公司 相关软件： R；iml；pdp… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Emacs公司 15篇文献引用（1991年至2013年） 软件作者： Michael A.Schoonover。；约翰·S·鲍伊（John S.Bowie）。；威廉·R·阿诺德。 相关软件： 不及物动词；OCaml；自动… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；计算机科学（68-XX）
rCOS公司 12份文件引用(2007–2016) 软件作者： 刘志明；查尔斯·莫里塞特（Charles Morisset）；沃尔克·斯托尔茨 相关软件： Z；自旋蛋白；马戏团… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
图拉法勒 12份文件引用(2004–2012) 软件作者： Bhargavan，Karthikeyan；Fornet，塞德里克；安德鲁·戈登（Andrew D.Gordon）。；里卡多·普切拉 相关软件： Spi2Java；ProVerify；AVISPA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MiniAgda公司 在11份文件中引用(2011–2023) 软件作者： A.阿贝尔。 相关软件： 辅酶q；阿格达；GitHub… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
DENDRAL公司 8份文件引用(1970–2005) 软件作者： 布鲁斯·布坎南。；佐治亚州萨瑟兰。；E.A.费根鲍姆。 相关软件： 几何导师；NESTOR公司；Swift… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；统计学（62-XX）…
GNN解释人 7份文件引用(2021–2024) 软件作者： 雷克斯·英（Rex Ying）、迪伦·鲍尔乔伊斯（Dylan Bourgeois）、佳轩佑（Jishoun You）、马林卡·齐特尼克（Marinka Zitnik）、朱尔·莱斯科维奇（Jure Leskovec） 相关软件： PyTorch；Rdkit；TUDataset… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
拟阵 8份文件引用(2019–2023) 软件作者： 陈良 相关软件： 麦考利2号；SageMath；第3264册示例… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
摩尔 7份文件引用(1989–2000) 软件作者： L.Eshelman公司 相关软件： 盐；蛋白质；LISP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
AI解释360 2份文件引用(2021) 软件作者： V.Arya、R.K.E.Bellamy、P.-Y.Chen、A.Dhurandhar、M.Hind、S.C.Hoffman、S.Houde、Q.V.Liao、R.Luss、A.Mojsilovic、S.Mourad、P.Pedemonte、R.Raghavendra、J.T.Richards、P.Sattigeri、K.Shanmugam、M.Singh、K.R.Varshney、D.Wei、Y.Zhang 相关软件： TensorFlow；InterpretML；不在场证明… 主要字段： 计算机科学（68-XX）
DR-预测 4份文件引用(2018–2019) 软件作者： 安东尼斯·比卡基斯；君士坦丁诺·帕帕西奥多罗；格里戈里斯·安东尼奥 相关软件： DELORES公司；吐温；法律规则ML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
模型工作室 2份文件引用(2021–2023) 软件作者： 休伯特·巴尼茨基；Przemyslaw Biecek公司 相关软件： DALEX公司；H2O；解释ML… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
费率 5份文件引用(2006–2024) 软件作者： 克里斯蒂安·克拉蒂海尔 相关软件： qMultiSum；Mathematica；qZeil… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
短路 6篇文献引用(2011–2022) 软件作者： 泰马尔·戴伊。；孙健；王玉树 相关软件： QuadCover；CGAL；趋化作用 主要字段： 代数拓扑（55-XX）；统计学（62-XX）；数值分析（65-XX）…
xclingo公司 5份文件引用(2020–2023) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；穆尼兹，布雷斯 相关软件： 中国科学院科学院；克林戈；XSB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
巴哈马斯 4份文件引用(2017–2018) 软件作者： H.Shariff（帝国）、X.Jiao（帝国），R.Trotta（帝国）和D.A.van Dyk（帝国） 相关软件： CosmoNest；CosmoMC；卡爪… 主要字段： 统计学（62-XX）；量子理论（81-XX）；相对论与引力理论（83-XX）…
高斯 4份文件引用（2002年至2018年） 软件作者： Ramakrishnan，N.、Rice，J.R.、Houstis，E.N。 相关软件： 皮西亚；超启发式；科恩拉布… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
居住 4份文件引用(2019–2023) 软件作者： Mateusz Staniak、Przemysław Biecek 相关软件： 分解；形状；XGBoost… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
OntoDebug（开始调试） 4份文件引用(2018–2023) 软件作者： 舍科提欣、康斯坦丁；Patrick Rodler；沃尔夫冈·施密德 相关软件： 颗粒；MERGEXPLAIN公司；赫密特… 主要字段： 计算机科学（68-XX）
GAN实验室 1份文件引用(2021) 软件作者： Minsuk Kahng、Nikhil Thorat、Duen Hong Chau、Fernanda Viégas、Martin Wattenberg 相关软件： ConvNetJS；TensorFlow；LSTM维斯… 主要字段： 算子理论（47-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
国际航空航天局 3份文件引用(1996–2017) 软件作者： 唐杰；李娟子；陆红军；梁邦勇；黄晓彤；王克宏 相关软件： S-CREAM；引导数据库 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Java贝叶斯 2份文件引用(2005–2011) 软件作者： 法比奥·加格利亚迪·科兹曼 相关软件： BNT；HUGIN公司；MSBNx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MERGEXPLAIN公司 3份文件引用(2018–2023) 软件作者： Shchekotykhin，K.M.，Jannach，D.，Schmitz，T。 相关软件： 颗粒；启动调试；赫密特… 主要字段： 计算机科学（68-XX）
非线性有限元法 3份文件引用(2018–2021) 软件作者： 莉娜·卡萝 相关软件： R；PRMLT；CAPUSHE… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
粉 3份文件引用(2019–2023) 软件作者： 内森·埃文斯（Nathan J.Evans）；杰夫·安妮斯 相关软件： jpnb4；贝叶斯DA；WinBUGS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
滑冰运动员 在0个文档中引用 软件作者： 亚伦·克莱默（Aaron Kramer）；Pramit Choudhary；银色冲浪运动员84；本·范·戴克；Alvin Thai；尼汀·帕苏马蒂；纪尧姆·勒迈特；戴夫·汤普森；本·库克 相关软件： DALEX公司；蟒蛇；解释ML… 主要字段： 计算机科学（68-XX）
证书 2份文件引用(2021–2023) 软件作者： Shubham Sharma、Jette Henderson、Joydep Ghosh 相关软件： 形状；蟒蛇；Scikit… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
火锅QA 1份文件引用(2023) 软件作者： 杨志林（Zhilin Yang）、齐鹏（Peng Qi）、张赛正（Saizheng Zhang）、约舒亚·本吉奥（Yoshua Bengio）、威廉·科恩（William W.Cohen）、鲁斯兰·萨拉库蒂诺夫（Ruslan Salakhutdino 相关软件： 小队；KGPT；图2Seq… 主要字段： 计算机科学（68-XX）
成分 在0个文档中引用 软件作者： Przemyslaw Biecek、Hubert Baniecki、Adam Izdebski、Katarzyna Pekala 相关软件： DALEX公司；modelStudio；解释ML… 主要字段： –
洛米卡 2份文件引用(2021–2022) 软件作者： Dilini Rajapaksha、Christoph Bergmeir、Wray Buntine 相关软件： 形状；Open-WBO；深红色… 主要字段： 计算机科学（68-XX）
整形器 在0个文档中引用 软件作者： Szymon Maksymiuk、Alicja Gosiewska、Przemyslaw Biecek、Mateusz Staniak、Michal Burdukiewicz 相关软件： DALEX公司；modelStudio；解释ML… 主要字段： –
苏尔夫赛 在0个文档中引用 软件作者： Aleksandra Grudziaz、Alicja Goseewska、Przemyslaw Biecek 相关软件： pdp；DALEX公司；R、 … 主要字段： –
反事实 在0个文档中引用 软件作者： 苏珊娜·丹德尔（Susanne Dandl）、安德烈亚斯·霍夫海因茨（Andreas Hofheinz）、马丁·宾德（Martin Binder）、朱塞佩·卡萨利基奥（Giuseppe Casalicchio） 相关软件： UCI-ml；数据表；Scikit… 主要字段： –
DALEXtra公司 在0个文档中引用 软件作者： Szymon Maksymiuk、Przemyslaw Biecek、Anna Kozak、Hubert Baniecki 相关软件： 潮汐模型；公平；EIX… 主要字段： –
DeDUCE公司 1份文件引用(2023) 软件作者： Höltgen，Benedikt；丽莎·舒特（Lisa Schut）；布劳纳，Jan M。；Gal，纱线 相关软件： 梯度CAM；托辞；不在场证明解释… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
一角硬币 在0个文档中引用 软件作者： Yiwei Lyu、Paul Pu Liang、Zihao Deng、Ruslan Salakhutdinov、Louis-Philippe Morency 相关软件： COVAREP；RUBi；OpenFace… 主要字段： –
许慧欣 1份文件引用(2022) 软件作者： 克里斯蒂安·阿拉巴阿（Christian Alrabbaa）；弗兰茨·巴德；斯特凡·博格沃德；雷蒙·达赫塞特；帕特里克·科普曼（Patrick Koopmann）；朱利安·梅恩德斯 相关软件： ELK；蛋白质-TS；FAME公司 主要字段： 计算机科学（68-XX）
iBreakDown（iBreak向下） 在0个文档中引用 软件作者： Przemyslaw Biecek、Alicja Goseewska、Hubert Baniecki、Adam Izdebski、Dariusz Komosinski 相关软件： DALEX公司；D3.js；modelStudio… 主要字段： –
狮子森林 1份文件引用(2022) 软件作者： Ioannis Mollas；尼克·巴西利亚德斯（Nick Bassiliades）；格里戈里奥斯·祖马卡斯 相关软件： 在树中；形状；XGBoost… 主要字段： 计算机科学（68-XX）
梅利梅 1份文件引用(2021) 软件作者： 蒂亚戈·博塔里（Tiago Botari）、弗雷德里克·赫维什约（Frederik Hvilshöj）、拉斐尔·伊兹比基（Rafael Izbicki）、安德烈·卡瓦略（Andre C.P.L.F.de Carvalho） 相关软件： HHCART；RFCDE；MurTree… 主要字段： 运筹学、数学规划（90-XX）
MLE公司 在0个文档中引用 软件作者： 赵军；Kim，Yu-Kwang；Jang，Yu-Hyeong；Chang，Jae Ho；Lee，Sang Kyu；Kim，Hyong-Moon先生 相关软件： 一步走；sirt；VGAM… 主要字段： –
尼罗河 在0个文档中引用 软件作者： 萨万·库马尔（Sawan Kumar），Partha Talukdar 相关软件： StructBERT；CoQA；HellaSwag… 主要字段： 数理逻辑与基础（03-XX）
nstage公司 在0个文档中引用 软件作者： Royston P、Bratton D、Choodari-Oskooei B、Barthel FMS 相关软件： 适应性测试；Stata公司；asd… 主要字段： –
PerfXplain公司 1份文件引用(2022) 软件作者： Nodira Khoussainova、Magdalena Balazinska、Dan Suciu 相关软件： DeepLog；自动诊断；TensorFlow… 主要字段： 计算机科学（68-XX）
规则XAI 在0个文档中引用 软件作者： Dawid Macha、Micha Kozielski、ukasz Wróbel、Marek Si 相关软件： SCARI公司；指南R；pyCeterisParibus… 主要字段： –
SHErrLoc公司 1份文件引用(2015) 软件作者： 安德鲁·迈尔斯（Andrew Myers）、张丹凤（Danfeng Zhang） 相关软件： OCaml；EasyOCaml；vZ… 主要字段： 计算机科学（68-XX）
幻灯片 1份文件引用(2023) 软件作者： 安东·比约克隆德（Anton Björklund）；梅克尔，贾莫；Kai Puolamäki 相关软件： GitHub；梯度CAM；形状… 主要字段： 计算机科学（68-XX）
SP流量 1份文件引用(2020) 软件作者： Alejandro Molina、Antonio Vergari、Karl Stelzner、Robert Peharz、Pranav Subramani、Nicola Di Mauro、Pascal Poupart、Kristian Kersting 相关软件： 炼金术；DIMACS；Walksat… 主要字段： 计算机科学（68-XX）
树形图 1份文件引用(2023) 软件作者： Komisarczyk，Konrad；科兹明斯基（Pawel Kozminski）；Szymon的Maksymiuk；Lorenz A.Kapsner。；斯皮泰克（Mikolaj Spytek）；马特乌斯·Krzyzinski；普尔泽米斯劳·比塞克 相关软件： GitHub；水 主要字段： 统计学（62-XX）
VERMEER公司 1份文件引用(2018) 软件作者： Schwartz-Narbonne，D.，Oh，C.，Schäf，M.，Wies，T。 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）
ViCE公司 1份文件引用(2022) 软件作者： Oscar Gomez、Steffen Holter、Jun Yuan、Enrico Bertini 相关软件： MurTree；GitHub；ORL… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
xASP（xASP） 1份文件引用(2022) 软件作者： Trieu、Ly-Ly；Tran Cao Son公司；马塞洛·巴尔杜奇尼 相关软件： 中国科学院科学院；DiscASP；xclingo公司 主要字段： 计算机科学（68-XX）
Zennit公司 在0个文档中引用 软件作者： 克里斯托弗·安德斯（Christopher J.Anders）、大卫·诺伊曼（David Neumann）、沃伊西奇·萨梅克（Wojciech Samek）、克劳斯·罗贝特·米勒（Klaus-Robert Müller）、塞巴斯蒂安·拉普什金 相关软件： SpliceRover；呼叫者；cli… 主要字段： –