斯坦 软件作者：斯坦开发团队 参考文献： 243种出版物（2013-2022年） 相关软件： R；美洲豹；坚果；贝耶斯达；RStan公司；Winbug… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
ProbLog公司 软件作者：伦肯，乔里斯；范登布罗克，伙计；尼森，齐格弗里德 参考文献： 98种出版物（2007-2022） 相关软件： 棱镜；皮塔；CP逻辑；教堂；博客；雅普序言… 主要领域： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
RStan公司 软件作者：郭继强；等等。 参考文献： 72种出版物（2015-2022） 相关软件： R；斯坦；rstan公司；贝耶斯达；美洲豹；坚果… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
rstan公司 软件作者：郭继强、乔纳·加布里、本·古德里奇、丹尼尔·李、克鲁兹托夫·萨克雷达、奥列格·斯克里亚、詹斯·奥赫勒·阿基约希、哈德利·维克姆、乔尔·德古兹曼、约翰·弗莱彻、托马斯·海勒、埃里克·尼布勒 参考文献： 46种出版物（2017-2022） 相关软件： RStan公司；R；斯坦；贝耶斯达；美洲豹；尾声… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
PyMC公司 软件作者：Chris Fonnesbeck，Anand Patil，David Huard，John Salvatier 参考文献： 32种出版物（2010-2022） 相关软件： 斯坦；蟒蛇；坚果；神经质；裸体；张量流… 主要领域： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
弗里尔 软件作者：鲍德温，J.F。；马丁，T.P。；皮尔斯沃思，B.W。 参考文献： 37种出版物（1987-2020） 相关软件： 利克洛格；FPROLOG；XPath；XQuery；再见；混乱… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）
阿德维 软件作者：阿尔普·库库克尔比尔、拉杰什·兰加纳思、安德鲁·盖尔曼、大卫·M·布莱 参考文献： 34种出版物（2017-2022） 相关软件： 斯坦；项目经理；坚果；R；阿达达三角洲；里斯坦… 主要领域： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）
谦虚 软件作者：D'Argenio，佩德罗·R。；赫尔曼，霍尔格；卡托恩，乔斯特·皮尔特；克莱恩，里克 参考文献： 31种出版物（2001-2021） 相关软件： 棱镜；乌帕；海因奇；IF-2.0；电动机；CADP… 主要领域： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
帕穆德 软件作者：古尔阿加；何塞·梅斯盖尔；Koushik Sen公司 参考文献： 26种出版物（2005-2021年） 相关软件： 莫德；普维斯塔；灶神星；卡菲奥比；ITP；棱镜… 主要领域： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
灵活的 软件作者：佩里·德瓦尔平、克里斯托弗·帕西奥雷克、丹尼尔·图雷克、克里夫·安德森-伯格曼、邓肯神庙朗 参考文献： 22种出版物（2017-2022） 相关软件： R；美洲豹；斯坦；温伯格；尾段；斯帕耶斯… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
伊巴尔 软件作者：阿维普费尔 参考文献： 27种出版物（2003-2019） 相关软件： 教堂；博客；棱镜；因式分解；公关猫头鹰；虫子… 主要领域： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计（62-XX）
ecp公司 软件作者：尼古拉斯·A·詹姆斯、张文宇、大卫·S·马特森 参考文献： 17种出版物（2015-2022） 相关软件： 转变点；R；工作分解结构；cpm；结构变化；bcp… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
皮塔 软件作者：里古兹，法布里齐奥；斯威夫特，泰伦斯 参考文献： 22种出版物（2010-2021） 相关软件： ProbLog；CP逻辑；棱镜；麦金太尔；XSB公司；博客… 主要领域： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
图尔巴尔2 软件作者：托马斯·希克斯；西蒙·德吉夫里；大卫阿洛切 参考文献： 22种出版物（2007-2020） 相关软件： mplp2；数字回拨；最大值；MiniMaxSat公司；github；通用电气代码… 主要领域： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
CP逻辑 软件作者：文尼肯斯，约斯特；Denecker，马克；布鲁努赫，莫里斯 参考文献： 18种出版物（2009-2022） 相关软件： ProbLog；皮塔；棱镜；麦金太尔；博客；XSB… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
爱德华 软件作者：Tran，D.，Kucukelbir，A.，Dieng，A.B.，Rudolph，M.，Liang，D.，Blei，D.M。 参考文献： 12种出版物（2017-2022） 相关软件： 斯坦；张量流；阿德维；西亚诺；PyMC公司；sgmcmc… 主要领域： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）
FODD计划员 软件作者：乔希，S。；哈顿，R。 参考文献： 13种出版物（2008-2021） 相关软件： FluCaP公司；图形规划；ProbLog；果洛；人民；瑞巴… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
烟火 软件作者：宾厄姆，伊莱；陈，乔纳森P。；詹科维亚克，马丁；奥博迈耶，弗里茨；尼拉吉，普拉丹；卡拉特索斯，提奥法尼斯；辛格，罗希特；塞利普，保罗；霍斯法尔，保罗；古德曼，诺亚·D。 参考文献： 8种出版物（2020-2022） 相关软件： 张量流；Pythorch公司；蟒蛇；PyMC公司；斯坦；努比… 主要领域： 整体分析，流形分析（58-XX）；统计学（62-XX）；数值分析（65-XX）
因式 软件作者：安德鲁·麦卡伦、卡尔·舒尔茨、萨梅尔·辛格 参考文献： 11种出版物（2011-2020） 相关软件： 教堂；伊巴尔；ProbLog；博客；哈斯克尔；推断。网络… 主要领域： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
波托奇 软件作者：马克西米利安·巴兰特、布莱恩·卡雷尔、丹尼尔·R·江、塞缪尔·道尔顿、本杰明·莱瑟姆、安德鲁·戈登·威尔逊、埃坦·巴克什 参考文献： 10种出版物（2021-2022） 相关软件： Pythorch公司；高次谐波；SMAC；亚当；留兰香；GPflowOpt… 主要领域： 偏微分方程组（35-XX）；统计学（62-XX）；数值分析（65-XX）
pGCL公司 软件作者：公鸡，D。 参考文献： 12种出版物（2005-2017） 相关软件： 成本；伊莎贝尔/霍尔；伊莎贝尔；密度编译器；马尔可夫模型；动物园概率系统… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）
冒险 软件作者：维卡什·曼辛卡、丹尼尔·塞尔萨姆、尤拉·佩罗夫 参考文献： 8种出版物（2016-2018） 相关软件： 教堂；斯坦；漏洞；费加罗；哈卡鲁；JAGS… 主要领域： 范畴论；同调代数（18-XX）；概率论与随机过程（60-XX）；统计（62-XX）
分发.jl 软件作者：林，D。；怀特，J.M。 参考文献： 3种出版物（2015-2021） 相关软件： 朱莉娅；Plots.jl；R；MLJ；通量；微分方程。jl… 主要领域： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
贝耶斯雷格 软件作者：凡Erp，萨拉；奥伯斯基，丹尼尔L。；穆德，乔里斯 参考文献： 8种出版物（2019-2022） 相关软件： R；UCI毫升；厕所；斯坦；hd间隔时间；BGGM… 主要领域： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
隐窝 软件作者：Basin，D.，Lochbihler，A.，Sefidgar，S.R。 参考文献： 8种出版物（2017-2022） 相关软件： 伊莎贝尔/霍尔；归档正式证据；霍尔；易受骗；伊莎贝尔；提升… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
小坎伦 软件作者：丹尼尔·P·弗里德曼、威廉·E·伯德、奥列格·基塞尔约夫 参考文献： 8种出版物（2008-2022） 相关软件： 坎伦；PFLP；数据娱乐；过道空间；特约；GHC… 主要领域： 一般性和全局性主题；收款（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
VBASim 软件作者：纳尔逊，巴里L。 参考文献： 7种出版物（2013-2022） 相关软件： ASAP3；sobol.cc；JBool；R样条；天文测向 主要领域： 一般性和全局性主题；收款（00-XX）；概率论与随机过程（60-XX）；统计（62-XX）
证书加密 软件作者：巴瑟，吉尔；格雷戈耶，本杰明；Zanella Béguelin，圣地亚哥 参考文献： 5种出版物（2009-2017） 相关软件： 成本；Coq/S反射；易受骗；开普勒98；塞尔4 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
C打印 软件作者：里古兹，法布里齐奥；科塔，朱塞佩；贝洛迪，埃琳娜；泽斯，里卡多 参考文献： 6种出版物（2017-2022） 相关软件： ProbLog；SWI序言；棱镜；XSB公司；皮塔；CP逻辑… 主要领域： 计算机科学（68-XX）
NMRDPP公司 软件作者：蒂博，S。；格雷顿，C。；斯莱尼，J。；价格，D。；卡班扎，F。 参考文献： 6种出版物（2006-2021） 相关软件： 图形规划；github；蒙纳；棱镜；FluCaP公司；FODD计划者… 主要领域： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
开放式DR 软件作者：马修·M·洛珀；迈克尔J.布莱克 参考文献： 4种出版物（2018-2021） 相关软件： 张量流；图像网；3D-R2N2；沙佩内；Pythorch公司；亚当… 主要领域： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
Biips公司 软件作者：阿德里安·托德斯奇尼、弗朗索瓦·卡隆、马克·富恩特斯、皮尔里克·罗格朗、皮埃尔·德尔·莫拉蒂 参考文献： 0个出版物 相关软件： 血管平滑肌细胞；R；利比；盛况；美洲豹；虫子… 主要领域： –
外显者 软件作者：布雷乔瓦布。；布朗，D.G。；李，M。；维娜，T。 参考文献： 3份出版物（2007-2008） 相关软件： est扫描；微光；虎豹；随和；Pfam；聪明… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
吉普赛特 软件作者：卡洛斯，卡莱罗；卡萨尔，丝绒；莫迪多，安德里亚 参考文献： 4种出版物（2017-2020） 相关软件： 古罗比；角砾岩；博客；里拉 主要领域： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
哈卡鲁 软件作者：纳拉亚南，普拉文；卡莱特，雅克；罗曼诺，鹪鹩；单，钟渐；辛科夫，罗伯特 参考文献： 4种出版物（2016-2018） 相关软件： 风险投资；教堂；斯坦；伊德里斯；瘦身；数学方案… 主要领域： 计算机科学（68-XX）
PFLP公司 软件作者：桑德拉·迪卢斯、简·克里斯蒂安森、芬恩·蒂根 参考文献： 3种出版物（2020-2022） 相关软件： 轻松检查；CHR.js；因式分解；帕克斯；教堂；无糖咖喱… 主要领域： 计算机科学（68-XX）
瑞巴 软件作者：斯里德哈兰，莫汉；盖尔方德，迈克尔；张世奇；怀亚特，杰里米 参考文献： 4种出版物（2019-2021） 相关软件： 人民；CCalc公司；FODD计划员；阴霾；github；阿尔姆… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
StanHeaders公司 软件作者：Ben Goodrich等人。 参考文献： 1本出版物（2022年） 相关软件： rstan公司；R；斯坦；伦敦金属交易所4；brms系统；JAGS… 主要领域： 统计学（62-XX）；计算机科学（68-XX）
图灵 软件作者：洪戈、徐凯、邹斌加哈拉马尼 参考文献： 2种出版物（2022年） 相关软件： 斯坦；PyMC公司；朱莉娅；Optim公司；分发.jl；西皮… 主要领域： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
贝伊斯比 软件作者：卢蒂宁，雅科 参考文献： 3种出版物（2016-2021） 相关软件： 蟒蛇；PyMC公司；项目经理；起泡的；林沃；Kpax3… 主要领域： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
纽皮罗 软件作者：杜潘、尼拉吉·普拉丹、马丁·扬科维亚克 参考文献： 1次出版（2021年） 相关软件： JAX；PyMC公司；张量流；UCI毫升；皮斯坦；爱德华2… 主要领域： 博弈论、经济学、金融学和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
立马 软件作者：帕维尔·克林诺夫；比扬帕西亚 参考文献： 3种出版物（2015-2017） 相关软件： 本体；五月天；润滑油；ProbLog；MSUnCore公司；扯淡… 主要领域： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
圣公会教徒 软件作者：托宾，D。；范德米恩特，J.W。；杨，H。；伍德，F。 参考文献： 2种出版物（2018-2020） 相关软件： ProbLog；保鲜膜；项目经理；POMDPS；果洛；棱镜… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
班比 软件作者：汤姆·卡普雷托、卡门·皮奥、拉文·库马尔、雅各布·韦斯特法尔、塔尔·亚尔科尼、奥斯瓦尔多·A·马丁 参考文献： 0个出版物 相关软件： Stats模型；伦敦金属交易所4；蟒蛇；海伯恩；L均值；Lmertest… 主要领域： –
海湾4PSY 软件作者：Jure Demšar，Grega Repovš，埃里克·什特隆贝尔吉 参考文献： 0个出版物 相关软件： R；BPviGM1；2号地块；美洲豹；匹配不确定性诱导；斯坦… 主要领域： –
ForneyLab公司 软件作者：考克斯，马可；范德拉尔，Thijs；德弗里斯，伯特 参考文献： 1份出版物（2020年） 相关软件： Matlab语言；蟒蛇；SPM；开放式健身房；pymdp公司；PRMLT… 主要领域： 计算机科学（68-XX）
超级 软件作者：P。Kouki，S.Fakhraei，J.Foulds，M.Eirinaki，L.Getoor 参考文献： 2种出版物（2017年） 相关软件： 克莱姆维尔；博客；爱德华；mplp2；foxPSL公司；幽灵… 主要领域： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
照片 软件作者：Pavol Bielik，Veselin Raychev，Martin Vechev 参考文献： 0个出版物 相关软件： DeepFix公司；国家质检总局；椰子壳；葡萄园；偏差；米西姆… 主要领域： –
埃普雷特 软件作者：亚历山大·L·高特、马克·布洛克希米特、里沙布·辛格、内特·库什曼、普希梅特·科利、乔纳森·泰勒、丹尼尔·塔洛 参考文献： 0个出版物 相关软件： 闪烁填充；FlashMeta；推断.NET；z3；LLVM；SMT-LIB… 主要领域： –
沃姆先生 软件作者：R。D、 金，A.斯里尼瓦桑，L.德哈斯 参考文献： 2份出版物（2005-2012） 相关软件： 交叉挖掘；贝耶斯先生；克隆；闭合图；雷达天线；特雷特… 主要领域： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MXFusion公司 软件作者：戴振文等。 参考文献： 1份出版物（2020年） 相关软件： 胶粒；sktime公司；烟火；MXNet公司；Pythorch公司；张量流… 主要领域： 计算机科学（68-XX）
图片 软件作者：库尔卡尼特哈斯；普希梅特-科利；约书亚B特南鲍姆；维卡什·曼辛卡 参考文献： 出版1期（2018年） 相关软件： RMSprop公司；切线；坚果；OptNet公司；亚历克斯内特；斯坦数学… 主要领域： 数值分析（65-XX）
普罗博 软件作者：威利·内斯万格、克尔特瓦桑·坎达萨米、巴纳巴斯·波佐斯、杰夫·施耐德、埃里克·邢 参考文献： 1份出版物（2020年） 相关软件： 高次谐波；飞镖；GPyOpt公司；蜻蜓；SMAC；Hyperopt… 主要领域： 计算机科学（68-XX）
ProPPR公司 软件作者：王威廉；凯瑟琳·马扎蒂斯；威廉W.科恩 参考文献： 1份出版物（2020年） 相关软件： 张量对数；亚当；张量流；教堂；ProbLog；西皮… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
拟Borel空间 软件作者：平田和彦、美智子、佐藤 参考文献： 出版1期（2017年） 相关软件： 风险投资；教堂 主要领域： 范畴论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
雅普 软件作者：纪尧姆·鲍达特、马丁·赫泽尔、基兰·凯特、路易斯·曼德尔、阿夫拉罕·辛纳 参考文献： 0个出版物 相关软件： 烟火；切线；裸体；PyMC公司；朱庇特；Matplotlib… 主要领域： –
深钻 软件作者：Robin Manhaeve、Sebastijan Dumančić、Angelika Kimmig、Thomas Demeter、Luc De Raedt 参考文献： 0个出版物 相关软件： – 主要领域： –
tfp.mcmc公司 软件作者：劳俊鹏，克里斯托弗·苏特，伊恩·兰格莫尔，西里尔·奇米索夫，阿希什·萨克森，帕维尔·索恩佐夫，戴夫·摩尔，里夫·A·索鲁斯，马修·D·霍夫曼，约书亚·V·狄龙 参考文献： 0个出版物 相关软件： – 主要领域： –