Matlab公司 13806文件引用(1982–2025) 软件作者: MathWorks公司 相关软件: Simulink;LMI工具箱;枫叶… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
AMPL公司 648份文件引用(1989–2023) 软件作者: 福勒,R.,盖伊,D.M.,科尼根,B.W。 相关软件: CPLEX;Ipopt;游戏… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
全球供应链 357份文件引用(1997–2023) 软件作者: 崇谷 相关软件: R;半标准杆;fda(R)… 主要字段: 功能分析(46-XX);概率论与随机过程(60-XX);统计学(62-XX)…
卡爪 292份文件中引用(2005–2024) 软件作者: 马丁·普卢默 相关软件: R;斯坦;WinBUGS… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
术语 326篇文献引用(1993年-2023年) 软件作者: LINDO系统 相关软件: 林多;GAMS;AMPL… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
ACL2型 287份文件引用(1998–2023) 软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore) 相关软件: Coq;Isabelle/HOL;PVS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
DYNAMO公司 260篇文献引用(1968–2023) 软件作者: 杰伊·赖特·福雷斯特、菲利斯·福克斯、亚历山大·普格三世、格雷斯·杜伦 相关软件: 斯特拉;文西姆;AnyLogic… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
BERT(误码率) 173篇文献引用(2019–2024) 软件作者: 雅各布·德夫林、张明伟、肯顿·李、克里斯蒂娜·图塔诺娃 相关软件: Tensor2传感器;亚当;RoBERTa… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
联合 183份文件引用(1988–2021) 软件作者: K.Mani Chandy;贾亚德夫·米斯拉 相关软件: NQTHM;PVS;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
RStan(RStan) 133篇文献中引用(2015–2024) 软件作者: 郭继强;等。 相关软件: R;rstan;斯坦… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
Modelica公司 119篇文献引用(2000–2023) 软件作者: 耶布拉,L.J。;贝伦格尔,M。;多尔米多,S。;E.扎扎。 相关软件: Dymola;OpenModelica;Matlab… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
ANSYS-CFX分析 113篇文献引用(1998–2024) 软件作者: 网址:www.ansys.com 相关软件: ANSYS;OpenFOAM;FEATFLOW… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
列表-统计 88篇文献引用(1977–2019) 软件作者: 卢克·蒂尔尼 相关软件: R;远景;XGobi… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
DeepWalk公司 112份文件引用(2017–2024) 软件作者: 布莱恩·佩罗齐(Bryan Perozzi)、拉米·阿尔罗福(Rami Al-Rfou)、史蒂文·斯基纳(Steven Skiena) 相关软件: node2vec;线路;单词2vec… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
生物-PEPA 97篇文献引用(2008–2024) 软件作者: 费德里卡·乔切塔(Federica Ciocchetta)、玛丽亚·路易莎·格雷耶罗(Maria Luisa Guerriero)、瓦什蒂·加尔宾(Vashti Galpin)、简·希尔斯顿(Jane Hillston)、朱利奥·卡拉瓦尼亚(Giulio Caravagna)、艾伦·克拉克(Allan Clark)、安德烈亚·德加斯佩里(Andrea Degasperi)、亚当·杜吉 相关软件: 政治公众人物协议;棱镜;生物活性炭… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
皮奥莫 102份文件引用(2012–2024) 软件作者: 威廉·哈特(William E.Hart)。;卡尔·莱尔德;Jean-Paul Watson;大卫·L·伍德拉夫。 相关软件: 古罗比;Ipopt;CPLEX… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
琳达 77份文件引用(1985–2020) 软件作者: 大卫·盖伦特 相关软件: 科莱姆;石灰;重新规范… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
rstan公司 89份文件引用(2017–2024) 软件作者: 郭继强、乔纳·加布里、本·古德里奇、丹尼尔·李、科兹托夫·萨克雷吉达、奥列格·斯克莱尔、延斯·奥赫施莱格尔·阿基约希、哈德利·威克姆、乔尔·德古兹曼、约翰·弗莱彻、托马斯·海勒、埃里克·尼伯勒 相关软件: RStan;R;斯坦… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
巴贝尔 72份文件引用(1988–2013) 软件作者: 马里奥·罗德里格斯-阿塔莱霍 相关软件: 核叶;玩具;咖喱… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
教堂 57篇文献引用(2008–2023) 软件作者: Goodman N.、Mansinghka V.K.、Roy D.、Bonawitz K.、Tenenbaum J.B。 相关软件: 博客;IBAL;ProbLog… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);概率论与随机过程(60-XX)…
GreatSPN公司 53篇文献引用(1988–2022) 软件作者: 朱奈德·巴巴尔;马可·贝库蒂;苏珊娜·多纳泰利(Susanna Donatelli);安德鲁·米纳 相关软件: GreatSPN 1.7;TimeNET;CADP… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
XploRe公司 57篇文献引用(1995年-2014年) 软件作者: 沃尔夫冈·哈德尔 相关软件: R;SAS;JASP… 主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);数值分析(65-XX)…
迷你们 54篇文献引用(2005–2023) 软件作者: Jefferson,C.、Kotthoff,L.、Moore,N.、Nightingale,P.、Petrie,K.E.、Rendl,A。 相关软件: 间隙;微量锌;OEIS… 主要字段: 组合数学(05-XX);结合环与代数(16-XX);群论与推广(20-XX)…
生物CHAM 52篇文献引用(2005–2024) 软件作者: Chabrier,N.、Fages,F.、Soliman,S。 相关软件: 生物-PEPA;棱镜;政治公众人物协议… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
SPNP公司 引用于47份文件(1990–2023) 软件作者: 克里斯托夫·希雷尔(Christophe Hirel)、布鲁诺·塔芬(Bruno Tuffin)、基索尔·斯特里维迪(Kishor S.Trivedi) 相关软件: DSPNexpress;GreatSPN 1.7;分享… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
阿斯毫升 引用于45份文件(2001–2023) 软件作者: 微软研究院;格里斯坎普,W。;古雷维奇·Y。 相关软件: 毫升;SpecExplorer;科拉特… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
分享 38篇文献引用(1992–2024) 软件作者: 罗宾·萨纳(Robin Sahner);Trivedi,Kishor S。;安东尼奥·普利亚菲托 相关软件: 莫比乌斯;SPNP;智能_… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
bc产品 44篇文献引用(2000–2022) 软件作者: 盖坦省贝尔沃;劳伦斯·A·沃尔西。 相关软件: CPLEX;XPRESS;MULTILSB… 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
博客 引用于40篇文献(2006–2023) 软件作者: 米尔奇,B。;Marthi,B。;罗素,S。;桑塔格,D。;Ong,D.L。;Kolobov,A。 相关软件: 教会;ProbLog;IBAL… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
L解析 42篇文献引用(2001–2020) 软件作者: 托米·西尔贾宁 相关软件: 格林戈;亚萨特;MiniSat… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
灵活的 36篇文献引用(2017–2023) 软件作者: 佩里·德瓦尔平(Perry de Valpine)、克里斯托弗·帕西奥雷克(Christopher Paciorek)、丹尼尔·图雷克(Daniel Turek)和克利夫·安德森·伯格曼(Cliff Anderson-Bergman)、邓肯·坦普尔·朗 相关软件: R;斯坦;卡爪… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
FLAC公司 39篇文献引用(1989–2022) 软件作者: 伊塔斯卡 相关软件: FLAC3D;FIDAP;ABAQUS/显式… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
GNMT公司 35篇文献引用(2018–2023) 软件作者: 吴永辉、迈克·舒斯特、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁曹、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤吉事、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯,杰森·里萨(Jason Riesa)、亚历克斯·鲁德尼克(Alex Rudnick 相关软件: ImageNet;AlexNet;亚当… 主要字段: 近似和展开(41-XX);统计学(62-XX);计算机科学(68-XX)…
变压器 16篇文献引用(2021–2023) 软件作者: 托马斯·沃尔夫(Thomas Wolf)、莱桑德尔(Lysandre)首次亮相、维克托·桑(Victor Sanh)、朱利安·肖蒙德(Julien Chaumond)、克莱门特·德兰吉(Clement Delangue)、安东尼·莫伊(Anthony Moi)、皮尔里克·西斯塔斯(Pierric Cistac)、蒂姆·劳特(Tim Ra 相关软件: BERT;RoBERTa公司;Python… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
莫塞尔 37篇文献引用(2003–2021) 软件作者: Fair Isaac公司;科伦巴尼·Y、海普克·S。 相关软件: XPRESS;AMPL;游戏… 主要字段: 总体主题;藏品(00-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…
MPM3D(MPM3D) 36篇文献引用(2011–2023) 软件作者: 清华大学 相关软件: MPM3DMP;卡拉梅洛;LS-DYNA… 主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…
防抱死制动系统 32篇文献引用(2012–2022) 软件作者: Johnsen,E.B.、Hähnle,R.、Schäfer,J.、Schlatte,R.和Steffen,M。 相关软件: JCobox公司;中美合作所;Erlang… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
GEPASI公司 29篇文献引用(1996–2016) 软件作者: P.门德斯 相关软件: 电子电话;虚拟细胞;诈骗… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
PMaude公司 30篇文献引用(2005–2023) 软件作者: 古尔·阿加;何塞·梅塞盖尔(JoséMeseguer);库什克森 相关软件: 莫德;PVeStA;棱镜… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
大学数学 34份文件引用(2016–2023) 软件作者: 沃沃德斯基,V.,莫特伯格,A.,阿伦斯,B.,莱利,C.,潘尼拉,T.,马特,R。 相关软件: github;Coq;立方体… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);范畴理论;同调代数(18-XX)…
布瑞恩 23篇文献引用(2008–2023) 软件作者: Goodman DFM、Brette R 相关软件: 神经元;巢穴;Pynn… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
KQML公司 16篇文献引用(1996–2019) 软件作者: 蒂姆·菲宁(Tim Finin)、理查德·弗里茨森(Richard Fritzson)、唐纳德·普·麦凯(Donald P McKay)、罗宾·麦康蒂尔(Robin McEntire) 相关软件: 神童;Globus工具包;Qu-Prolog… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
沙扎姆 26篇文献引用(1991–2009) 软件作者: SHAZAM分析 相关软件: Stata公司;LIMDEP公司;高斯… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
歧管 28篇文献引用(1993年-2023年) 软件作者: 博桑格,M.M。;Arbab,F。;德·巴克尔,J.W。;Rutten,J.J.M.M。;A.斯库特拉。 相关软件: 琳达;里奥;石灰… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
美国铝业公司 22篇文献引用(2000–2023) 软件作者: Jackson,D。;谢赫特,I。;我·什利亚克特。 相关软件: 合金;自旋蛋白;箔条… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LoTREC公司 29篇文献引用(2001–2023) 软件作者: 奥利维尔·盖斯克特(Olivier Gasquet);安德烈亚斯·赫齐格(Andreas Herzig);多米尼克·朗金;穆罕默德·萨哈德 相关软件: PVS;SPASS;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
PRISM-游戏 30篇文献引用(2013–2022) 软件作者: 陈、陶璐;Forejt,Vojtěch;公司;玛尔塔·奎亚特科夫斯卡;戴维·帕克;西马提斯,艾斯蒂斯 相关软件: 棱镜;主旨;MCMAS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
PySP公司 28篇文献引用(2012–2023) 软件作者: Jean-Paul Watson;伍德拉夫,大卫·L·。;威廉·哈特(William E.Hart)。 相关软件: 皮奥莫;CPLEX;古罗比… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
斯里姆 6篇文献引用(2005–2015) 软件作者: 安德烈亚斯·斯托尔克 相关软件: BLEU;摩西;WordNet… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
UEML公司 28篇文献引用(1997–2010) 软件作者: Vernadat,F。 相关软件: 坦比斯;i*;高尔夫… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
J流量 23篇文献引用(2002–2022) 软件作者: 安德鲁·C·迈尔斯 相关软件: TaintDroid;哈斯克尔;TALx86… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
PhreeqcRM公司 28篇文献引用(2009–2023) 软件作者: 大卫·帕克赫斯特 相关软件: PHREEQC;水文地质;MoMaS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
锌 28篇文献引用(2005–2022) 软件作者: Kim万豪酒店;尼赫科特,尼古拉斯;雷扎·拉斐;Peter J.Stuckey。;玛丽亚·加西亚·德拉·班达;华莱士,马克 相关软件: 本质;微量锌;Gecode… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
CellML手机 17篇文献引用(2001年至2021年) 软件作者: 沃伦·赫德利。;梅兰妮·纳尔逊(Melanie R.Nelson)。;Bullivant,David P。;尼尔森,Poul F。 相关软件: 贞洁;日晷;COPASI… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
IBAL公司 27篇文献引用(2003–2019) 软件作者: Avi Pfeffer公司 相关软件: 教会;博客;棱镜… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
摩西 11份文件引用(2012–2023) 软件作者: Koehn P、Hoang H、Birch A、Callison-Burch C、Federico M、Bertoldi N、Cowan B、Shen W、Moran C、Zens R、Dyer C、Bojar O、Constantin A、Herbst E 相关软件: BLEU;欧罗巴;SRILM… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
PLT兑换 25篇文献引用(2009–2022) 软件作者: 费莱森,马提亚斯;布鲁斯·芬德勒;马修·弗拉特 相关软件: Coq;K校准仪;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
MRST-AD公司 26篇文献引用(2016–2023) 软件作者: Krogstad,S.、Lie,K.-A.、Möyner,O.、Nilsen,H.M.、Raynaud,X.、Skaflestad,B 相关软件: MRST;Matlab;MRST-co2lab… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
自动变速器 12份文件引用(2008–2021) 软件作者: 弗雷德里克·茹奥;弗雷迪·阿利莱尔;让·贝齐文;伊万·库特夫 相关软件: HOL-OCL;UML2合金;AGG… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
CCSL公司 24篇文献引用(2001–2015) 软件作者: Jan Rothe、Bart Jacobs和Hendrik Tews 相关软件: PVS;CoCasl;CASL… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
电子LOTOS 23篇文献引用(1998–2016) 软件作者: 罗伯特·克拉克;安娜·莫雷拉 相关软件: CADP;自旋蛋白;LOTOS… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
变身 23篇文献引用(2012–2023) 软件作者: 托尔斯滕·阿伦特;恩里科·比尔曼;斯特凡·尤拉克;克里斯蒂安·克劳斯(Christian Krause);加布里埃尔·坦泽尔 相关软件: AGG;沟槽;GrGen… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
凯伊迈拉X 25篇文献引用(2015–2024) 软件作者: Fulton,N.、Mitsch,S.、Quesel,J.、Völp,M.、Platzer,A。 相关软件: 凯伊迈拉;SpaceEx;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
毛坯 15篇文献引用(2008–2022) 软件作者: Andrew McCallum等人。 相关软件: 威卡;C4.5;LIBSVM… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
测试时代 16篇文献引用(2002–2020) 软件作者: 马里诺夫,D;库尔希德,南 相关软件: 科拉特;Symstra公司;TACO… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
牢房设计师 17篇文献引用(2007–2019) 软件作者: Funahashi A.、Morohashi M.、Kitano H.、Tanimura N。 相关软件: KEGG;MetaCyc;生物活性炭… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
公式 4份文件引用(2016–2022) 软件作者: 阿奇姆·泽利斯(Achim Zeileis)、伊夫斯羊角面包(Yves Croissant) 相关软件: R;GAMLSS;ggplot2… 主要字段: 统计学(62-XX)
CP逻辑 引用于20份文件(2009–2023) 软件作者: Joost Vennekens;马克·德纳克;莫里斯·布吕诺格 相关软件: ProbLog;PITA;棱镜… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
三倍的 16篇文献引用(2002–2015) 软件作者: Michael Sintek;德克尔,斯特凡 相关软件: SPARQL;平滑;XSB… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…
吉帕克 引用于20份文件(1994年-2023年) 软件作者: Codsi G。;皮尔逊·K·R。;莫纳什大学商业与经济学院政策研究中心 相关软件: GAMS;路径求解器;MPSGE… 主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
坦桑尼亚先令 13份文件引用(1998–2022) 软件作者: 托尔斯滕·布兰茨 相关软件: 树标签;宾夕法尼亚树银行;SVM工具… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
MUSCOD-II公司 19份文件引用(1998年至2021年) 软件作者: 海德堡大学;M.Diehl、D.B.Leineweber、A.A.S.Schäfer 相关软件: Ipopt;ADIFOR公司;SOCS… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
sbtoolbox(sb工具箱) 12份文件引用(2009–2019) 软件作者: 亨宁·施密特;Mats Jirstrand公司 相关软件: Matlab;COPASI;SBML-SAT… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);变分法与最优控制;优化(49-XX)…
Scicos公司 19份文件引用(2006–2019) 软件作者: 印度 相关软件: 科学实验室;科学实验室;FreeFem++… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…
艾伯特 10篇文献引用(2021–2023) 软件作者: 兰振中、陈明达、古德曼、金佩尔、夏尔马、索里克特 相关软件: BERT;RoBERTa公司;格洛维… 主要字段: 统计学(62-XX);计算机科学(68-XX);系统论;对照(93-XX)
通量 4份文件引用(2020–2023) 软件作者: Innes M酒店 相关软件: 朱莉娅;亚当;微分方程.jl… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
JModelica公司 15篇文献引用(2010–2022) 软件作者: – 相关软件: Optimica公司;Modelica;Dymola… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
PSP分析 18篇文献引用(2001年至2021年) 软件作者: M.A.Kirklionis、O.Diekmann、B.Lisser、M.Nool、A.M.de Roos、B.P.Sommeijer 相关软件: Matlab;MATCONT;DDE-BIFTOOL… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
皮恩 8份文件引用(2011–2021) 软件作者: A.P.Davison、D.Brüderle、J.Eppler、J.Kremkow、E.Muller、D.Pecevski、L.Perrinet、P.Yger 相关软件: 巢穴;神经元;布莱恩… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
台阶 16篇文献引用(2014–2019) 软件作者: 伊恩·赫本、陈伟良、斯特凡·威尔斯、埃里克·德舒特 相关软件: MesoRD;URDME;斯莫尔丁… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
皮科拉 16篇文献引用(1999–2017) 软件作者: 弗兰茨·阿赫尔曼(Franz Achermann);马库斯·隆佩;施耐德,Jean-Guy;奥斯卡·尼尔斯特拉斯 相关软件: 里奥;琳达;图片… 主要字段: 计算机科学(68-XX)
格格作响 12份文件引用(2010–2021) 软件作者: 格雷厄姆·威廉姆斯 相关软件: R;RGtk2;RKWard… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
Swin变压器 12份文件引用(2022–2023) 软件作者: 刘泽、林宇通、曹岳、胡涵、魏一轩、张正、林士泰、郭白宁 相关软件: ViT;ImageNet;U-Net… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
胶水 7份文件引用(2021–2023) 软件作者: Wang,A.、Singh,A.、Michael,J.、Hill,F.、Levy,O.、Bowman,S.R。 相关软件: BERT;RoBERTa公司;SkuAD… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
网格图 12份文件引用(2021–2023) 软件作者: 圣地亚哥·巴迪亚;弗朗西斯科·威尔杜戈 相关软件: 朱莉娅;FEniCS;微分方程.jl… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
MPTinR公司 16篇文献引用(2014–2023) 软件作者: 亨利克·辛格曼;大卫·凯伦;昆廷·格罗诺;克里斯蒂安·米勒;Akhil S Bhel公司 相关软件: 多树;树型UGS;R、 … 主要字段: 组合数学(05-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
BETL公司 在14份文件中引用(2015–2021) 软件作者: R.Hiptmair、L.Kielhorn 相关软件: Gmsh;ParaView;BEM++… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
HOL-Boogie公司 在14份文件中引用(2008–2019) 软件作者: Böhme,萨沙;Leino,K.Rustan M。;沃尔夫,伯克哈特 相关软件: Isabelle/HOL;Why3;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
旗鱼 13份文件引用(2014–2022) 软件作者: Januszewski,M。;M.科斯特。 相关软件: CUDA;LUDWIG;帕拉博斯… 主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…
可视化DSD 15篇文献引用(2013年-2023年) 软件作者: Lakin,M.R.、Youssef,S.、Polo,F.、Emmott,S.和Phillips,A。 相关软件: 棱镜;z3;Yosys… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)…
CArtAgO公司 7份文件引用(2009–2011) 软件作者: 亚历山德罗·里奇;安德烈亚·桑蒂(Andrea Santi);米歇尔·皮安蒂;米尔科·维罗利;安德烈亚·奥米西尼(Andrea Omicini);马可·吉迪;马蒂亚·米诺蒂 相关软件: 杰森;Jadex公司;代理发言… 主要字段: 计算机科学(68-XX)
CompCertTSO公司 在14份文件中引用(2013–2022) 软件作者: 什耶夫切克,雅罗斯拉夫;维克托·瓦菲阿迪斯;弗朗西斯科·扎帕·纳德利(Francesco Zappa Nardelli);苏雷什·贾甘纳森;彼得·休厄尔 相关软件: Coq;CompCert;皮尔斯纳… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
夸特 8份文件引用(2017–2023) 软件作者: Christoph W Groth、Michael Wimmer、Anton R Akhmerov、Xavier Waintal 相关软件: 蟒蛇;pybinding;TBTK… 主要字段: 偏微分方程(35-XX);光学、电磁理论(78-XX);量子理论(81-XX)…
PySB公司 12份文件引用(2014–2022) 软件作者: Lopez,C.F.、Muhlich,J.L.、Bachman,J.A.、Sorger,P.K。 相关软件: BioNetGen;斯莫尔丁;步骤… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
卢比/夸脱 11份文件引用(2006–2022) 软件作者: Karl W Broman、Hao Wu、Gary Churchill、aunak Sen 相关软件: R;图表;PLINK… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
变压器XL 12份文件引用(2021–2023) 软件作者: 戴子航、杨志林、杨一鸣、杰米·卡博内尔、奎克·V·勒、鲁斯兰·萨拉赫季诺夫 相关软件: BERT;Tensor2传感器;RoBERTa… 主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…