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)…
生物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)
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)…
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… 主要字段: –
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)…
雅克斯塔布 7份文件引用(2011–2023) 软件作者: Johannes Kinder,Helmut Veith 相关软件: 卫星抗体;SLAM;LTL2BA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(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)
微型操作系统 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)
六边形 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)
程序冲突分析 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份文件引用(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)
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)…