×

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

阿巴克斯

软件作者:Simulia(达索系统);ABAQUS公司
参考文献: 1577份出版物(1985-2022)
相关软件: 麻省大学;ABAQUS/标准;ABAQUS/显式;Matlab语言;ANSYS软件;LS-DYNA…
主要领域: 数值分析(65-XX);变形固体力学(74-XX);流体力学(76-XX)

Mfree2D型

软件作者:G.R.Liu,Z.H.图
参考文献: 324种出版物(2002-2022年)
相关软件: Matlab语言;XFEM公司;阿巴克斯;FEAPpv;LS-DYNA;MFDMtool…
主要领域: 偏微分方程组(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

ABAQUS/标准

软件作者:达索系统
参考文献: 215种出版物(1995-2022年)
相关软件: 阿巴克斯;麻省大学;Matlab语言;ABAQUS/显式;数学;海普拉斯…
主要领域: 数值分析(65-XX);粒子与系统力学(70-XX);可变形固体力学(74-XX)

海普拉斯

软件作者:De Souza Neto EA,PerićD,欧文博士
参考文献: 205种出版物(1996-2022年)
相关软件: 阿巴克斯;FEAPpv;Matlab语言;AceFEM;Trilinos公司;CutFEM…
主要领域: 数值分析(65-XX);变形固体力学(74-XX);流体力学(76-XX)

电子稳定控制系统/Java

软件作者:格雷格·纳尔逊
参考文献: 118种出版物(2001-2021年)
相关软件: 规格;简化;JML公司;布吉;喀拉喀托;埃菲尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

萨特4J

软件作者:勒贝尔;帕兰
参考文献: 83种出版物(2007-2023)
相关软件: 迷你卫星;糠;qmax卫星;打开WBO;皮科萨;z3…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

ABAQUS/显式

软件作者:达索系统
参考文献: 78种出版物(1997-2022)
相关软件: 阿巴克斯;ABAQUS/标准;麻省大学;VUMAT公司;LS-DYNA;弗拉克…
主要领域: 数值分析(65-XX);粒子与系统力学(70-XX);可变形固体力学(74-XX)

投掷

软件作者:帕特里斯·戈德弗里德;尼尔斯·克拉伦;Koushik Sen公司
参考文献: 58种出版物(2005-2022)
相关软件: 可爱的;Pex公司;z3;污水处理厂;克莱;Java探路者…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

围裙

软件作者:珍妮,贝特朗;敏妮,安托万
参考文献: 69种出版物(1991-2021年)
相关软件: 阿斯特里;PPL;z3;八角形;过程间;帕加伊…
主要领域: 凸与离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)

水银

软件作者:mercurylang.org网站
参考文献: 70种出版物(1994-2022)
相关软件: 幼儿保育和教育;DPPD;西斯库斯;恰奥普;再见;哈斯克尔…
主要领域: 一般性和全局性主题;收款(00-XX);范畴论;同调代数(18-XX);统计(62-XX)

Hets公司

软件作者:Mossakowski,T.,Maeder,C.,Lüttich,K。
参考文献: 62种出版物(2005-2021年)
相关软件: CASL公司;伊莎贝尔/霍尔;伊莎贝尔;莫德;卡菲奥比;因为…
主要领域: 数理逻辑与基础(03-XX);范畴论;同调代数(18-XX);计算机科学(68-XX)

Nike2D系列

软件作者:J.O.哈尔奎斯特
参考文献: 63种出版物(1982-2022)
相关软件: LS-DYNA;DYNA3D;DYNA2D;洪都;张量;图迪II…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);可变形固体力学(74-XX)

八角形

软件作者:米内,A。
参考文献: 59种出版物(2002-2014)
相关软件: 阿斯特里;停机坪;PPL;ESC/Java;球茎;为什么3…
主要领域: 数理逻辑与基础(03-XX);凸与离散几何(52-XX);数值分析(65-XX)

Frama-C公司

软件作者:帕特里克·鲍丁;理查德·博尼肯;洛伊克·科伦森;帕斯卡库克;扎纳·达尔加耶;让-克里斯托夫·菲利特;菲利普·赫尔曼;克劳德·马凯;本杰明莫纳特;莫亚尼克;安妮·帕卡莱;处女座的普雷沃斯托;朱利安·西诺尔斯和鲍里斯·亚科博夫斯基
参考文献: 39种出版物(2009-2021)
相关软件: 原因3;成本;z3;ACSL公司;喀拉喀托;布吉…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);数值分析(65-XX)

