×

找到85个软件包(结果1-85)

斯坦

软件作者:斯坦开发团队
参考文献: 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)

费加罗

软件作者:阿维普费尔
参考文献: 11种出版物(2015-2022)
相关软件: 教堂;ProbLog;风险投资;博客;棱镜;烟火…
主要领域: 统计学(62-XX);计算机科学(68-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)

麦金太尔

软件作者:里古兹,F。
参考文献: 7种出版物(2015-2019)
相关软件: ProbLog;皮塔;CP逻辑;棱镜;C打印;SWI序言…
主要领域: 计算机科学(68-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)

皮斯坦

软件作者:PyStan开发人员
参考文献: 2种出版物(2019年)
相关软件: 斯坦;PyMC公司;烟火;蟒蛇;UCI毫升;努比…
主要领域: 统计学(62-XX);计算机科学(68-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)

克雷托

软件作者:芬瑟默,马克;蒂姆,马提亚斯
参考文献: 3种出版物(2012年)
相关软件: 炼金术;ProbLog公司
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

纽皮罗

软件作者:杜潘、尼拉吉·普拉丹、马丁·扬科维亚克
参考文献: 1次出版(2021年)
相关软件: JAX;PyMC公司;张量流;UCI毫升;皮斯坦;爱德华2…
主要领域: 博弈论、经济学、金融学和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)

pGOLOG公司

软件作者:  –
参考文献: 2份出版物(2001-2003)
相关软件: 果洛;康哥洛;图规划
主要领域: 计算机科学(68-XX)

普拉斯

软件作者:尼克尔斯,马提亚斯
参考文献: 3种出版物(2016-2022)
相关软件: 棱镜;ProbLog;C打印;舍夫;XSB公司;CP逻辑…
主要领域: 计算机科学(68-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)

逻辑SQL

软件作者:特里·哈尔平,斯宾塞·鲁加伯
参考文献: 2种出版物(2016-2017)
相关软件: 数据日志;费加罗;凝灰岩;深潜;风险投资;PyMC…
主要领域: 计算机科学(68-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)

博克维亚

软件作者:石井秋明、龟井龙介、山中秋彦、山本秋彦
参考文献: 0个出版物
相关软件: 贝叶斯优化;联合体;贝耶索;皮格戈;博托奇;GPflowOpt…
主要领域:

d3p型

软件作者:卢卡斯·普雷迪格、尼基·洛皮、塞缪尔·卡斯基、安蒂·洪卡拉
参考文献: 0个出版物
相关软件: 脓胸;西亚诺;库达大学;Pythorch公司;亚当;努比…
主要领域:

爱德华二世

软件作者:戴夫·摩尔,玛丽亚·I·戈里诺娃
参考文献: 0个出版物
相关软件: UCI毫升;皮斯坦;XLA公司;JAX;PyMC公司;张量流…
主要领域:

材料

软件作者:王燕山,刘红芳
参考文献: 0个出版物
相关软件: 马文;la4j;JGibbLDA公司;贾马;鲁辛;狐猴
主要领域:

MSL公司

软件作者:LaValle S等人。
参考文献: 0个出版物
相关软件:
主要领域:

MXFusion公司

软件作者:戴振文等。
参考文献: 1份出版物(2020年)
相关软件: 胶粒;sktime公司;烟火;MXNet公司;Pythorch公司;张量流…
主要领域: 计算机科学(68-XX)

欧米茄jl

软件作者:塔瓦雷斯Z
参考文献: 0个出版物
相关软件: 分发.jl;神经质;黑曼巴;桥梁.jl;JuliaSmoothOptimizers公司;匡特康。jl…
主要领域:

图片

软件作者:库尔卡尼特哈斯;普希梅特-科利;约书亚B特南鲍姆;维卡什·曼辛卡
参考文献: 出版1期(2018年)
相关软件: RMSprop公司;切线;坚果;OptNet公司;亚历克斯内特;斯坦数学…
主要领域: 数值分析(65-XX)

普林尼

软件作者:阿尔巴尼斯语、马西米利亚诺语;布罗切勒,马提亚斯;格兰特,约翰;马丁内斯,玛丽亚·瓦尼娜;苏布拉曼尼亚,V.S。
参考文献: 0个出版物
相关软件:
主要领域:

波洛.jl

