ARPACK公司 889份文件引用(1995年至2024年) 软件作者: 勒霍克;索伦森;杨 相关软件: 环境影响评价;JDQZ;JDQR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
Mfree二维 337份文件引用(2002–2024) 软件作者: G.R.Liu、Z.H.Tu 相关软件: Matlab;XFEM;ABAQUS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
伊萨尔 156篇文献引用(2000–2024) 软件作者: 马卡里乌斯·温泽尔 相关软件: 伊莎贝尔;Isabelle/HOL;Coq… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
动态数学 32篇文献引用(2001–2018) 软件作者: DFKI&萨尔大学 相关软件: OMDoc;枫树;Isabelle/HOL… 主要字段: 一般性和全局性主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者: 金·拉森(Kim G.Larsen)、王毅(Wang Yi)、保罗·佩特森(Paul Pettersson)、亚历山大·戴维(Alexandre David)、布莱恩·尼尔森(Brian Nielsen)、阿恩·斯科(Arne Skou)、约翰·哈坎森(John Hákansson)、雅各布·伊勒姆·拉斯穆森(Jacob Illum Rasmussen) 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
FLAC公司 39篇文献引用(1989–2022) 软件作者: 伊塔斯卡 相关软件: FLAC3D;FIDAP;ABAQUS/显式… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
OPTI公司 40篇文献引用(2015–2023) 软件作者: 柯里,J.,威尔逊D.I。 相关软件: Ipopt;NOMAD公司;Bonmin… 主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
Java CoG工具包 12份文件引用(2001–2010) 软件作者: 冯·拉舍夫斯基(von Laszewski),格雷戈(Gregor);Jarek Gawor;莱恩,彼得;雷恩、内尔;迈克·拉塞尔 相关软件: Globus工具包;飞马座;Condor-G… 主要字段: 计算机科学(68-XX);地球物理学(86-XX);生物学和其他自然科学(92-XX)
Phylo网络 引用于27份文件(2010–2024) 软件作者: Gabriel Cardona、Francesc Rosselló、Gabriel Valiente 相关软件: github;PADRE;生物钟… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-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)
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)…
迪巴普 在15份文件中引用(2008–2021) 软件作者: 亨宁·梅耶亨克;博克哈德·莫尼恩(Burkhard Monien);托马斯·索尔瓦尔德 相关软件: 气泡-FOS/C;卡夫帕;梅蒂斯… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
GRUMMP公司 8份文件引用(2003–2018) 软件作者: 卡尔·奥利维耶·古奇 相关软件: 三角形;TetGen;Parasolid… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
山猫 10篇文献引用(2013–2021) 软件作者: Ganesh,V.、O'Donnell,C.W.、Soos,M.、Devadas,S.、Rinard,M.C.、Solar-Lezama,A。 相关软件: 数学检查;枫树;FFTW… 主要字段: 组合数学(05-XX);数论(11-XX);几何(51-XX)…
破旧的 10篇文献引用(2012–2022) 软件作者: 罗德里克·布隆姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治·霍夫雷克、罗伯特·科尼霍费尔、马可·罗弗瑞、维克托·舒潘、理查德·西伯 相关软件: NuSMV;JTLV;数学SAT… 主要字段: 数学逻辑与基础(03-XX);测量和集成(28-XX);计算机科学(68-XX)…
海狮 7份文件引用(2012–2019) 软件作者: Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件: 天基信息平台;卡拉;APE… 主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
规则投标人 6篇文献引用(2015–2021) 软件作者: Xu,W.、Smith,A.M.、Faeder,J.R.、Marai,G.E。 相关软件: BioNetGen公司;千塔姆;NFsim… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
ASAP3公司 7份文件引用(2005–2022) 软件作者: Natalie M.Steiger。;艾米丽·拉达(Emily K.Lada)。;詹姆斯·威尔逊(James R.Wilson)。;杰弗里·乔伊斯(Jeffrey A.Joines)。;克里斯托斯·阿列克索普洛斯;大卫·戈德曼 相关软件: 为181;MultiVeStA;皮尔洛… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
i任务 5份文件引用(2008–2013) 软件作者: 普拉斯梅耶尔(Plasmeijer),里纳斯(Rinus);彼得·阿希顿;彼得·科普曼 相关软件: 清洁;米兰达;哈斯克尔… 主要字段: 计算机科学(68-XX)
SpaceTwist(空间扭曲) 4份文件引用(2011–2022) 软件作者: Man Lung Yiu;克里斯蒂安·詹森(Christian S.Jensen)。;黄雪刚;卢,华 相关软件: 卡斯珀*;LocLok;MaPIR… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
海蓝宝石 6篇文献引用(1992–2002) 软件作者: 伯纳德·菲利普 相关软件: 马赫;mctoolbox;子法… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)
指南R 2份文件引用(2020–2023) 软件作者: 马雷克·西科拉(Marek Sikora)、乌卡斯·沃罗贝尔(ukasz Wróbel)、亚当·古迪西(Adam Gudy shi) 相关软件: 橙色;规则工具包;pycox… 主要字段: 统计学(62-XX);计算机科学(68-XX)
地穴 1份文件引用(2006) 软件作者: Erez Zadok、Ion Badulescu、Alex Shender 相关软件: SiRiUS公司;冥王星;Iolus… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
反褶积实验室2 引用于3份文件(2019–2023) 软件作者: Sage D.、Donati L.、Soulez F.、Fortun D.、Schmit G.、Seitz A.、Guiet R.、Vonesch C.、Unser M。 相关软件: github;BrightEyes-ISM;螺旋形… 主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)
DPRml公司 4份文件引用(2006–2019) 软件作者: Keane,T.、Naughton,T.,Travers,S.、McInerney,J.、McCormack,G。 相关软件: RAxML;pIQPNNI;野兽… 主要字段: 一般性和全局性主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
NAT2测试 4份文件引用(2016–2023) 软件作者: 卡瓦略G、巴罗斯F、卡瓦略A、卡瓦尔康蒂A、莫塔A、桑帕约A 相关软件: FDR3;Z;马戏团… 主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
OntoDebug(开始调试) 4份文件引用(2018–2023) 软件作者: Schekotihin、Konstantin;Patrick Rodler;沃尔夫冈·施密德 相关软件: 颗粒;MERGEXPLAIN公司;赫密特… 主要字段: 计算机科学(68-XX)
SPL征服者 引用于3份文件(2016–2021) 软件作者: Siegmund,N.、Rosenmüller,M.、Kuhlemann,M.,Kästner,C.、Apel,S.、Saake,G。 相关软件: Scalasca;AlgoWiki;TAU… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
墨西哥煎玉米卷 引用于3份文件(2013–2018) 软件作者: 克里斯蒂安·柯奇斯(Christian Kirches);斯文·莱弗尔 相关软件: Optimica;JModelica;Ipopt;…(可选)… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
DaStGen公司 1份文件引用(2019) 软件作者: Hans-Joachim Bungartz、Wolfgang Eckhardt、Miriam Mehl、Tobias Weinzierl 相关软件: ExaHyPE;石斛;Afivo… 主要字段: 数值分析(65-XX)
快速比特 1份文件引用(2010) 软件作者: Wu K.、Ahern S.、Bethel E.W.、Chen J.、Childs H.、Cormier-Michel E.等。 相关软件: ParaView;libMesh;FEniCS… 主要字段: 计算机科学(68-XX)
内塔马普 2份文件引用(2013–2020) 软件作者: Pebesma,E.,Cornford,D.,Dubois,G.,Heuvelink,G.B.,Hristopulos,D.,Pilz,J.,Stöhlker,U.,Morin,G.和Skoien,J.O 相关软件: R;gstat;spacetime… 主要字段: 统计学(62-XX)
梅兰奇 引用于3份文件(2019–2023) 软件作者: Degueule T、Combemale B、Blouin A、Barais O、Jézéquel J-M 相关软件: 黑色素;莫德;AToMPM… 主要字段: 计算机科学(68-XX)
移动 引用于3份文件(2006–2011) 软件作者: 梅胡尔·巴特(Mehul Bhatt);安德鲁·弗拉希夫;卡洛·沃特斯;拉哈尤,维尼;大卫·塔尼亚尔 相关软件: DAML+油 主要字段: 计算机科学(68-XX)
寡核苷酸阵列 1份文件引用(2007) 软件作者: Rouillard,J.-M。;Zuker,M。;E.古拉里。 相关软件: DINAMelt;UNAFold;随机PS… 主要字段: 生物学和其他自然科学(92-XX)
RELCI公司 引用于3份文件(2002–2009) 软件作者: S.Fritzsche、C.F.Fischer、G.Gaigalas 相关软件: GRASP92;DVDSON公司 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);量子理论(81-XX)
Roombots公司 2份文件引用(2013–2019) 软件作者: BIRG、EPFL 相关软件: 分子立方体;M-TRAN;超级机器人… 主要字段: 粒子和系统力学(70-XX);系统论;控制(93-XX)
Simbody公司 2份文件引用(2010–2015) 软件作者: 塞思、阿杰;迈克尔·谢尔曼(Michael Sherman);彼得·伊斯曼(Peter Eastman);斯科特·德尔普 相关软件: OpenSim;木偶;Simox… 主要字段: 粒子和系统力学(70-XX);生物学和其他自然科学(92-XX)
虚拟现实实验室 引用于3份文件(2018–2019) 软件作者: M.Hoffer、C.Poliwoda、G.Wittum。 相关软件: UG4;pcl;libDiscretization… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)…
AppGuard应用程序保护 1份文件引用(2015) 软件作者: Backes,M.、Gerling,S.、Hammer,C.、Maffei,M.和von Styp-Rekowsky,P。 相关软件: EviCheck;应用镜检查;双人护卫… 主要字段: 计算机科学(68-XX)
加州四月 2份文件引用(2020–2022) 软件作者: A.理查森、J.斯特罗姆、E.奥尔森。 相关软件: bootlib;OCam校准;Matlab… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
AsTeRICS公司 2份文件引用(2014) 软件作者: 罗兰·奥斯曼;斯特凡·帕克;大卫·泰勒;佩西纳、卡罗尔;阿尔瓦罗州加西亚·索勒;布兰卡·莫拉莱斯;卫·克里斯托夫;克里斯托夫·维格尔(Christoph Veigl);卡库西斯·康斯坦蒂诺斯 相关软件: OpenViBE 主要字段: 系统论;控制(93-XX);信息与通信理论,电路(94-XX)
康塞德 1份文件引用(2017) 软件作者: 戈登·D、格林·P 相关软件: RDP2;PhyloBayes 3;分区查找器… 主要字段: 一般性和全局性主题;藏品(00-XX);生物学和其他自然科学(92-XX)
达米恩 2份文件引用(2003–2011) 软件作者: 埃德加·加布里埃尔;凯勒、雷纳;佩吉·林德纳;Müller、Matthias S.等人。;迈克尔·M·雷斯(Michael M.Resch)。 相关软件: NetSolve;BLAS;维也纳RNA 主要字段: 一般性和全局性主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
eXiT*加州承载比 1份文件引用(2014) 软件作者: B.López、C.Pous、P.Gay、A.Pla、J.Sanz、J.Brunet 相关软件: 西拉默;BacSim;神经元… 主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
HeiDATAProVIT公司 在0个文档中引用 软件作者: Schabowski M、Schweidler J、Rupp R。 相关软件: SOM;Fisherextest;C4.5… 主要字段: –
iOverbook公司 2份文件引用(2015–2021) 软件作者: Caglar F、Gokhale A 相关软件: Be-CoDiS公司 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)
卡迪亚 1份文件引用(2015) 软件作者: Perakakis P、Joffly M、Taylor M、Guerra P、Vila J。 相关软件: PhysioToolkit;艺术品;RHRV… 主要字段: 统计学(62-XX)
医学统计软件 2份文件引用(2012–2019) 软件作者: MedCalc软件,Acacialaan 22,B-8400 Ostend,Belgium 相关软件: Matlab;SPSS软件 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
麦迪根人 在0个文档中引用 软件作者: 理查德·奥斯瓦拉(Richard Osuala)、格热戈斯·斯科鲁普科(Grzegorz Skorupko)、努塞尔·拉扎克(Noussair Lazrak)、利迪亚·加鲁乔(Lidia Garrucho)、埃洛伊·加西亚(Eloy García)、斯密蒂·约西(Smriti Joshi)、索卡伊娜·朱德(Socayna Jouide)、迈克尔·卢瑟福( 相关软件: 斯塔根;CheXpert公司;Grad-CAM… 主要字段: 计算机科学(68-XX)
MeVisLab公司 2份文件引用(2012–2016) 软件作者: 彼得·科尔曼(Peter Kohlmann)、托比亚斯·博斯坎普(Tobias Boskamp)、亚历山大·科恩(Alexander Köhn)、克里斯蒂安·里德(Christian Rieder)、安德烈·申克(Andrea Schenk)、弗洛里安·林克(Florian Link)、乌维·暹斯(Uwe Siems)、马库斯·巴南( 相关软件: 生物图像XD;VirtualGL;打开Inventor… 主要字段: 一般性和全局性主题;藏品(00-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)
最低有效期 1份文件引用(2006) 软件作者: Reddy,T.Bheemarjuna;Sriram,S。;Manoj,理学学士。;C.Siva Ram Murthy 相关软件: 全球移动模拟 主要字段: 计算机科学(68-XX)
网络草图 2份文件引用(2010–2012) 软件作者: 阿泽州贝斯塔夫罗斯;阿萨夫·科福尔;笔记本电脑,Andrei;迈克尔·J·奥森。 相关软件: 伊莎贝尔;自旋蛋白;马蒂塔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
NMR管道 1份文件引用(2020) 软件作者: F Delaglio、S Grzesiek、G.W Vuister、G Zhu、J Pfeifer、A Bax 相关软件: XPLO2D;VMD-XPLOR;VMD… 主要字段: 生物学和其他自然科学(92-XX)
斯卡特 2份文件引用(2015–2021) 软件作者: Tafazzoli,A.、Wilson,J.、Lada,E.、Steiger,N。 相关软件: VBASim;VBA;Python… 主要字段: 一般性和全局性主题;藏品(00-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
目标搜索 在0个文档中引用 软件作者: 阿尔瓦罗·夸德罗斯·伊诺斯特罗扎;卡米拉,卡尔达娜;Henning,Redestig;贵霜、宫古;Lisec,Jan;佩纳·科尔特斯,雨果;洛塔尔·威尔米策(Lothar Willmitzer);马修·汉纳(Matthew A.Hannah)。 相关软件: 生物导体;rTANDEM;GO.db… 主要字段: –
AAPL公司 在0个文档中引用 软件作者: J.Plata、P.Nath、D.Usanmaz、J.Carrete、C.Toher、M.Jong、M.Asta、M.Fornari、M.B.Nardelli、S.Curtarolo 相关软件: Scikit;almaBTE;圣贝特… 主要字段: –
类别R 1份文件引用(2020) 软件作者: 达里奥·斯特比纳克(Dario Strbenac)、约翰·奥尔默罗德(John Ormerod)、格雷厄姆·曼(Graham Mann)、让·杨(Jean Yang) 相关软件: TCG生物链;PoiClaClu;处罚LDA… 主要字段: 统计学(62-XX)
DEPIVOT公司 1份文件引用(2021) 软件作者: 马里兰州瓦林。;卡米拉,M.R。;佩德拉斯,C。;特奥多罗,P.R。;Gonçalves,J.M。;佩雷拉,L.S。 相关软件: – 主要字段: 系统论;控制(93-XX)
数字数据通信 1份文件引用(2016) 软件作者: 卡迈克尔·R 相关软件: github;FOILGEN公司;JBLADE… 主要字段: 可变形固体力学(74-XX);流体力学(76-XX);系统论;控制(93-XX)
DSR开放实验室 1份文件引用(2000) 软件作者: 科洛德尼茨基,M。;科瓦尔丘克,A。;Kuryata,S。;莱维茨基,V。 相关软件: 数学cad;Matlab;数学… 主要字段: 计算机科学(68-XX)
FAVITES公司 在0个文档中引用 软件作者: Moshiri N.、Ragonnet-Cronin M.、Wertheim J.O.、Mirarab S。 相关软件: TreeN93;TreeCluster;PhyloSift… 主要字段: –
外国直接投资公司 1份文件引用(2003) 软件作者: Kurtinaitis,A。;Vaicekauskas,R。;伊万纳斯卡斯,F。 相关软件: 维萨德 主要字段: 数值分析(65-XX);计算机科学(68-XX)
IMAP公司 1份文件引用(2002) 软件作者: 萨里特·克劳斯(Sarit Kraus)、亚历山大·克雷纳(Alexander Kröner)和李·察班(Lea Tsaban) 相关软件: – 主要字段: 计算机科学(68-XX)
KDDONTO公司 1份文件引用(2014) 软件作者: C.Diamantini、D.Potena、E.Storti 相关软件: 西拉默;BacSim;神经元… 主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
打开胡桃木 在0个文档中引用 软件作者: Eichelbaum,S.、Goldau,M.、Philips,S.,Reichenbach,A.、Schurade,R.、Wiebel,A 相关软件: – 主要字段: –