比查姆

软件作者:查布里耶,N.,法吉斯,F.,索利曼,S。
参考文献: 45种出版物(2005-2022)
相关软件: 生物酶;棱镜;佩帕;生物网原;磅;GNA…
主要领域: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

再见

软件作者:Hermenegildo公司,Bueno F.,Puebla G.,Lopez P。
参考文献: 47种出版物(1999年至2022年)
相关软件: 再见;西斯库斯;汞;z3;拉夫特;因为…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

如果-2.0

软件作者:波兹加,马吕斯;格拉夫,苏珊娜;莫尼尔,劳伦特
参考文献: 37种出版物(2002-2017)
相关软件: 乌帕;克洛诺斯;旋转;海因奇;CADP;CMC…
主要领域: 一般性和全局性主题;收款(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)

马克

软件作者:软件硕士
参考文献: 39种出版物(1979-2022)
相关软件: 理学硕士马克;阿巴克斯;LS-DYNA;密码;结石;帕特兰…
主要领域: 数值分析(65-XX);变形固体力学(74-XX);流体力学(76-XX)

TVLA公司

软件作者:急性心肌梗死;喜怒无常的射手座
参考文献: 31种出版物(2000-2020)
相关软件: ESC/Java;简化;旋转;猛击;阿斯特里;z3…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

彗星

软件作者:Cervera M、Agelet de Saracibar C、Chiumenti M
参考文献: 24种出版物(2003-2022)
相关软件: 吉德;编解码器消息;FEAPpv;佩蒂加;夸德克;农业2d…
主要领域: 数值分析(65-XX);变形固体力学(74-XX);流体力学(76-XX)

弗拉格希普

软件作者:博内,哈维尔;吉尔,安东尼奥J。;伍德,理查德D。
参考文献: 24种出版物(2016-2022)
相关软件: Gmsh公司;海普拉斯;阿巴克斯;Matlab语言;项目经理;PMTK…
主要领域: 微分几何(53-XX);数值分析(65-XX);可变形固体力学(74-XX)

翘曲3D

软件作者:希利,B.,古勒鲁,A.,科彭霍夫,K.,罗伊,A.,罗伊乔杜里,S.,沃尔特斯,M.,比雄,B.,科克兰,K.,卡莱尔,A.,多德,R。
参考文献: 21种出版物(1998-2021)
相关软件: 阿巴克斯;ANSYS软件;驼鹿;LS-DYNA;康索尔;代码\u Aster…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

萨利纳斯

软件作者:Bhardwaj,M.,Pierson,K.,Reese,G.,Walsh,T.,Day,D.,Alvin,K.,Peery,J。
参考文献: 18种出版物(2003-2018)
相关软件: PETSc公司;ARPACK;Trilinos公司;拉帕克;腮腺炎;炒作…
主要领域: 偏微分方程组(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

乌代克

软件作者:伊塔斯卡咨询集团公司
参考文献: 18种出版物(1996-2021)
相关软件: Y-Geo公司;PFC;数学;强悍-FLAC;FLAC3D;下降…
主要领域: 数值分析(65-XX);变形固体力学(74-XX);地球物理学(86-XX)

理学硕士马克

软件作者:软件公司理学硕士
参考文献: 17种出版物(2002-2019)
相关软件: 马克;Matlab语言;Wx最大;马克西玛;皮纳;通量…
主要领域: 实函数(26-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)

拉塞克斯

软件作者:恩格勒,D.,阿什克拉夫特,K
参考文献: 15种出版物(2008-2021)
相关软件: 橡皮擦;继电器;锁匠;划伤;迷你卫星;国际象棋…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

FunArray公司

软件作者:库索,帕特里克;库索,拉迪亚;洛佐,弗朗西斯科
参考文献: 16种出版物(2011-2021)
相关软件: 阿斯特里;z3;助推器;停机坪;Mcmt;公主…
主要领域: 序,格,有序代数结构(06-XX);计算机科学(68-XX)

西软

软件作者:艾克,S。;小J.斯特芬
参考文献: 8种出版物(1995-2011)
相关软件: 编解码器;希皮卡;朱庇特;CVS扫描;Vizz3D;梅里弗…
主要领域: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

瑜伽士

软件作者:Aditya诉Nori,Sriram K.Rajamani,SaiDeep Tetali,Aditya诉Thakur
参考文献: 12种出版物(2010-2021)
相关软件: 投掷;z3;可爱的;Java探路者;Pex公司;克莱…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

阿根利斯克

软件作者:芬顿,诺曼;尼尔,马丁
参考文献: 11种出版物(2013-2021)
相关软件: R;四分体;激发子;多布森;手臂;brms…
主要领域: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

布吉普尔

软件作者:德琳,R.,莱诺,K.R.M。
参考文献: 10种出版物(2005-2020)
相关软件: z3;规格;布吉;霍尔布吉;ESC/Java;VCC…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

动态流

软件作者:让·H·普雷沃斯特
参考文献: 13种出版物(1997-2020)
相关软件: 强悍-FLAC;杜穆克斯;急流;OpenGeoSys公司;代码亮;日蚀…
主要领域: 变分法与最优控制;优化(49-XX);变形固体力学(74-XX);流体力学(76-XX)

起源

软件作者:范德普拉茨研发公司
参考文献: 11种出版物(2004-2017)
相关软件: 光学结构;交通部;ABAQUS/标准;嗯;纳斯川;LS-DYNA…
主要领域: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)

