×

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

ABAQUS公司

1722年文献引用(1985–2024)
软件作者: Simulia(达索系统);ABAQUS公司
相关软件: ABAQUS/标准;UMAT;Matlab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

Mfree二维

337份文件引用(2002–2024)
软件作者: G.R.Liu、Z.H Tu
相关软件: Matlab;XFEM;ABAQUS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

ABAQUS/标准

297篇文献引用(1995–2023)
软件作者: 达索系统
相关软件: 阿巴夸斯;UMAT;Matlab…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…

HYPLAS公司

引用于236份文件(1996年-2023年)
软件作者: De Souza Neto EA、PerićD、Owen DRJ
相关软件: 阿巴夸斯;FEAPpv;Matlab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

电子稳定控制系统/Java

120篇文献引用(2001–2022)
软件作者: 格雷格·纳尔逊
相关软件: 规范#;简化;JML…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

周六4j

86篇文献引用(2007–2023)
软件作者: 勒贝雷;帕兰
相关软件: QMaxSAT;MiniSat;箔条…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

停机坪

80篇文献引用(1991–2023)
软件作者: 珍妮特·伯特朗;安托万·米内
相关软件: ASTREE公司;PPL;z3…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

投掷

59篇文献引用(2005–2022)
软件作者: 帕特丽斯·戈德弗里德;尼尔斯·克拉伦德;库什克森
相关软件: 可爱的;z3;KLEE…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

ABAQUS/显式

78篇文献引用(1997–2022)
软件作者: 达索系统
相关软件: 阿巴夸斯;ABAQUS/标准;UMAT…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…

水银

75篇文献引用(1994年至2022年)
软件作者: mercurylang.org网站
相关软件: 哈斯克尔;幼儿保育和教育;咖喱…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…

Nike2D系列

68篇文献引用(1982–2023)
软件作者: J.O.霍尔奎斯特
相关软件: LS-DYNA;DYNA3D;DYNA2D…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

赫茨

65篇文献引用(2005–2023)
软件作者: Mossakowski,T.、Maeder,C.、Lüttich,K。
相关软件: CASL;Isabelle/HOL;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

八角形

59篇文献引用(2002–2014)
软件作者: A.米内。
相关软件: ASTREE公司;停机坪;PPL…
主要字段:

生物CHAM

52篇文献引用(2005–2024)
软件作者: Chabrier,N.、Fages,F.、Soliman,S。
相关软件: 生物-PEPA;棱镜;政治公众人物协议…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

Frama-C公司

43篇文献引用(2009–2023)
软件作者: 帕特里克·鲍丁;理查德·博尼肯(Richard Bonichon);洛伊克·科伦森;帕斯卡尔·库克;扎伊娜·达盖伊(Zaynah Dargaye);Jean-Christophe Filliátre;菲利普·赫尔曼;克劳德·马奇;本杰明·莫纳特;扬尼克·莫伊;安妮·帕卡莱特;维吉尔·普雷沃斯托;朱利安·西莫尔斯和鲍里斯·亚科博夫斯基
相关软件: Coq;Why3;z3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

CiaoPP公司

51篇文献引用(1999–2022)
软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。
相关软件: Ciao;SICStus公司;水星…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

IF-2.0型

38篇文献引用(2002–2022)
软件作者: 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔
相关软件: Uppaal;克罗诺斯;旋转…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

MARC公司

41篇文献引用(1979–2022)
软件作者: 美商麦格尼轩
相关软件: MSC公司。MARC;阿巴夸斯;LS-DYNA…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

TVLA公司

33篇文献引用(2000–2022)
软件作者: 塔尔·列夫·阿米;穆利·萨吉夫
相关软件: 电子稳定控制系统/Java;简化;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

FLagSHyP公司

27篇文献引用(2016–2023)
软件作者: 哈维尔·博内;安东尼奥·吉尔。;理查德·伍德。
相关软件: Gmsh;阿巴夸斯;HYPLAS…
主要字段: 微分几何(53-XX);数值分析(65-XX);变形固体力学(74-XX)…

彗星

25篇文献引用(2003–2023)
软件作者: Cervera M、Agelet de Saracibar C、Chiumenti M
相关软件: GiD;XFEM;代码CMSG…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

LARS公司

23篇文献引用(2016–2022)
软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。
相关软件: 克林戈;o克林戈;SPARQL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

WARP3D(WARP3D)

