ARPACK公司 883份文件引用(1995–2024) 软件作者: 勒霍克;索伦森;杨 相关软件: 环境影响评价;JDQZ;JDQR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
特里利诺斯 423份文件引用(2003–2024) 软件作者: Trilinos贡献者 相关软件: PETSc;交易.ii;ML… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…
Mfree二维 337份文件引用(2002–2024) 软件作者: G.R.Liu、Z.H.Tu 相关软件: Matlab;XFEM;ABAQUS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…
SVM灯 214篇文献引用(2000年-2023年) 软件作者: 托尔斯滕·约阿希姆斯 相关软件: LIBSVM;UCI-ml;SVMTorch… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
CASL公司 174篇文献引用(1999–2023) 软件作者: 蒂尔·莫萨科夫斯基 相关软件: OBJ咖啡馆;赫茨;莫德… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
皇家麻省理工学院 153篇文献引用(2007–2023) 软件作者: Phuong Huynh;Ngoc-Cuong Nguyen;A.T.Patera和G.Rozza 相关软件: 红色套件;RBmatlab;DUNE… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
Healpix公司 80篇文献引用(2007–2023) 软件作者: 科尔斯基(K.M.Górski);E.Hivon;A.J.Banday;B.D.Wandelt;F.K.Hansen;M.Reinecke;M.Bartelmann先生 相关软件: 健康;蟒蛇;CAMB… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
利比亚中央银行 60篇文献引用(2009–2023) 软件作者: 查查特,B 相关软件: 安提戈内;BARON公司;MC++… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
锅炉 23篇文献引用(2006–2023) 软件作者: D.P.安德森 相关软件: XtremWeb;Globus工具包;和弦… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
SAMRAI公司 51篇文献引用(2002–2023) 软件作者: 理查德·霍农(Richard D.Hornung)。;斯科特·科恩。 相关软件: PETSc;炒作;帕拉梅什… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…
nuXmv(数字) 44篇文献引用(2015–2023) 软件作者: 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件: z3;NuSMV;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
茂物 27篇文献引用(2003–2014) 软件作者: 马修·德怀尔(Matthew B.Dwyer)。;约翰·哈特克利夫;马修·胡西尔(Matthew Hoosier);马修·罗比 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
Java CoG工具包 12份文件引用(2001–2010) 软件作者: 冯·拉舍夫斯基(von Laszewski),格雷戈(Gregor);Jarek Gawor;彼得·莱恩(Peter Lane);雷恩、内尔;迈克·拉塞尔 相关软件: Globus工具包;飞马座;Condor-G… 主要字段: 计算机科学(68-XX);地球物理学(86-XX);生物学和其他自然科学(92-XX)
LSTRS公司 35篇文献引用(2005–2022) 软件作者: M.Rojas、S.A.Santos和D.C.Sorensen 相关软件: GQTPAR;HSL-VF05;ARPACK… 主要字段: 算子理论(47-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
云模拟 22篇文献引用(2012–2023) 软件作者: Rodrigo N.Calheiros、Rajiv Ranjan、Cesar A.F.De Rose、Rajkumar Buya 相关软件: iFogSim;网格模拟;pMapper… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
DSDP5型 30篇文献引用(2004–2023) 软件作者: 史蒂文·本森(Steven J.Benson);银鱼叶 相关软件: SDPT3;塞杜米;SDPA… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
夸克 26篇文献引用(2010–2023) 软件作者: J.-P.Aumasson、L.Henzen、W.Meier、M.Naya-Plasencia 相关软件: 出席;卡坦;谷物… 主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…
Java操作系统 26篇文献引用(2005–2023) 软件作者: 冯晨;格里戈·罗什 相关软件: LOLA;方面J;Java-MaC… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
Specware(特殊软件) 25篇文献引用(1998年至2019年) 软件作者: Srinivas,Y.,Jullig,R。;瓦尔迪格,R。 相关软件: PVS;Nuprl;CASL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
CrunchFlow公司 22篇文献引用(2015年至2022年) 软件作者: 卡尔·斯蒂费尔 相关软件: 水文地球化学;PHREEQC;PhreeqcRM… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
SONET公司 22篇文献引用(1996–2013) 软件作者: – 相关软件: SNDlib;TSPLIB;蜘蛛… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
XtremWeb 10篇文献引用(2001–2017) 软件作者: – 相关软件: BOINC公司;夏洛特;标枪++… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
马卡尔 18篇文献引用(1985–2023) 软件作者: Fishbone,L.G.公司。;Giesen,G。;戈尔茨坦,G。;Hymmen,H.A。;股票,K.J。;沃斯,H。;王尔德,D。;Zoelcher,R。;巴尔泽,C。;H.阿比洛克。 相关软件: 梅赛格三世;EFOM 12C;Pypsa… 主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
税收 15篇文献引用(2001–2017) 软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特尔 相关软件: Uppaal;克罗诺斯;埃菲尔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
IPSEN公司 20篇文献引用(1991–2010) 软件作者: 安迪·舒尔 相关软件: mctoolbox;LAPACK;PostgreSQL… 主要字段: 历史与传记(01-XX);线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX)…
SCADE公司 14篇文献引用(2001–2019) 软件作者: 杰拉德·贝里;Esterel科技 相关软件: Simulink;卢斯特;酯类… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
贾达米卢 17篇文献引用(2007–2023) 软件作者: Yvan Notay的Matthias Bollhöfer 相关软件: ARPACK;PRIMME公司;JDQZ… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);光学、电磁理论(78-XX)…
打开星云 6篇文献引用(2010–2021) 软件作者: OpenNebula项目(OpenNebula.org) 相关软件: 亚马逊EC2;桉树;太阳网格引擎… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)
可控硅 10篇文献引用(2000–2018) 软件作者: 伊曼·布尔吉巴;贝莱德Moa 相关软件: 自旋蛋白;NuSMV;PVS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
AVL公司 17篇文献引用(2001–2021) 软件作者: AVL公司 相关软件: InterFOAM;FlowLab;OpenFOAM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…
刘易斯 18篇文献引用(2003–2023) 软件作者: 科林·比德维尔;W.B.赖特 相关软件: FENSAP-ICE;Spalart-Allmaras;SU2… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
阿尔卑斯山 17篇文献引用(2004–2022) 软件作者: Ralphs,T.K。;Ládanyi,L。;M.J.萨尔茨曼。 相关软件: BiCePS;CHiPPS;BLIS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
ASTRAL公司 16篇文献引用(1992–2006) 软件作者: 贾科莫·博纳诺;科恩·波里西尼,阿尔贝托;威廉·福纳西亚里 相关软件: 克罗诺斯;Uppaal;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
轨道库 16篇文献引用(2008–2021) 软件作者: 安德烈·普拉泽 相关软件: z3;凯伊迈拉;QEPCAD… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);代数几何(14-XX)…
灵丹妙药 16篇文献引用(1982年-2005年) 软件作者: Ramakrishnan,K.G。;密特拉·D·。 相关软件: 菲迪尔;GENTRAN公司;阿尔巴 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
高迪 11份文件引用(2001–2010) 软件作者: 巴兰德,G。;I·贝利亚耶夫。;宾科,P。;Cattaneo,M。;Chytracek,R。;科尔蒂,G。;M.弗兰克。;格雷西亚,G。;J.哈维。;van Herwijnen,E。;Maley,P。;马托,P。;普罗布斯特,S。;F.兰贾德。 相关软件: 根;RapidSim;Scikit… 主要字段: 总体主题;藏品(00-XX);微分几何(53-XX);粒子力学与系统(70-XX)…
帕特兰 15篇文献引用(1996–2021) 软件作者: MSC软件公司 相关软件: ABAQUS;纳斯特朗;COSSAN… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
SpectrUW公司 15篇文献引用(2007–2020) 软件作者: Bernard Deconick;菲拉特·基亚克;约翰·卡特(John D.Carter)。;J.Nathan Kutz 相关软件: STABLAB;自动;HomCont… 主要字段: 偏微分方程(35-XX);动力学系统和遍历理论(37-XX);算子理论(47-XX)…
布莱克 14篇文献引用(2010–2023) 软件作者: Aumasson,Jean-Philippe;威利·迈尔;拉斐尔·法恩(Raphael C.-W.Phan)。;卢卡·亨岑 相关软件: 查查;Salsa20;Skein散列… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
HyperWorks公司 13份文件引用(2006–2021) 软件作者: Altair工程公司。 相关软件: 顶部.m;ABAQUS;OptiStruct… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
马斯科特 12份文件引用(1997–2022) 软件作者: 佩雷·桑乔(Pere P.Sancho)、卡洛斯·尤兹(Carlos Juiz)、拉蒙·普贾纳(Ramon Puigjaner) 相关软件: LSTRS;贝叶斯DA;翡翠… 主要字段: 数论(11-XX);近似和扩展(41-XX);数值分析(65-XX)…
MD-吉普车 14篇文献引用(2010–2023) 软件作者: 安东尼奥·穆切里诺(Antonio Mucherino);利贝蒂(Leo Liberti);卡莱尔·拉沃尔 相关软件: LAPACK;双鱼座;MDAnalysis… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);数值分析(65-XX)…
帕戈达 12份文件引用(2007–2015) 软件作者: Wirsing,Martin;Denker,砂砾;卡罗琳·塔尔科特;安迪·波乔(Andy Poggio);Briesemeister琳达 相关软件: 莫德;克拉姆;重新设置(amp;E)… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
VTDIRECT95(垂直定向95) 13份文件引用(2009–2022) 软件作者: 剑河;莱恩·T·沃森;Masha Sosonkina公司 相关软件: 直接;NOMAD公司;DFL… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
GRUMMP公司 8份文件引用(2003–2018) 软件作者: 卡尔·奥利维耶·古奇 相关软件: 三角形;TetGen;Parasolid… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…
MCT公司 引用于9份文件(2002–2023) 软件作者: Jay Larson、Robert Jacob、Everest Ong 相关软件: 预CICE;MpCCI;HE-E1GODF… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
阿西莫洛 引用于7份文件(2015–2023) 软件作者: 安德森·C·Führer·C·奥凯森·J·。 相关软件: 蟒蛇;日晷;F2PY… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
KnowRob公司 引用于9份文件(2016–2020) 软件作者: 莫里茨·特诺思(Moritz Tenorth);迈克尔·贝茨 相关软件: 博客;贝叶斯OWL;PR-OWL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);统计学(62-XX)…
肱二头肌 引用于9份文件(2004–2020) 软件作者: Ralphs,T.K。;L'adanyi,L。;M.J.萨尔茨曼。 相关软件: 碱性磷酸酶;CHiPPS;BLIS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
桅杆 引用于7份文件(2008–2018) 软件作者: 冈萨雷斯港,M;JJ古铁雷斯;巴伦西亚,JC;吉咪·德雷克 相关软件: Uppaal;切达干酪;TINA… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
电动汽车 6篇文献引用(2001–2021) 软件作者: 拉尔斯-奥克·弗雷德隆德;迪利安·古罗夫;托马斯·诺尔;Mads大坝;托马斯艺术;根纳迪·楚格诺夫 相关软件: 埃尔朗;伊莎贝尔;密码… 主要字段: 计算机科学(68-XX)
F外壳 6篇文献引用(2010–2016) 软件作者: 安德烈亚斯·霍尔泽(Andreas Holzer);克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格(Michael Tautschnig);赫尔穆特·维思 相关软件: Java PathFinder;CPA检查员;RapiTime… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
抓斗 8份文件引用(2018–2022) 软件作者: 恩格尔,托拜厄斯;安德烈亚斯·沃尔兹;费利克斯·梅斯默(Felix Mesmer);Rhein,Sönke;克努特·格雷钦 相关软件: VIATOC;ACADO;qpOASES… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
JCM套件 2份文件引用(2010–2022) 软件作者: JCMwave;S.Burger、L.Zschiedrich、J.Pomplun、F.Schmidt 相关软件: FEAST;Matlab;RP展开… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者: JoséJ.Pazos Arias。;加西亚·杜克(Jorge García Duque) 相关软件: PVS;灌篮;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
AI解释360 2份文件引用(2021) 软件作者: V.Arya、R.K.E.Bellamy、P.-Y.Chen、A.Dhurandhar、M.Hind、S.C.Hoffman、S.Houde、Q.V.Liao、R.Luss、A.Mojsilovic、S.Mourad、P.Pedemonte、R.Raghavendra、J.T.Richards、P.Sattigeri、K.Shanmugam、M.Singh、K.R.Varshney、D.Wei、Y.Zhang 相关软件: TensorFlow;InterpretML;不在场证明… 主要字段: 计算机科学(68-XX)
AUTODYN-3D 引用于7份文件(2000–2011) 软件作者: ANSYS有限元分析软件 相关软件: 树;LS-DYNA;MPM3D… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)
BAT公司 6篇文献引用(2009–2018) 软件作者: Allen Caldwell;丹尼尔·科拉尔(Daniel Kollar);凯文·克罗宁格 相关软件: HEPfit;图灵;古巴… 主要字段: 统计学(62-XX);数值分析(65-XX);量子理论(81-XX)
DISPRO公司 引用于7份文件(1981–2017) 软件作者: V.S.Mikhalevich、I.V.Sergienko、T.T.Lebedeva等人。 相关软件: 规划师;DISNEL公司;Matlab… 主要字段: 历史与传记(01-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
FindPeaks公司 3份文件引用(2012–2013) 软件作者: Fejes AP、Robertson G、Bilenky M等人。 相关软件: 贝叶斯峰;DEGseq;KEGG… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);生物学和其他自然科学(92-XX)
奥卡 6篇文献引用(2003–2020) 软件作者: Sutherland P、Rossini A、Lumley T、Lewin-Koh N、Dickerson J、Cox Z、Cook D 相关软件: R;XGobi;GGobi… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
p面 引用于7份文件(2019–2022) 软件作者: 哈立德,马哈茂德;马吉德·扎马尼 相关软件: SCOTS;ROCS;CoSyma… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
RNA形状 6篇文献引用(2008–2015) 软件作者: Steffen P.、VoßB.、Rehmsmeier M.、Reeder J.、Giegerich R 相关软件: 多重折叠;法国复兴信贷银行;折叠… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计力学,物质结构(82-XX)…
GalSim公司 2份文件引用(2019–2023) 软件作者: Barnaby Rowe、Mike Jarvis、Rachel Mandelbaum、Gary M.Bernstein、James Bosch、Melanie Simet、Joshua E.Meyers、Tomasz Kacprzak、Reiko Nakajima、Joe Zuntz、Hironao Miyatake、Joerg P.Dietrich、Robert Armstrong、Peter Melchior、Mandeep S.Gill 相关软件: 天文术;蟒蛇;SExtractor… 主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…
波利斯 6篇文献引用(2002–2007) 软件作者: 马西莫·巴莱尼;马西莫·孔蒂(Massimo Conti);阿尔贝托法拉利;瓦莱里奥·弗雷斯科拉;阿尔贝托Sangiovanni-Vincentelli 相关软件: 多时性;糠;MiBench… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
CCUBE公司 4份文件引用(1997年至2013年) 软件作者: A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件: XQuery;抒情的;德代尔… 主要字段: 计算机科学(68-XX)
COPERT公司 5份文件引用(2012–2018) 软件作者: D.Gkatzoflias、C.Kouridis、L.Ntziachristos、Z.Samaras 相关软件: VRP;CONTRAM公司;TEMMS… 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
环境与社会保障局 4份文件引用(2018–2024) 软件作者: 赵润东;王梦伦;童一英;魏国伟 相关软件: 米溴联苯;PDB2PQR;APBS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
GRAS公司 4份文件引用(1996–2020) 软件作者: Kiesel,N.、Schürr,A.、Westfechtel,B。 相关软件: SPARQL;进度;REforDI… 主要字段: 计算机科学(68-XX)
proDEX公司 4份文件引用(2008–2022) 软件作者: 朱尼达什奇,马丁;博哈内克,马尔科;布拉泽祖潘 相关软件: 数据交换;M-MACBETH;DEXi… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
俄罗斯DML 4份文件引用(2003–2010) 软件作者: 柏林技术大学、哥廷根州立大学图书馆、汉诺威技术信息图书馆。俄罗斯合作伙伴是莫斯科国家公共学术技术图书馆。 相关软件: – 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)
瓦里欧文 5份文件引用(1996–2024) 软件作者: 伊万·潘纳蒂尔 相关软件: GSLIB;R;WinBUGS… 主要字段: 统计学(62-XX);数值分析(65-XX);地球物理学(86-XX)
沙尔米 2份文件引用(2003–2013) 软件作者: Pelliccione,P。;因弗拉迪,P。;H.穆奇尼。 相关软件: 自旋蛋白;AUTOSAR;MARTE… 主要字段: 计算机科学(68-XX)
CloudGenius公司 2份文件引用(2015–2019) 软件作者: Michael Menzel;拉吉夫·兰扬;王丽芝;萨米·U·汗。;陈金军 相关软件: 斑疹病毒2型;天才卵丘;OpenNebula… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
反褶积实验室2 3份文件引用(2019–2023) 软件作者: Sage D.、Donati L.、Soulez F.、Fortun D.、Schmit G.、Seitz A.、Guiet R.、Vonesch C.、Unser M。 相关软件: BrightEyes ISM公司;螺旋形的;PyFocus… 主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)
DPRml(DPRml) 4份文件引用(2006–2019) 软件作者: Keane,T.、Naughton,T.,Travers,S.、McInerney,J.、McCormack,G。 相关软件: RAxML;pIQPNNI;野兽… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
ELEMD公司 4份文件引用(1997–2002) 软件作者: Gert Nelissen;Patrick F.Vankeirsbilck。 相关软件: 差分包;科吉托;Kaskade7… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
功能IDE 2份文件引用(2016–2023) 软件作者: Thüm T、Kästner C、Benduhn F、Meinike J、Saake G、Leich T 相关软件: CPLEX;fmp;FaMa… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
GENEHUNTER公司 4份文件引用(1999年至2015年) 软件作者: Kyriacos Markianos;马克·戴利(Mark J.Daly);莱昂纳德·克鲁格亚克 相关软件: MLEP;快板;R、 … 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
jMocha公司 4份文件引用(2008–2021) 软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;Henzinger,T。;托马斯。;Kang,M。;Kirsch,C。;马久姆达尔,R。;芒,F。;王,B.-Y。 相关软件: 摩卡;多甲基甲酰胺;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
MOSES公司 4份文件引用(1998–2014) 软件作者: Maffezzoni,C。;吉雷利,R。 相关软件: 奥莫拉;Dymola;Modelica… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
NAT2测试 4份文件引用(2016–2023) 软件作者: 卡瓦略G、巴罗斯F、卡瓦略A、卡瓦尔康蒂A、莫塔A、桑帕约A 相关软件: FDR3;Z;马戏团… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
SEPP公司 4份文件引用(2002–2022) 软件作者: S Mirarab、N Nguyen、T Warnow 相关软件: MLTreeMap;FastTree;pplacer… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
SPL征服者 3份文件引用(2016–2021) 软件作者: Siegmund,N.、Rosenmüller,M.、Kuhlemann,M.,Kästner,C.、Apel,S.、Saake,G。 相关软件: 斯卡拉斯卡;AlgoWiki;TAU… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
墨西哥煎玉米卷 3份文件引用(2013–2018) 软件作者: 克里斯蒂安·柯奇斯(Christian Kirches);斯文·莱弗尔 相关软件: Optimica;JModelica;Ipopt… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
老虎扫描 3份文件引用(2007–2013) 软件作者: W.H.Majoros、M.Pertea、S.L.Salzberg 相关软件: GlimmerHMM;生物HMM;PICNIC… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);生物学和其他自然科学(92-XX)
转录器 2份文件引用(2001) 软件作者: 克劳德·巴拉斯;爱德华·杰弗里斯(Edouard Geoffrois);吴志彪;马克·利伯曼 相关软件: C4.5;S-PLUS;爵士乐… 主要字段: 计算机科学(68-XX)
斑疹病毒2 4份文件引用(2019–2022) 软件作者: E·阿尔布拉哈姆。;科齐利厄斯,F。;约翰森,EB;Kremer,G。;Mauro,J。;弗伦泽尔,M。;卡普尔,D。;詹,N。 相关软件: z3;CPLEX;Yices… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
婴儿潮一代 3份文件引用(2020–2023) 软件作者: 迈克尔·拉普;Eneldo Loza Mencia;Johannes Fürnkranz;Vu-Linh Nguyen;埃克·Hüllermier 相关软件: 形状;恩德;CMAR… 主要字段: 统计学(62-XX);计算机科学(68-XX)
DaStGen公司 1份文件引用(2019) 软件作者: Hans-Joachim Bungartz、Wolfgang Eckhardt、Miriam Mehl、Tobias Weinzierl 相关软件: ExaHyPE;丹德罗;Afivo… 主要字段: 数值分析(65-XX)