GKLEE公司

软件作者:Li,G.,Li,P.,Sawaya,G.,Gopalakrishnan,G.,Ghosh,I.,Rajan,S.P。
参考文献: 10种出版物(2013-2022)
相关软件: gpu验证;库达大学;OpenCL公司;成本;优雅;GitHub…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

OptiStruct公司

软件作者:牵牛星工程公司
参考文献: 9种出版物(2008-2020)
相关软件: 超网状;起源;Matlab语言;顶部.m;ANSYS软件;SolidWorks…
主要领域: 数值分析(65-XX);变形固体力学(74-XX);流体力学(76-XX)

维拉斯科

软件作者:雅克·亨利·约尔丹、文森特·拉波特、桑德琳·布莱兹、泽维尔·勒罗伊、大卫·皮查迪
参考文献: 12种出版物(2016-2021)
相关软件: 成本;z3;阿斯特里;工具链;LLVM;哈希*…
主要领域: 数理逻辑与基础(03-XX);序,格,有序代数结构(06-XX);凸与离散几何(52-XX)

宇宙/米

软件作者:结构研究与分析公司
参考文献: 12种出版物(1996-2016)
相关软件: ANSYS软件;枫木
主要领域: 数值分析(65-XX);变形固体力学(74-XX);经典热力学,传热学(80-XX)

动态

软件作者:格兰特,B.,莫克,M.,菲利浦,M.,钱伯斯,C.,埃格斯,S.J。
参考文献: 11种出版物(2000-2010)
相关软件: V代码;TALx86;ASM公司;LMS;瓶;BCEL…
主要领域: 计算机科学(68-XX)

PFVIBAT公司

软件作者:埃克森,本特A。
参考文献: 12种出版物(1976-2014)
相关软件: FEAPpv;维康诺特;减少
主要领域: 数值分析(65-XX);变形固体力学(74-XX);流体力学(76-XX)

失忆症

软件作者:哈尔福德W,奥索A
参考文献: 8种出版物(2007-2014)
相关软件: 虔诚;dk.brics.automaton公司;PQL;哈斯克尔;泰姬陵;F4F…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

爬虫

软件作者:尼基·威廉姆斯,布鲁诺·马尔,帕特里夏·穆伊,穆里尔·罗杰
参考文献: 5种出版物(2008-2021)
相关软件: 可爱的;投掷;z3;Frama-C;Pex公司;桑特…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

VPM公司

软件作者:Dániel VarróAndrás Pataricza
参考文献: 4种出版物(2005-2007)
相关软件: 高架桥2;进展;阿托米3;伏贾巴;图形转换基准;GXL…
主要领域: 计算机科学(68-XX)

无间隙

软件作者:洗澡,K.J。;威尔逊,E.L。
参考文献: 10种出版物(1976-2013)
相关软件: 纳斯川
主要领域: 近似和展开(41-XX);变分法与最优控制;优化(49-XX);可变形固体力学(74-XX)