21篇文献引用(1998–2021)
软件作者: 希利,B.,格勒鲁德,A.,科彭霍夫,K.,罗伊,A.,罗伊·乔杜里,S.,沃尔特斯,M.,比雄,B.,科克伦,K。
相关软件: 阿巴夸斯;ANSYS;驼鹿…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

萨利纳斯

19份文件引用(2003–2023)
软件作者: Bhardwaj,M.、Pierson,K.、Reese,G.、Walsh,T.、Day,D.、Alvin,K.和Peery,J。
相关软件: PETSc;ARPACK;CUDA…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

FunArray(趣味阵列)

18篇文献引用(2011–2021)
软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐
相关软件: ASTREE公司;z3;助推器…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

赛车X

16篇文献引用(2008–2022)
软件作者: 恩格尔,D.,阿什克拉夫特,K
相关软件: 橡皮擦;继电器;洛克史密斯…
主要字段:

UDEC公司

18篇文献引用(1996–2021)
软件作者: Itasca咨询集团
相关软件: Y-Geo;PFC;数学…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);地球物理学(86-XX)

MSC公司。MARC公司

17篇文献引用(2002–2019)
软件作者: MSC软件公司
相关软件: MARC;Matlab;Maxima…
主要字段: 实函数(26-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

代理风险

14篇文献引用(2013年-2023年)
软件作者: 诺曼·芬顿;尼尔、马丁
相关软件: R;TETRAD公司;Elicitator…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

维拉斯科

15篇文献引用(2016–2023)
软件作者: 雅克·亨利·朱丹(Jacques-Henri Jourdan)、文森特·拉波特(Vincent Laporte)、桑德琳·布拉齐(Sandrine Blazy)、泽维尔·勒罗伊(Xavier Leroy)、大卫·皮查迪(David Pichardie)
相关软件: Coq;工具链;z3…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);凸和离散几何(52-XX)…

Seesoft公司

8份文件引用(1995–2011)
软件作者: 艾克,S。;小J.Steffen
相关软件: 代码爬虫;希皮卡特;Jove…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

YOGI公司

13份文件引用(2010–2022)
软件作者: Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Adityas V.Thakur
相关软件: z3;投掷;可爱…
主要字段:

BoogiePL公司

11份文件引用(2005–2020)
软件作者: DeLine,R.,Leino,K.R.M。
相关软件: z3;规范#;布吉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

GKLEE公司

11份文件引用(2013–2022)
软件作者: Li,G.、Li,P.、Sawaya,G.、Gopalakrishnan,G.、Ghosh,I.、Rajan,S.P。
相关软件: CUDA;GPU验证;OpenCL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

OptiStruct公司

10篇文献引用(2008年至2021年)
软件作者: Altair工程公司
相关软件: HyperMesh;顶部.m;起源…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

Dynaflow公司

13份文件引用(1997–2020)
软件作者: 让·普雷沃斯特
相关软件: 代码_右侧;TOUGH-FLAC公司;DuMuX…
主要字段: 变分法与最优控制;优化(49-XX);可变形固体力学(74-XX);流体力学(76-XX)…

起源

10篇文献引用(2004–2017)
软件作者: Vanderplaats研发公司
相关软件: OptiStruct;运输部;ABAQUS/标准…
主要字段: (68N25-XX)

失忆症

9份文件引用(2007–2023)
软件作者: Halfond W、Orso A
相关软件: 皮克斯;PQL;哈斯克尔…
主要字段:

COSMOS/M公司

12份文件引用(1996–2016)
软件作者: 结构研究与分析公司
相关软件: ANSYS;枫树
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);经典热力学,传热(80-XX)…

DyC公司

11份文件引用(2000–2010)
软件作者: Grant,B.、Mock,M.、Philipose,M.和Chambers,C.、Eggers,S.J。
相关软件: VCODE;助记符;BCEL…
主要字段: 计算机科学(68-XX)

PFVIBAT公司

12份文件引用(1976–2014)
软件作者: 本特·A·阿克森。
相关软件: FEAPpv;VICONOPT公司;减少
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

Z3-街道

10篇文献引用(2015年-2023年)
软件作者: Zheng Y、Zhang X、Ganesh V
相关软件: S3;z3;通过…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

PathCrawler(路径爬行器)

5份文件引用(2008年至2021年)
软件作者: Nicky Williams、Bruno Marre、Patricia Mouy、Muriel Roger
相关软件: 可爱的;投掷;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

萨纳

9份文件引用(2009–2023)
软件作者: Balzarotti,D.、Cova,M.、Felmetsger,V.、Jovanovic,N.、Kirda,E.、Kruegel,C.、Vigna,G。
相关软件: 陌生人;斯特林福兹;CVC4…
主要字段: 计算机科学(68-XX)

