×

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

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)…

合金

29篇文献引用(2001–2023)
软件作者: 丹尼尔·杰克逊
相关软件: 美国铝业;自旋蛋白;Z、 …
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)…

威特拉2

18篇文献引用(2006–2019)
软件作者: 达尼尔·瓦罗;安德烈·巴洛夫
相关软件: 进度;AGG;图形转换基准…
主要字段: 计算机科学(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)…

虚拟UML

10篇文献引用(2001–2015)
软件作者: 利利乌斯,J。;帕尔特,I.P。
相关软件: 自旋蛋白;沟槽;班德拉…
主要字段: 计算机科学(68-XX);系统论;对照(93-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)

利比亚国际银行

引用于9份文件(2015–2021)
软件作者: 穆雷LM
相关软件: R;vSMC;华丽…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-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)…

筛选结果依据…

全部的 前5名

相关软件