萨姆塞夫·梅卡诺

软件作者:萨姆泰克
参考文献: 10种出版物(1988-2015)
相关软件: 萨姆塞夫;夸特罗老板;PLCP;SAMCEF油田
主要领域: 数值分析(65-XX);计算机科学(68-XX);粒子与系统力学(70-XX)

理智的

软件作者:巴尔扎罗蒂,D.,科瓦,M.,费尔梅茨格,V.,约万诺维奇,N.,基尔达,E.,克鲁格,C.,维格纳,G。
参考文献: 8种出版物(2009-2021)
相关软件: 陌生人;泰姬陵;梅林;Z3str2;Z3str3型;诺恩…
主要领域: 计算机科学(68-XX)

马吉

软件作者:乔治·阿尔玛西;帕多瓦,大卫A。
参考文献: 8种出版物(2001-2016)
相关软件: Matlab语言;R;斯卡拉帕克;示踪剂;林坎特;GitHub…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

Z3街

软件作者:郑Y,张X,甘尼什五世
参考文献: 8种出版物(2015-2021)
相关软件: S3;汉比;z3;通过;陌生人;诺恩…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

基础知识

软件作者:布兰克,雷吉斯;亨辛格,托马斯A。;霍特利埃,蒂波特;科瓦茨,劳拉
参考文献: 6种出版物(2010-2021)
相关软件: 速度;肉冻;扁桃体;小猫;批准;LLVM…
主要领域: 计算机科学(68-XX)

计算

软件作者:Nuzzo,P.,Puggelli,A.,Seshia,S.A.,Sangiovanni Vincentelli,A.L。
参考文献: 8种出版物(2013-2019)
相关软件: 德雷尔;z3;德拉赫;是的;SMT-大鼠;SMT-LIB…
主要领域: 计算机科学(68-XX);粒子与系统力学(70-XX);运筹学,数学规划(90-XX)

妖精

软件作者:沃伊达尼,V。;维尼,V。
参考文献: 8种出版物(2009-2021)
相关软件: 锁匠;继电器;阿斯特里;DDVerify公司;RacerX公司;再见…
主要领域: 计算机科学(68-XX)

基林

软件作者:斯里尼瓦桑,S.,密克罗夫特,A。
参考文献: 6种出版物(2010-2020)
相关软件: JCobox公司;防抱死制动系统;二郎;中美合作所;成本;环境谈话…
主要领域: 计算机科学(68-XX)

帕盖

软件作者:朱利安·亨利、大卫·蒙诺、马修·莫伊
参考文献: 8种出版物(2014-2020)
相关软件: 停机坪;PPL;海因奇;法弗;阿斯特里;EFM工具…
主要领域: 数理逻辑与基础(03-XX);凸与离散几何(52-XX);计算机科学(68-XX)

数量测试

软件作者:Regenwetter,M.,Davis Stober,C.P.,Lim,S.H.,Guo,Y.,Popova,A.,Zwilling,C.,Cha,Y.-S.Messner,W。
参考文献: 8种出版物(2015-2021)
相关软件: 波尔塔;多项式;rPorta公司;斯坦;github;比姆斯…
主要领域: 凸与离散几何(52-XX);统计学(62-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

依偎

软件作者:钱德拉,S.,芬克,S.J.,斯里德哈兰,M。
参考文献: 7种出版物(2010-2021)
相关软件: 投掷;z3;污水处理厂;瑜伽士;克莱;因夫根…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

泰姬陵

软件作者:特里普,O.,皮斯托亚,M.,芬克,S.J.,斯里德哈兰,M.,韦斯曼,O。
参考文献: 7种出版物(2013-2021)
相关软件: 流动机器人;迪坦;F4F;污点机器人;虔诚;全景图…
主要领域: 计算机科学(68-XX)

典型的

软件作者:小林市,N。
参考文献: 8种出版物(1985-2017)
相关软件: 派珀;地鼠;github;去吧;RacerX公司;绝对值…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

缓存审核

软件作者:Doychev,G.,Feld,D.,Köpf,B.,Mauborgne,L.,Reineke,J。
参考文献: 7种出版物(2017-2021)
相关软件: 布吉;JFlow公司;氯化钠;LLVM;哈希*;茶…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

卡利斯托

软件作者:巴比奇,D.,胡,A.J。
参考文献: 5种出版物(2008-2020)
相关软件: z3;ESC/Java;布吉普尔;猛击;爆破;迷你卫星…
主要领域: 计算机科学(68-XX)

消防员

软件作者:元,L。;麦,J。;苏,Z。;陈,H。;Chuah,C.N。;莫哈帕特拉,P。
参考文献: 6种出版物(2009-2020)
相关软件: 马尔格雷夫;公司;HOL试验原;CP矿工;科德科德;z3…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

克洛克工作

软件作者:Rogue Wave软件公司。
参考文献: 3个出版物(2007-2021)
相关软件: 芬德布格斯;码声纳;斯坦斯;级联;QEMU公司;砰的一声…
主要领域: 计算机科学(68-XX)

快速规范

软件作者:克莱森,K.,斯莫尔博恩,N.,休斯,J。
参考文献: 5种出版物(2014-2019)
相关软件: 快速检查;赶时髦的人;HipSpec公司;芝诺;理论;ACL2…
主要领域: 计算机科学(68-XX)

丁尼奥斯

软件作者:道尔顿,安德鲁R。;瓦哈巴,莎莉K。;丹达姆迪、斯拉凡提;哈尔斯特罗姆,杰森O。
参考文献: 6种出版物(2008-2019)
相关软件: FDR3;问题;自动搜索;魔法钟;妖精;阿斯特里…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

克拉拉

软件作者:波登·E·林·P·劳丽·L
参考文献: 5种出版物(2011-2021)
相关软件: 爪哇拖把;VG面2;聚团簇;聚团簇;磁粉探伤;戴塔…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

DFBAlab公司

软件作者:戈麦斯,J;霍夫纳,K;巴顿,P,
参考文献: 5种出版物(2016-2018)
相关软件: Matlab语言;CPLEX公司;共奸;地铁;蒙乃尔;眼镜蛇工具箱…
主要领域: 数值分析(65-XX);运筹学,数学规划(90-XX);生物学和其他自然科学(92-XX)

空腹

软件作者:Z。朱伯松J K怀特
参考文献: 5种出版物(2006-2022)
相关软件: 法斯特亨利;夸德克;普罗沃德;PHG;Netgen公司
主要领域: 数值分析(65-XX);光学,电磁理论(78-XX)

流动机器人

软件作者:Arzt,S.,Rasshofer,S.,Fritz,C.,Bodden,E.,Bartel,A.,Klein,J.,Le Traon,Y.,Octeau,D.,麦克丹尼尔,P。
参考文献: 5种出版物(2015-2021)
相关软件: 泰姬陵;迪坦;污点机器人;FlashMeta;闪蒸;FlashRelate…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

戈安娜

软件作者:Fehnker A.,Huuck R.,Jayet P.,卢森堡M.,劳赫F。;红蜥蜴软件
参考文献: 4种出版物(2009-2013)
相关软件: 撒旦;猎户座;爆破;乔尔尼尔;WPDS++;巴普…
主要领域: 计算机科学(68-XX)

JSAI公司

软件作者:维尼思·卡希亚普、凯尔·杜威、伊桑·A·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉奇诺、本·维德曼、本·哈德科夫
参考文献: 4种出版物(2017-2021)
相关软件: JavaScript;Phantm公司;诺恩;Node.js;ast;把关人…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

标签

软件作者:谢洁瑞,陈明明,博莱斯瓦克西曼斯基
参考文献: 5种出版物(2016-2021)
相关软件: github;SELP;网络X;根鲁汶;FacetNet;快照…
主要领域: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

潘达电源

软件作者:利昂·瑟纳、亚历山大·舍伊尔、弗洛里安·朔伊尔、扬·亨德里克·门克、朱利安·多利孔、弗里德里克·迈耶、斯特芬·梅内克、马丁·布劳恩
参考文献: 0个出版物
相关软件: Pypsa公司;蟒蛇;军力;开放式健身房;电子;山药cpp…
主要领域:

继电器

软件作者:Voung,J.W.,Jhala,R.,Lerner,S。
参考文献: 6种出版物(2008-2021)
相关软件: 橡皮擦;锁匠;RacerX公司;妖精;麦克帕托;奇比奥斯…
主要领域: 计算机科学(68-XX)

VeriSmall公司

软件作者:阿佩尔,安德鲁W。
参考文献: 5种出版物(2012-2018)
相关软件: 成本;充电!;小脚;杀戮者;VeriFast公司;jStar…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

工艺

软件作者:伊万,波利亚科夫;索科洛夫,丹尼尔;莫霍夫,安德烈
参考文献: 4种出版物(2011-2022)
相关软件: 维普托尔;基因;石化;正式舞会;rbminer公司;蒂娜…
主要领域: 序,格,有序代数结构(06-XX);计算机科学(68-XX)

J预测器

软件作者:陈峰,特瑞安·弗洛林·塞巴努塔,格里戈·罗伊乌
参考文献: 5种出版物(2007-2018)
相关软件: 航空兵;QuickLex公司;快速通道;佩内洛普;CTrigger公司;ASM…
主要领域: 计算机科学(68-XX)

梅林

软件作者:Livshits VB,Nori AV,Rajamani SK,班纳吉A
参考文献: 5种出版物(2013-2017)
相关软件: 理智的;泰姬陵;JavaScript;github;陌生人;F*…
主要领域: 计算机科学(68-XX)

猎户座

软件作者:戴姆斯,丹尼斯R。;南乔希,凯达尔S。
参考文献: 4种出版物(2006-2018)
相关软件: 撒旦;爆破;阿斯特里;猛击;戈安娜;塞加尔…
主要领域: 计算机科学(68-XX)

虔诚的

软件作者:N。约万诺维奇,C.克鲁格,E.柯尔达
参考文献: 3种出版物(2014-2020)
相关软件: 失忆症;泰姬陵;迪坦;F4F;github;梦幻机器人…
主要领域: 计算机科学(68-XX)

探针

软件作者:里卡多·文西奥,伊利亚·什穆列维奇
参考文献: 0个出版物
相关软件: 戈佩特;贝戈;嘎嘎;傀儡;明白了;宾果…
主要领域:

程序冲突分析

软件作者:拉米,彼得;穆勒·奥尔姆,马库斯
参考文献: 5种出版物(2008-2018)
相关软件: 归档正式证据;魔术;双色胺;成本;伊莎贝尔/霍尔
主要领域: 计算机科学(68-XX)

萨夫卡西

软件作者:D.S.Wallach,A.W.Appel,E.W.Felten
参考文献: 3种出版物(2005-2015)
相关软件: 棱镜;JFlow公司;粘合剂;哈斯克尔;毫升
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

VERIFAS公司

软件作者:李玉良,艾琳,维克多·维亚努
参考文献: 4种出版物(2019-2021)
相关软件: 小卧室;Mcmt;助推器;游猎;ASASP;是的…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

瓦拉

软件作者:IBM公司
参考文献: 4种出版物(2009-2021)
相关软件: 烟尘;萨瓦;泰姬陵;FlashMeta;流动机器人;FlashExtract…
主要领域: 计算机科学(68-XX)

食蚁兽

软件作者:Mai,H.,Khurshid,A.,Agarwal,R.,Caesar,M.,Godfrey,P.,King,S.T。
参考文献: 4种出版物(2013-2021)
相关软件: VeriCon公司;快;验证流;奈特凯特;洛拉;绝对值…
主要领域: 计算机科学(68-XX)

慈白

软件作者:洛佐,弗朗西斯科
参考文献: 4种出版物(2007-2010)
相关软件: 常规的;布吉;PPL;阿斯特里;CSSV;布吉普尔…
主要领域: 计算机科学(68-XX)

DD3IMP公司

软件作者:L。F、 门尼泽斯;D、 内托先生;M、 C.奥利维拉;J、 阿尔维斯
参考文献: 4种出版物(2007-2017)
相关软件: Netgen公司;FEAPpv;MKL公司;帕迪索;吉德
主要领域: 数值分析(65-XX);可变形固体力学(74-XX)

山雀

软件作者:J.B.Dugan,B.Venkataraman,R.Gulati
参考文献: 4种出版物(2003-2017)
相关软件: DFTCalc公司;CADP;MRMC;伽利略;准备/小猫;摩卡…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);信息与通信理论,电路(94-XX)

格蕾丝

软件作者:麦正,维格尼什·拉维,冯琴,加根·阿格拉瓦尔
参考文献: 3种出版物(2015-2022)
相关软件: 库达大学;GKLEE公司;gpu验证;GMRace公司;豆腐;梭鱼…
主要领域: 数理逻辑与基础(03-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)

软件作者:Qi,L.,Jin,H.,福斯特,I.,加沃,J。
参考文献: 0个出版物
相关软件: Globus工具包;MapReduce;WebSphere;开放科学网格;咯咯笑;飞马座…
主要领域:

六角形

软件作者:亨宁格,克里斯托夫;埃伯哈德,彼得
参考文献: 4种出版物(2004-2005)
相关软件: 新选择/目标;阿迪弗;新EUL
主要领域: 粒子与系统力学(70-XX);变形固体力学(74-XX);运筹学,数学规划(90-XX)

雅克斯塔布

软件作者:约翰尼斯·金德尔,赫尔穆特·维思
参考文献: 3种出版物(2011-2018)
相关软件: 猛击;塞加尔;MU CSeq;共生2;担保人;弗兰肯比特…
主要领域: 计算机科学(68-XX)

纽波尔卡

软件作者:珍妮B。
参考文献: 3份出版物(2007-2015)
相关软件: PPL;停机坪;蒂娜;罗密欧;埃斯特雷尔;因为…
主要领域: 计算机科学(68-XX);系统论;控制(93-XX)