VPM公司

4份文件引用(2005–2007)
软件作者: 达尼尔·瓦罗(Dániel Varró),安德拉斯·帕塔里察(András Pataricza)
相关软件: VIATRA2;进度;AGG…
主要字段: 计算机科学(68-XX)

基础知识

8份文件引用(2010–2022)
软件作者: 雷吉斯·布朗;托马斯·亨辛格(Thomas A.Henzinger)。;Thibaud Hottelier;劳拉·科瓦奇
相关软件: AProVE;速度;TiML…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

FlowDroid(流动机器人)

9份文件引用(2015年-2023年)
软件作者: Arzt,S.、Rasthofer,S.,Fritz,C.、Bodden,E.、Bartel,A.、Klein,J.、Le Traon,Y.、Octeau,D.、McDaniel,P。
相关软件: 烟尘;TaintDroid;TAJ…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

非SAP

10篇文献引用(1976–2013)
软件作者: 巴瑟·K·J。;威尔逊,E.L。
相关软件: 纳斯特兰
主要字段: 近似和展开(41-XX);变分法与最优控制;优化(49-XX);变形固体力学(74-XX)…

PAGAI公司

10篇文献引用(2014–2022)
软件作者: 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊
相关软件: 停机坪;PPL;阿斯匹克…
主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

SAMCEF Mecano公司

10篇文献引用(1988–2015)
软件作者: SAMTECH公司
相关软件: SAMCEF;BOSS-Quattro;PLCP…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

MaJIC公司

8份文件引用(2001年至2016年)
软件作者: 乔治·阿尔马西(George Almasi);大卫·A·帕多瓦。
相关软件: Matlab;R;ScaLAPACK…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

Pandapower公司

在0个文档中引用
软件作者: 莱昂·瑟纳(Leon Thurner)、亚历山大·谢特勒(Alexander Scheidler)、弗洛里安·谢弗(Florian Schäfer)、詹·亨德里克·门克(Jan-Hendrik Menke)、朱利安·多利钦(Julian Dollichon)、弗里德里克·梅耶(Friederike Meier)、
相关软件: 皮普萨;MATPOWER公司;Python…
主要字段:

泰皮卡尔

9份文件引用(1985–2021)
软件作者: 北卡罗来纳州小林市。
相关软件: 管道;github;戈弗利泽…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

Verigraph公司

9份文件引用(2016–2023)
软件作者: 吉尔赫梅·格罗肖(Guilherme Grochau)阿齐兹(Azzi);贝泽拉、乔纳斯·桑托斯;莱拉·里贝罗(Leila Ribeiro);安德烈·科斯塔;罗德里格斯、莱昂纳多·马尔克斯;罗德里戈·马查多
相关软件: AGG;同意;Henshin…
主要字段:

加州大学洛杉矶分校

8份文件引用(2013–2019)
软件作者: Nuzzo,P.、Puggelli,A.、Seshia,S.A.、Sangiovanni-Vincentelli,A.L。
相关软件: dReal;z3;dReach…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…

地精

8份文件引用(2009–2021)
软件作者: 沃达尼,V。;维尼,V。
相关软件: 洛克史密斯;继电器;ASTREE…
主要字段: 计算机科学(68-XX)

雅克斯塔布

7份文件引用(2011–2023)
软件作者: Johannes Kinder,Helmut Veith
相关软件: 卫星抗体;SLAM;LTL2BA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

基利姆

6篇文献引用(2010–2020)
软件作者: Srinivasan,S.,Mycroft,A。
相关软件: JCobox;防抱死制动系统;Erlang…
主要字段: 计算机科学(68-XX)

QT测试

8份文件引用(2015–2021)
软件作者: Regenwetter,M.,Davis-Stober,C.P.,Lim,S.H.,Guo,Y.,Popova,A.,Zwilling,C.,Cha,Y.-S Messner,W。
相关软件: 港口;多胺;r端口…
主要字段: 凸和离散几何(52-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

蜗牛

7份文件引用(2010–2021)
软件作者: Chandra,S.、Fink,S.J.、Sridharan,M。
相关软件: 投掷;z3;STP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TAJ公司

7份文件引用(2013–2021)
软件作者: Tripp,O.、Pistoia,M.、Fink,S.J.、Sridharan,M.和Weisman,O。
相关软件: FlowDroid;F4F;Dytan…
主要字段:

缓存审核

7份文件引用(2017–2021)
软件作者: Doychev,G.、Feld,D.、Köpf,B.、Mauborgne,L.、Reineke,J。
相关软件: 布吉;JFlow;氯化钠…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

Calysto公司

5份文件引用(2008–2020)
软件作者: Babić,D.,Hu,A.J。
相关软件: z3;电子稳定控制系统/Java;BoogiePL…
主要字段: 计算机科学(68-XX)

DFBA实验室

6篇文献引用(2016–2022)
软件作者: 戈麦斯,J;霍夫纳,K;巴顿,P,
相关软件: Matlab;libMC;CPLEX…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)…

FastImp公司

6篇文献引用(2006–2022)
软件作者: Z.Zhu、B.Song、J.K.White
相关软件: 法斯亨利;quadva;庸医…
主要字段: 数值分析(65-XX);光学、电磁理论(78-XX)

消防员

5份文件引用(2009–2018)
软件作者: 袁,L。;Mai,J。;苏,Z。;陈,H。;Chuah,C.N。;莫哈帕特拉,P。
相关软件: 马尔格雷夫;菲尔马托;HOL-TestGen…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

JSAI公司

4份文件引用(2017年至2022年)
软件作者: 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫
相关软件: JavaScript;幻影;诺恩…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

Klocwork公司

2份文件引用(2007–2021)
软件作者: Rogue Wave软件公司。
相关软件: FindBugs;CodeSonar;斯坦斯…
主要字段:

标签等级T

6篇文献引用(2016年至2021年)
软件作者: 谢杰瑞、陈明明、博莱斯瓦夫·西曼斯基
相关软件: C索引器;SELP;GitHub…
主要字段:

快速规范

5份文件引用(2014–2019)
软件作者: 克莱森,K.,斯莫尔博恩,N.,休斯,J。
相关软件: 快速检查;赶时髦的人;HipSpec…
主要字段: 计算机科学(68-XX)

微型操作系统

6篇文献引用(2008–2019)
软件作者: 安德鲁·道尔顿(Andrew R.Dalton)。;Sally K.Wahba。;斯拉文西·丹达穆迪;霍尔斯特罗姆,杰森·O。
相关软件: FDR3;ProB;AUTOSAR…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

克拉拉

5份文件引用(2011–2021)
软件作者: Bodden E、Lam P、Laurie L
相关软件: Java-MOP;apcluster;VGGFace2…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

戈亚纳

4份文件引用(2009–2013)
软件作者: Fehnker A.、Huuck R.、Jayet P.、Lussenburg M.、Rauch F。;红蜥蜴软件
相关软件: 猎户座;卫星抗体;爆炸…
主要字段: 计算机科学(68-XX)

KaDE公司

6篇文献引用(2019年至2024年)
软件作者: Camporesi,F。;Feret,J。;Lí,K.Q。
相关软件:
主要字段: 组合数学(05-XX);结合环与代数(16-XX);常微分方程(34-XX)…

NOSA-ITACA公司

6篇文献引用(2014–2023)
软件作者: 玛格丽塔·波塞利;文森佐·比南特;玛丽亚·吉拉迪;帕多瓦尼,克里斯蒂娜;朱塞佩·帕斯奎内利
相关软件: ARPACK;BEMLIB;达科塔…
主要字段: (65F15-XX);(74S05-XX);(70J10-XX)

继电器

6篇文献引用(2008年至2021年)
软件作者: Voung,J.W.,Jhala,R.,Lerner,S。
相关软件: 橡皮擦;洛克史密斯;RacerX…
主要字段: 计算机科学(68-XX)

VeriSmall公司

5份文件引用(2012–2018)
软件作者: 安德鲁·W·阿佩尔。
相关软件: Coq;冲锋!;小脚…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

工艺品

4份文件引用(2011–2022)
软件作者: 伊万·波利亚科夫;丹尼尔·索科洛夫;安德烈·莫霍夫
相关软件: VipTool;基因;石化…
主要字段:

六边形

5份文件引用(2004–2021)
软件作者: 克里斯托弗·亨宁格;彼得·埃伯哈德
相关软件: NEWOPT/AIMS;ADIFR;尼姆布斯…
主要字段: 粒子和系统力学(70-XX);可变形固体力学(74-XX);运筹学,数学规划(90-XX)…

j预测器

5份文件引用(2007–2018)
软件作者: 陈峰,Traian Florin Serbanuta,Grigore Roşu
相关软件: AVIO;QuickLex公司;快速通道…
主要字段: 计算机科学(68-XX)

