ProbLog（问题日志） 119篇文献引用(2007–2023) 软件作者： Joris Renkens；范登·布勒克（Van Den Broeck），盖伊（Guy）；齐格弗里德·尼杰森 相关软件： 棱镜；PITA；CP逻辑… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
PyMC公司 61篇文献引用(2010–2024) 软件作者： Chris Fonnesbeck、Anand Patil、David Huard、John Salvatier 相关软件： 斯坦；坚果；Python… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ADVI公司 47篇文献引用(2017–2023) 软件作者： Alp Kucukelbir、Rajesh Ranganath、Andrew Gelman、David M.Blei 相关软件： 斯坦；PRMLT；阿达德尔塔… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
灵活的 36篇文献引用(2017–2023) 软件作者： 佩里·德瓦尔平（Perry de Valpine）、克里斯托弗·帕西奥雷克（Christopher Paciorek）、丹尼尔·图雷克（Daniel Turek 相关软件： R；斯坦；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
图尔巴尔2 引用于27份文件(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛切 相关软件： mplp2；数字插孔；最大HS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PITA公司 24篇文献引用(2010–2023) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： ProbLog；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
爱德华 17篇文献引用(2017–2024) 软件作者： Tran，D.、Kucukelbir，A.、Dieng，A.B.、Rudolph，M.、Liang，D.、Blei，D.M。 相关软件： 斯坦；TensorFlow；PyMC… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
DeepProbLog（深度探测日志） 18篇文献引用(2020–2023) 软件作者： 罗宾·曼哈夫、塞巴斯蒂安·杜曼奇奇、安吉丽卡·金米格、托马斯·德梅斯特、吕克·德雷特 相关软件： ProbLog；NeurASP；亚当… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
分配.jl 6篇文献引用(2015–2023) 软件作者： 贝桑松，M。；Papamarkou，T。；安托夫·D·。；阿尔斯兰。；拜恩，S。；Lin，D。；皮尔逊，J。 相关软件： 朱莉娅；R；JuliaStats… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
NumPyro编号 6篇文献引用(2021–2023) 软件作者： 杜凡、尼拉杰·普拉丹、马丁·扬科维亚克 相关软件： 坚果；高温；JAX… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
cplint（cplint） 7份文件引用(2017–2022) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；朱塞佩·科塔；埃琳娜·贝洛迪；里卡多·泽斯 相关软件： ProbLog；SWI-预测；棱镜… 主要字段： 计算机科学（68-XX）
风景优美 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
GenPSAT公司 4份文件引用(2017–2020) 软件作者： 卡洛斯·卡莱罗；菲利佩·卡萨尔；安德烈亚·莫迪多 相关软件： 古罗比；角砾岩；博客… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
PFLP公司 引用于3份文件(2020–2022) 软件作者： 桑德拉·戴卢斯（Sandra Dylus）、扬·克里斯蒂安森（Jan Christiansen）、芬兰·蒂根（Finn Teegen） 相关软件： 教会；EasyCheck；瑞士… 主要字段： 计算机科学（68-XX）
CUQIpy公司 引用于3份文件(2024) 软件作者： Nicolai A.B.Riis。；Alghamdi，Amal M.A。；菲利佩·乌里韦；克里斯滕森，西尔亚L。；巴巴克·阿夫坎。；汉森，Per Christian；约根森，雅各布·S·。 相关软件： 阿尔维兹；数字Py；FEniCS… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
福尼实验室 2份文件引用(2020–2022) 软件作者： 马克·考克斯（Marco Cox）；范德拉尔（Thijs van de Laar）；贝尔·德·弗里斯 相关软件： PRMLT；PyTorch公司；朱莉娅… 主要字段： 计算机科学（68-XX）
TerpreT公司 在0个文档中引用 软件作者： 亚历山大·冈特（Alexander L.Gaunt）、马克·布洛克施密特（Marc Brockschmidt 相关软件： Scikit；Clojush；按下… 主要字段： –
d3p公司 在0个文档中引用 软件作者： Lukas Prediger、Niki Loppi、Samuel Kaski、Antti Honkela 相关软件： 高温；TensorFlow；Python… 主要字段： –
符号DNN-Tuner 1份文件引用(2022) 软件作者： 米歇尔·弗拉卡罗利；Lamma，Evelina；法布里西奥·里古齐 相关软件： PRMLT；无代理NAS；DARTS… 主要字段： 计算机科学（68-XX）
雅普 在0个文档中引用 软件作者： 纪尧姆·鲍达特（Guillaume Baudart）、马丁·赫泽尔（Martin Hirzel）、基兰·凯特（Kiran Kate）、路易斯·曼德尔（Louis Mandel）、阿夫拉哈姆·辛纳（Avraham Shinnar） 相关软件： 迈亚；PyCmdStan；PyStan… 主要字段： –