NOSA-ITACA公司

软件作者:波切利,玛格丽特;比南特,文琴佐;吉拉迪,玛丽亚;帕多瓦尼,克里斯蒂娜;帕斯奎内利,朱塞佩
参考文献: 4种出版物(2014-2020)
相关软件: ARPACK;达科他州;Loppcg.m公司;剖面波前;萨利纳斯;JDCG…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);粒子与系统力学(70-XX)

普列夫特拉斯

软件作者:布鲁姆利D,宋D X
参考文献: 出版1期(2017年)
相关软件: 女仆;CSSV;拖把;发生;RacerX公司;Retire.js…
主要领域: 计算机科学(68-XX)

重构器

软件作者:Eötvös Loránd大学,布达佩斯
参考文献: 3个出版物(2008-2013)
相关软件: 二郎
主要领域: 计算机科学(68-XX)

丽思

软件作者:Navabbour S、Joshi Y、Wu CWW、Berkovich S、Medhat R、Bonakdarpour B、Fischmeister S
参考文献: 4种出版物(2015-2020)
相关软件: 缅甸中央银行;努西姆;旋转;爆破;购物2;JPAX…
主要领域: 计算机科学(68-XX)

安全代码

软件作者:Dhurjati,D.,Kowshik,S.,Adve,V。
参考文献: 4种出版物(2008-2013)
相关软件: 发生;成本;LLVM公司
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX)

桑特

软件作者:切巴罗,奥马尔;科斯马托夫,尼古拉;乔尔盖蒂,阿兰;朱利安,雅克
参考文献: 出版1期(2018年)
相关软件: Frama-C;爬虫;成本;可爱的;二元体;CIL…
主要领域: 计算机科学(68-XX)

麻雀

软件作者:Oh Hakjoo,Kihong Heo,Wonchan Lee,Woosuk Lee,Kwangkeun-Yi
参考文献: 4种出版物(2016-2021)
相关软件: 烟尘;停机坪;阿斯特里;达卡波;旋转;PMTK…
主要领域: 计算机科学(68-XX)

不锈钢

软件作者:道格拉斯·格雷戈;西比尔舒普
参考文献: 3个出版物(2010-2021)
相关软件: STL公司;贾霍布;简化;一切正常;z3;克丢修斯…
主要领域: 计算机科学(68-XX)

检验器

软件作者:阿兹,吉列尔墨格罗肖;贝塞拉,乔纳斯桑托斯;里贝罗,莱拉;科斯塔,安德烈;罗德里格斯,莱昂纳多·马克斯;马查多,罗德里戈
参考文献: 4种出版物(2016-2019)
相关软件: 聚合;同意;沟槽;情绪分析;埃莫夫隆;亨欣…
主要领域: 范畴论;同调代数(18-XX);计算机科学(68-XX)