梅林

5份文件引用(2013-2017)
软件作者: Livshits VB、Nori AV、Rajamani SK、Banerjee A
相关软件: 萨纳尔;JavaScript;TAJ…
主要字段: 计算机科学(68-XX)

猎户座

4份文件引用(2006–2018)
软件作者: Dams,Dennis R。;Kedar S.Namjoshi。
相关软件: 卫星抗体;爆炸;Goanna…
主要字段: 计算机科学(68-XX)

皮克斯

引用于3份文件(2014年至2020年)
软件作者: N.Jovanovic、C.Kruegel、E.Kirda
相关软件: 失忆症;TAJ公司;Dytan…
主要字段: 计算机科学(68-XX)

ProbCD(问题CD)

在0个文档中引用
软件作者: 里卡多·温西奥,伊利亚·什穆列维奇
相关软件: R;GOPET公司;BayGO…
主要字段:

程序冲突分析

5份文件引用(2008–2018)
软件作者: 彼得·兰米奇(Peter Lammich);马库斯·穆勒·奥尔姆
相关软件: 存档正式证据;魔术;BicolanoMT…
主要字段: (68N30-XX)

Rely公司

5份文件引用(2018–2022)
软件作者: M.Carbin、S.Misailovic、M.Rinard
相关软件: 胡迪尼;风暴;Daikon…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SAFKASI公司

引用于3份文件(2005–2015)
软件作者: D.S.Wallach、A.W.Appel、E.W.Felten
相关软件: 棱镜;JFlow;活页夹…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

麻雀

5份文件引用(2016–2022)
软件作者: Hakjoo Oh、Kihong Heo、Wonchan Lee、Woosuk Lee、Kwangkeun Yi
相关软件: 烟尘;停机坪;ASTREE…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

UDDAE_优化

5份文件引用(2017年至2022年)
软件作者: Luca Fenzi;维姆·米歇尔斯
相关软件: UQLab;HIFOO;DDE-BIFTOOL…
主要字段: (65F15-XX);(90C31-XX);(60H35-XX)

验证

4份文件引用(2019–2021)
软件作者: 李玉良、阿林·德意志、维克托·维亚努
相关软件: 小卧室;Mcmt;尽快…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

WALA公司

4份文件引用(2009–2021)
软件作者: IBM公司
相关软件: 烟尘;Sawja;深度编码器…
主要字段: 计算机科学(68-XX)

食蚁兽

4份文件引用(2013–2021)
软件作者: Mai,H.、Khurshid,A.、Agarwal,R.、Caesar,M.、Godfrey,P.、King,S.T。
相关软件: VeriCon公司;快;VeriFlow…
主要字段: 计算机科学(68-XX)

c浴缸

1份文件引用(2023)
软件作者: 罗布·霍尔曼(Rob Holman),托德·霍兰德(Todd Holland)纳撒尼尔工厂
相关软件: CIRN;OpenCV;TensorFlow…
主要字段: 计算机科学(68-XX)

慈白

4份文件引用(2007–2010)
软件作者: 弗朗西斯科·洛戈佐
相关软件: ASTREE公司;CSSV;Groovy…
主要字段: 计算机科学(68-XX)

叮当声静态分析仪

1份文件引用(2021)
软件作者: Clang团队
相关软件: 设计;判决-BERT;图像魔术…
主要字段: 计算机科学(68-XX)

DD3IMP公司

4份文件引用(2007–2017)
软件作者: L.F.梅内塞斯;D.M.Neto;M.C.Oliveira;J.L.阿尔维斯
相关软件: Netgen;FEAPpv;MKL…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

DIF树

4份文件引用(2003–2017)
软件作者: J.B.Dugan、B.Venkataraman、R.Gulati
相关软件: DFTCalc;CADP;MRMC…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

德莱宾

引用于3份文件(2017年-2023年)
软件作者: Daniel Arp、Michael Spreitzenbarth、Hugo Gascon、Konrad Rieck
相关软件: ADAM;DroidMat;机器人变色龙…
主要字段: 统计学(62-XX);计算机科学(68-XX)

G空间

引用于3份文件(2015–2022)
软件作者: Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal
相关软件: CUDA;GKLEE;GPU验证…
主要字段: 数学逻辑与基础(03-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

手动

在0个文档中引用
软件作者: Qi,L.,Jin,H.,Foster,I.,Gawor,J。
相关软件: Globus工具包;MapReduce;WebSphere…
主要字段:

筛选结果依据…

全部的 前5名

相关软件