软件作者:因尼斯M
参考文献: 0个出版物
相关软件: 分发.jl;神经质;黑曼巴;桥梁.jl;JuliaSmoothOptimizers公司;匡特康。jl…
主要领域:

普罗博

软件作者:威利·内斯万格、克尔特瓦桑·坎达萨米、巴纳巴斯·波佐斯、杰夫·施耐德、埃里克·邢
参考文献: 1份出版物(2020年)
相关软件: 高次谐波;飞镖;GPyOpt公司;蜻蜓;SMAC;Hyperopt…
主要领域: 计算机科学(68-XX)

ProPPR公司

软件作者:王威廉;凯瑟琳·马扎蒂斯;威廉W.科恩
参考文献: 1份出版物(2020年)
相关软件: 张量对数;亚当;张量流;教堂;ProbLog;西皮…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

PyAutoFit公司

软件作者:詹姆斯。W、 南丁格尔,理查德·G·海斯,马修·格里菲斯
参考文献: 0个出版物
相关软件: 主持人;多巢;裸体;麻木;Matplotlib;动态…
主要领域:

Pymc学习

软件作者:丹尼尔·埃马斯特
参考文献: 0个出版物
相关软件: PyMC公司;西亚诺;化学试剂盒;蟒蛇
主要领域:

QASM公司

软件作者:塔瓦雷斯,卡洛斯
参考文献: 1份出版物(2020年)
相关软件: 开放qasm
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

拟Borel空间

软件作者:平田和彦、美智子、佐藤
参考文献: 出版1期(2017年)
相关软件: 风险投资;教堂
主要领域: 范畴论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

兰克普勒

软件作者:利恩斯特拉,特兹
参考文献: 出版1期(2017年)
相关软件: 费加罗;风险投资;教堂
主要领域: 计算机科学(68-XX)

SOSS.jl公司

软件作者:舍雷尔C
参考文献: 0个出版物
相关软件: 分发.jl;神经质;黑曼巴;桥梁.jl;JuliaSmoothOptimizers公司;匡特康。jl…
主要领域:

风暴

软件作者:塞卡特·杜塔;张文贤;黄紫欣;萨萨·米萨伊洛维奇
参考文献: 0个出版物
相关软件: 自动训练器;深度测试;西亚诺;摇篮;深挖;张量模糊…
主要领域:

斯威夫特

软件作者:吴奕、李磊、罗素、博迪克
参考文献: 0个出版物
相关软件: 漏洞;风险投资;教堂;宽面条;煤油;斯坦…
主要领域:

符号

软件作者:罗斯,凯文;太阳,丹尼斯L。
参考文献: 0个出版物
相关软件: Stats模型;R;化学试剂盒;Matplotlib;蟒蛇;鲑鱼
主要领域:

雅普

软件作者:纪尧姆·鲍达特、马丁·赫泽尔、基兰·凯特、路易斯·曼德尔、阿夫拉罕·辛纳
参考文献: 0个出版物
相关软件: 烟火;切线;裸体;PyMC公司;朱庇特;Matplotlib…
主要领域:

珠算

软件作者:史嘉欣、陈建飞、朱骏、孙胜阳、罗玉岑、顾义红、周玉浩
参考文献: 0个出版物
相关软件: 爱德华;宽面条;斯坦;西亚诺;张量流;蟒蛇
主要领域:

深钻

软件作者:Robin Manhaeve、Sebastijan Dumančić、Angelika Kimmig、Thomas Demeter、Luc De Raedt
参考文献: 0个出版物
相关软件:
主要领域:

德尔萨

软件作者:马提亚斯·尼克尔斯
参考文献: 0个出版物
相关软件:
主要领域:

西门夫

软件作者:迈克尔·弗莱希格;乌韦·博姆;托马斯·诺克;拉希莫克劳斯
参考文献: 0个出版物
相关软件:
主要领域:

tfp.mcmc公司

软件作者:劳俊鹏,克里斯托弗·苏特,伊恩·兰格莫尔,西里尔·奇米索夫,阿希什·萨克森,帕维尔·索恩佐夫,戴夫·摩尔,里夫·A·索鲁斯,马修·D·霍夫曼,约书亚·V·狄龙
参考文献: 0个出版物
相关软件:
主要领域:

网络PPL

软件作者:N。D、 古德曼;A、 斯图尔穆勒
参考文献: 0个出版物
相关软件:
主要领域: