CESAR公司 160篇文献引用(1982–2023) 软件作者: Queille,J.P。;J.西法基斯。 相关软件: 自旋蛋白;灌篮;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
清爽 35篇文献引用(1994–2023) 软件作者: M Heiner、M Herajy、F Liu、C Rohr、M Schwaick 相关软件: 马尔西;CPN/工具;日晷… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);差分方程和函数方程(39-XX);计算机科学(68-XX)…
愤怒 24篇文献引用(2007–2023) 软件作者: 迈克尔·吉廷斯(Michael Gittings);罗伯特·韦弗(Robert Weaver);迈克尔·克洛弗;托马斯·贝特拉赫;尼尔森·伯恩;Robert Coker;Edward Dendy;Robert Hueckstaedt;新,Kim;Oakes,W.Rob;戴尔·兰塔;瑞安·斯特凡 相关软件: HLLE;闪光;卡斯特罗… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
MARTE公司 10篇文献引用(2009–2017) 软件作者: 对象管理集团。 相关软件: SysML;Uppaal;旋转… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)
税收 15篇文献引用(2001–2017) 软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特 相关软件: Uppaal;克罗诺斯;埃菲尔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
TVOC公司 20篇文献引用(2005年至2022年) 软件作者: 克拉克·巴雷特;方,易;本杰明·戈德伯格(Benjamin Goldberg);胡莹;阿米尔·普努利;勒诺尔·扎克 相关软件: CVT;Coq;z3… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
可控硅 10篇文献引用(2000–2018) 软件作者: 伊曼·布尔吉巴;贝莱德·莫阿 相关软件: 自旋蛋白;NuSMV;PVS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
无级变速器 18篇文献引用(1998年至2021年) 软件作者: 普努利,A。;施特里克曼,O。;西格尔,M。 相关软件: TVOC;CVC;系统C… 主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);计算机科学(68-XX)…
VIP工具 12份文件引用(2008–2022) 软件作者: Bergenthum,R.、Desel,J.、Lorenz,R.和Mauser,S。 相关软件: 红矿工;基因;石化… 主要字段: 计算机科学(68-XX)
LTSA-WS公司 12份文件引用(2006–2021) 软件作者: Magee J、Kramer J、Uchitel S等人 相关软件: WSAT;NuSMV;UFO… 主要字段: 计算机科学(68-XX)
MUSer2系列 15篇文献引用(2013–2023) 软件作者: 安东·贝洛夫(Anton Belov);若昂·西尔瓦侯爵 相关软件: MiniSat;sharpSAT;显示… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
m像素-深度 14篇文献引用(2015–2022) 软件作者: 拉胡尔·加尔格;珍妮·加尔文;李廷文;斯里坎斯·潘纳拉 相关软件: OpenFOAM;车灯;亮点… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
伽利略 10篇文献引用(2000–2017) 软件作者: Joanne Bechta Dugan、Kevin J.Sullivan、David Coppit 相关软件: NuSMV;DFTCalc;DIF树… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
恐龙皮 12份文件引用(2016–2023) 软件作者: Abdelsamie,Abouelmagd;戈登,弗鲁;蒂莫·奥斯特(Timo Oster);Felix Dietzsch;贾尼加,加博尔;多米尼克·塞韦宁 相关软件: 坎特拉;2DECOMP;GitHub… 主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)
ModelPlex公司 10篇文献引用(2016–2024) 软件作者: Mitsch,S.、Platzer,A。 相关软件: 凯伊迈拉X;凯伊迈拉;dReach… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
CoVaC公司 10篇文献引用(2009–2023) 软件作者: Zaks,A.,Pnueli,A。 相关软件: z3;SeaHorn;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
艾尔默 7份文件引用(2013–2023) 软件作者: Gollan,R.J。;雅各布斯,P.A。 相关软件: 澳大利亚统计局;达科塔;AMLET… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
UniForM公司 7份文件引用(1999–2011) 软件作者: Bernd Krieg-Brückner、Jan Peleska、Ernst-Rüdiger Olderog、Alexander Baer 相关软件: Uppaal;FranTk;GHC… 主要字段: 计算机科学(68-XX)
杰克 4份文件引用(2004–2011) 软件作者: Gilles Barthe、Lilian Burdy、Julien Charles、Benjamin Grégoire、Marieke Huisman、Jean-Louis Lanet、Mariela Pavlova、Antoine Requet 相关软件: 卡拉卡拉;JML;Why3… 主要字段: 计算机科学(68-XX)
再现BLAS 6篇文献引用(2020–2023) 软件作者: P.Ahrens、H.D.Nguyen、J.Demmel 相关软件: MPFR;mctoolbox;稀疏矩阵… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)
温迪 3份文件引用(2011–2020) 软件作者: 尼尔斯·洛曼;丹妮拉·温伯格 相关软件: BPEL2oWFN;LOTOS;沃夫兰… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
查理 3份文件引用(2015–2018) 软件作者: 莫妮卡·海纳;马丁·施瓦里克;詹·蒂埃里·韦格纳 相关软件: 窥探;玛丽;可视化DSD… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
验证日志 4份文件引用(2008–2018) 软件作者: 乔治·科埃略(Jorge Coelho),马里奥·弗洛里多(Mário Florido) 相关软件: CLP(柔性);定理;数学… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CGBayes网络 2份文件引用(2016) 软件作者: McGeachie,M.J。;Chang,H.-H。;魏斯,S.T。 相关软件: 学习;UCI-ml;插入符号… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
易用VVUQ 2份文件引用(2022–2023) 软件作者: 罗宾·理查德森(Robin A.Richardson)、大卫·怀特(David W.W.W.W.Wright)、沃特·爱德林(Wouter Edeling)、维塔塔斯·扬考斯卡斯(Vytautas Jancauskas)、贾拉尔·拉赫利利(Jalal Lakhlili) 相关软件: 不确定性;UQLab;混沌间谍… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
HyDI公司 3份文件引用(2013–2015) 软件作者: Cimatti A、Mover S、Tonetta S 相关软件: SpaceEx;数学SAT;HySAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
DBSolve公司 2份文件引用(2009–2016) 软件作者: – 相关软件: GNA;科帕西;EPE公司 主要字段: 常微分方程(34-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
鼓 2份文件引用(2020–2023) 软件作者: 特洛伊·巴特勒;哈里·哈库拉 相关软件: 贝叶斯DA;adcir公司;数学软件 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…
流体防火阀 2份文件引用(2020–2022) 软件作者: C.T.雅各布斯,M.D.皮戈特 相关软件: PETSc/TS;ADCIRC;FEniCS… 主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)
ITPN-全焊 引用于1份文件(2021) 软件作者: 艾琳娜·帕西尼·诺莫维奇(Elina Pacini Naumovich);Simona Bernardi;马可·格里鲍多 相关软件: – 主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX)
maDG公司 2份文件引用(2021) 软件作者: 洛里(Mark W.Lohry)。;路易吉·马蒂内利 相关软件: HLLE;SU2;开放式泡沫 主要字段: 数值分析(65-XX);流体力学(76-XX)
pdFOAM公司 2份文件引用(2017–2018) 软件作者: Capon,C.J。;布朗,M。;白色,C。;Scanlon,T。;R.R.博伊斯。 相关软件: DRACO公司;PicUp3D;莫纳科… 主要字段: 数值分析(65-XX);流体力学(76-XX);天文学和天体物理学(85-XX)
功率分配器 2份文件引用(2016–2018) 软件作者: A.Hazra、R.Mukherjee、P.Dasgupta、A.Pal、K.Harer、A.Banerjee和S.Mukhersjee 相关软件: MiniSat;通过;AMT… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
SymPLFIED公司 2份文件引用(2012–2013) 软件作者: 卡提克·帕塔比拉曼;Nithin M.Nakka。;Kalbarczyk,Zbigniew T。;拉维珊卡·K·伊耶。 相关软件: Stratego;OBJ咖啡馆;MMT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
XACC公司 引用于1份文件(2022) 软件作者: 麦卡斯基,A.J。;杜米特雷斯库,E.F。;Liakh,D。;陈,M。;冯,W。;洪堡,T.S。 相关软件: LLVM;开放费米子;问题#… 主要字段: 量子理论(81-XX)
美国国际开发署 在0个文档中引用 软件作者: 阿尔伯特·波杜森科(Albert Podusenko)、巴特·范·埃尔普(Bart van Erp)、马格努斯·库达尔(Magnus Koudahl)、贝尔特·德弗里斯(Bert de Vries) 相关软件: 反向Diff.jl;转发差异;图灵… 主要字段: –
ASDeX公司 引用于1份文件(2018) 软件作者: 马明宇(Mingyu Ma)、拉尔斯·赫德里奇(Lars Hedrich)、克里斯汀·斯波勒(Christian Sporrer) 相关软件: MiniSat;通过;AMT… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
BIGHORN公司 引用于1份文件(2019) 软件作者: 爱达荷州国家实验室(INL):夏一东;大卫·安德斯(David Andrs);理查德·查尔斯·马蒂诺 相关软件: 重构;Matlab;SIERRA… 主要字段: 流体力学(76-XX)
立方体AMR 引用于1份文件(2023) 软件作者: 米歇尔·查兹马诺拉基斯(Michail Chatzimanolakis);帕斯卡·韦伯(Pascal Weber);费边·沃梅林格;彼得罗·库穆塔科斯 相关软件: github;odmd;OctNet… 主要字段: 流体力学(76-XX);统计力学,物质结构(82-XX)
弗勒瓦 在0个文档中引用 软件作者: Kadow,C.、Illing,S.、Lucio-Eceiza,E.E.、Bergemann,M.、Ramadoss,M.,Sommer,P.S.、Kunst,O.、Schartner,T.、Pankatz,K.、Grieger,J.、Schuster,M.和Richling,A.、Thiemann,H.、Kirchner,I.、Rust,H.W.、Ludwig,T.,Cubasch,U.、Ulbrich,U。 相关软件: ESMValTool;MurCSS;解决方案… 主要字段: –
HALO3D系统 在0个文档中引用 软件作者: 文森特·卡索;张文波;马利卡琼(Mallikarjun)、什鲁塔基尔蒂(Shrutakeerti);哈巴什(Wagdi G.Habashi)。;高,宋;阿伯法兹·卡沙尼 相关软件: – 主要字段: 流体力学(76-XX)
卡拉特 引用于1份文件(2009) 软件作者: 加多,J。;Hegedüs,Cs。;Hegyi,Gy。;凯雷斯图里,A。;Makai,M。;Maráczy,Cs。;Telbisz,M。 相关软件: 间隙 主要字段: 拓扑群,李群(22-XX);统计力学,物质结构(82-XX)
MATF公司 引用于1份文件(2020) 软件作者: M.S.Khan。;M.I.Khan。;苏联马利克。;Khalid,O。;阿齐姆,M。;北卡罗来纳州贾维德。 相关软件: SenetHM公司 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
尖叫 在0个文档中引用 软件作者: Rowland J.C.、Shelef E.、Pope P.A.、Muss J.、Gangodagamage C.、Brumby S.P.等人。 相关软件: 床-ATM;RVR曲径;PyRIS… 主要字段: –
VECMAtk公司 在0个文档中引用 软件作者: 格伦、D、理查森、R、A、赖特、D、W、扬卡斯、V、辛克莱、R、卡尔索弗、P、瓦索、M、阿拉布尼贾德、H、皮昂泰克、T、科普塔、P、博萨克、B、拉赫利利、J、霍恩、O、苏莱门诺娃、D、埃德琳、W、克罗姆林、D、尼基索娃、A;Coveney,P V公司 相关软件: 不确定性;SQL炼金术;UQLab… 主要字段: –