模拟67 131篇文献引用(1963年至2021年) 软件作者: 达尔,O.J。;奈加德,K。 相关软件: 埃菲尔;ALGOL 68;Smalltalk… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);数值分析(65-XX)…
方面J 99篇文献引用(2001–2022) 软件作者: 格雷戈·基泽莱斯(Gregor Kiczales);埃里克·希尔斯代尔;Jim Hugunin;米克·克尔斯滕(Mik Kersten);杰弗里·帕尔姆 相关软件: 凯撒J;JBoss;JAsCo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
轻量级Java 107篇文献引用(2001–2023) 软件作者: Atsushi Igarashi;本杰明·皮尔斯(Benjamin C.Pierce)。;菲利普·沃德勒 相关软件: JML;毫升;埃菲尔… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
卵磷脂 39篇文献引用(2006–2023) 软件作者: 马提亚斯·海尔(Matthias Heil),安德鲁·哈泽尔(Andrew L.Hazel) 相关软件: 特里利诺斯;超级LU;自动… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
甲酚 25篇文献引用(2006–2022) 软件作者: 约翰森(Einar Broch Johnsen);Owe、Olaf;Yu,Ingrid Chieh女士 相关软件: 羽量级Java;ABCL;莫德… 主要字段: 计算机科学(68-XX)
PolyTOIL公司 19份文件引用(1997–2014) 软件作者: Bruce,K.,Schuett,A.,van Gent,R.,Fiech,A。 相关软件: 羽量级Java;埃菲尔;Smalltalk… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
iMethyl-PseAAC(异甲基苯丙酮) 21篇文献引用(2014年至2019年) 软件作者: 邱伟荣。;Xiao,X。;林伟珍(Lin,W.Z.)。 相关软件: iRSpot-PseDNC;Pse-in-One;iPTM-mLys… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
三倍的 16篇文献引用(2002–2015) 软件作者: Michael Sintek;德克尔,斯特凡 相关软件: SPARQL;平滑;XSB… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…
所有类型 18篇文献引用(1999–2017) 软件作者: 弗里茨·施瓦兹 相关软件: 减少;枫树;奇异… 主要字段: 场论与多项式(12-XX);结合环与代数(16-XX);常微分方程(34-XX)…
OVID公司 6篇文献引用(2002–2017) 软件作者: Oomoto E、Tanaka K 相关软件: VisualSEEk;SQL/MM;MyStoryPlayer… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
HARP(HARP) 15篇文献引用(1990–2020) 软件作者: Opacher,F。;苏恩,E 相关软件: SETHEO公司;TPTP;3TAP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
pyOpt选项 14篇文献引用(2012–2023) 软件作者: 鲁本·佩雷斯(Ruben E.Perez)。;彼得·詹森(Peter W.Jansen)。;Joaquim R.R.A.Martins。 相关软件: SNOPT;顶部.m;Python… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
Java Jr语言 13份文件引用(2005–2020) 软件作者: 杰弗里,艾伦;朱利安·拉特克 相关软件: Z;埃菲尔;多重显示… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
ACUOS2号机组 13份文件引用(2014年至2022年) 软件作者: 马利亚阿尔普特;黛米斯·巴利斯;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 相关软件: 莫德;莫德-NPA;塔马林… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
拉斯科 11份文件引用(2009–2022) 软件作者: 永藏;永丰;刚正 相关软件: Eigenstrat;JMP;R、 … 主要字段: 历史与传记(01-XX);统计学(62-XX);数值分析(65-XX)…
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者: INRIA公司;佩索,F.,维娅,P.,多利盖兹,D。 相关软件: Coq;dedukti;PVS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
斯皮科 10篇文献引用(2007–2020) 软件作者: 科特勒,塞林;塞德里克·侯赛因;约阿希姆·尼伦 相关软件: 生物-PEPA;BioNetGen;BlenX… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
欧米茄-ANTS 9份文件引用(2001–2008) 软件作者: 克里斯托夫·本兹穆勒;沃尔克·索尔格 相关软件: 欧米茄;LOUI;陷阱… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
接通DLV 引用于8份文件(2009–2021) 软件作者: Ricca,F.、Gallucci,L.、Schindlauer,R.、Dell'armi,T.、Grasso,G.、Leone,N。 相关软件: DLV-EX;颗粒;Lparse… 主要字段: 计算机科学(68-XX)
卡塔布兰卡 7份文件引用(2003–2020) 软件作者: W.B.范德海登。;Dendy,E.D。;新墨西哥州帕迪亚尔·科林斯。 相关软件: JAMA;BLAS;LAPACK… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
羽毛特征 6篇文献引用(2008–2023) 软件作者: 路易吉·利库里;阿诺·斯皮瓦克 相关软件: 羽量级Java;JML;埃菲尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
iROS-gPseKNC 引用于8份文件(2016年至2019年) 软件作者: 宣晓、韩晓野、子刘、贾建华、郭振秋 相关软件: pSuc-Lys;iPTM-mLys;iCar-PseCp… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
原分子 引用于8份文件(2003年至2015年) 软件作者: Matthey,Thierry;特雷弗·奇科夫斯基;斯科特·汉普顿;Ko,Alice;马群;马修·尼尔吉斯(Matthew Nyerges);特洛伊州雷德;托马斯·斯拉巴赫;耶苏斯·A·伊扎古尔。 相关软件: OOMPAA;GSHMC;MPI… 主要字段: 数值分析(65-XX);流体力学(76-XX);量子理论(81-XX)…
萨瑟 7份文件引用(1996–2010) 软件作者: S.M.Omohundro、C.-C.Lim、J.Bilmes、, 相关软件: 埃菲尔;红宝石;回路… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
j现实 6篇文献引用(2006–2017) 软件作者: Gunn,C.,Hoffmann,T.,Schmies,M.,Weissmann,S 相关软件: 多品牌;灰姑娘;PovRay… 主要字段: 代数几何(14-XX);几何(51-XX);凸和离散几何(52-XX)…
加齐 5份文件引用(2006–2012) 软件作者: 肖恩·麦克迪米德、马修·弗拉特、谢伟信 相关软件: 功能C++;方面J;Classbox/J… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
分类箱/J 引用于2份文件(2010–2015) 软件作者: Bergel A、Ducasse S、Nierstrasz O 相关软件: 功能C++;凯撒J;方面J… 主要字段: 计算机科学(68-XX)
功能C++ 引用于2份文件(2010–2018) 软件作者: Apel,S.、Leich,T.、Rosenmüller,M.、Saake,G。 相关软件: 凯撒J;方面J;Classbox/J… 主要字段: 计算机科学(68-XX)
弗里尔++ 5份文件引用(2002–2017) 软件作者: 曹天华。;罗西特,J.M。;马丁·T·P。;J.F.鲍德温。 相关软件: Fuzzydl;卷曲;HyPER… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
后勤局域网 5份文件引用(1985–2020) 软件作者: 安东尼·克雷茨马尔(Antoni Kreczmar);安德烈·索尔维基(Andrzej Salwicki);马雷克·沃佩霍夫斯基 相关软件: Simula 67;贝塔 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
MontiCore公司 3份文件引用(2016年至2021年) 软件作者: 霍尔格·克拉恩(Krahn,Holger);伦佩,伯恩哈德;史蒂文·沃尔克尔 相关软件: Neverlang公司;ANTLR;Spoofax… 主要字段: 计算机科学(68-XX)
GENEHUNTER公司 4份文件引用(1999–2015) 软件作者: Kyriacos Markianos;马克·戴利(Mark J.Daly);莱昂纳德·克鲁格亚克 相关软件: MLEP;快板;R、 … 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
马科牌手表 3份文件引用(2013–2021) 软件作者: 迈克尔·拜耳 相关软件: PyCUDA;赛马拉松;Python… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
MOMI公司 4份文件引用(2005–2008) 软件作者: 洛伦佐·贝蒂尼;贝蒂·文内里(Betti Venneri);维维亚娜·博诺 相关软件: 琳达;科莱姆;克拉瓦 主要字段: 计算机科学(68-XX)
部落 4份文件引用(2010–2016) 软件作者: Clarke,D.、Drossopoulou,S.、Noble,J.、Wrigstad,T。 相关软件: Waldmeister;梅斯4;校准仪9… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
网络多样性 3份文件引用(2018–2023) 软件作者: 克里斯蒂娜·威克;马雷克·菲舍尔 相关软件: PhyloNetwork;PERL;FairShapley… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
对象货币 3份文件引用(1994–2013) 软件作者: 迈克尔·哈努斯(Michael Hanus);哈奇,弗兰克;菲利普·尼德劳 相关软件: 奥兹;巴贝尔;PAKCS… 主要字段: 计算机科学(68-XX)
泄漏 3份文件引用(1994–2012) 软件作者: 安东尼奥·阿伦卡尔(Antonio J.Alencar)、约瑟夫·高根(Joseph A.Goguen) 相关软件: AGG;亨欣;凹槽… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
2008年南非兰特 3份文件引用(2012–2016) 软件作者: Dave Foti,数学工场 相关软件: Matlab;数学软件 主要字段: 常微分方程(34-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…
SNP统计 1份文件引用(2016) 软件作者: Solé,X.,E.Guino,J.Valls,R.伊涅斯塔,V.莫雷诺 相关软件: SNPassoc;PLINK;R、 … 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
坚固性 3份文件引用(2018–2020) 软件作者: 加文·伍德(Gavin Wood)、克里斯蒂安·赖特维斯纳(Christian Reitwessner)、亚历克斯·贝雷格萨齐(Alex Beregszaszi)、莉安娜·胡西基(Liana Husikyan)、平井友一 相关软件: Servois;CVC4;PBC图书馆… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
符号2000 3份文件引用(2003–2014) 软件作者: AK Samantaray Mukherjee 相关软件: 20卡 主要字段: 组合数学(05-XX);流体力学(76-XX);经典热力学,传热(80-XX)…
CGMIM公司 1份文件引用(2006) 软件作者: 巴季克,C.D。;Kuo,B。;Rusaw,S。;琼斯,S。;布鲁克斯·威尔逊,A。 相关软件: UniProt;完整的;爆炸… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
CNVassoc公司 引用于2份文件(2014–2016) 软件作者: 苏比拉纳,I.,迪亚兹·乌里亚特,R.,卢卡斯,G.,冈萨雷斯,J。 相关软件: PennCNV;iBATCGH;大卫… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)
德尔塔J 引用于2份文件(2018) 软件作者: Koscielny,J.、Holthusen,S.、Schaefer,I.、Schulze,S.和Bettini,L.、Damiani,F。 相关软件: VerCors;埃斯特尔;毒蛇… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
哈尔_ 引用于2份文件(1992–2000) 软件作者: 克里斯·霍克(Chris Houck)、古尔·阿加(Gul Agha) 相关软件: 蟒蛇;CHARM++;Oz… 主要字段: 计算机科学(68-XX)
lobSTR公司 1份文件引用(2016) 软件作者: 梅丽莎·金姆雷克(Melissa Gymrek);大卫·戈兰;萨哈隆·罗塞特;亚尼夫·埃利希 相关软件: Matlab;PPS公司 主要字段: 欧氏空间(42-XX)的调和分析;生物学和其他自然科学(92-XX)
面板PRO 1份文件引用(2023) 软件作者: Gavin Lee、Qing Zhang、Jane W.Liang、Theodore Huang、Christine Choirat、Giovanni Parmigiani、Danielle Braun 相关软件: R;狙击手;图表… 主要字段: 统计学(62-XX)
雅典 1份文件引用(2019) 软件作者: Saha,D.、A.Floratou、K.Sankaranarayanan、U.F.Minhas、A.R.Mittal、F.Özcan 相关软件: BabelNet;吊索;StanfordCoreNLP… 主要字段: 计算机科学(68-XX)
芹菜 1份文件引用(2012) 软件作者: 尼科莱塔·德·弗朗西斯科;朱塞佩·莱蒂埃里(Giuseppe Lettieri);卢卡·马蒂尼 相关软件: Pedcheck(跟踪检查) 主要字段: 计算机科学(68-XX)
EPIQ公司 1份文件引用(2018) 软件作者: Y.Arkin、E.Rahmani、M.Kleber、R.Laaksonen、W.März、E.Halperin 相关软件: glmnet;github;xyz… 主要字段: 统计学(62-XX);计算机科学(68-XX)
ExomeWalker公司 1份文件引用(2018) 软件作者: 达米安·斯梅德利(Damian Smedley)、塞巴斯蒂安·科勒(Sebastian Kohler)、约翰娜·克里斯蒂娜·切希克(Johanna Christina Czeschik)、乔安娜·安伯格(Joanna Amberger)、卡罗尔·博基尼(Carol Bocchini)、阿达·哈莫什(Ada Hamosh)、朱利安·维尔德博尔 相关软件: BCF工具;HTQC;SNVer… 主要字段: 生物学和其他自然科学(92-XX)
全球ARTP 1份文件引用(2014) 软件作者: 纳塔利亚·维洛·特杰多;Calle,M.Luz 相关软件: 全球GSA;R;CRAN(起重机) 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
全球GSA 1份文件引用(2014) 软件作者: 纳塔利亚·维洛·特杰多;Calle,M.Luz 相关软件: 全球ARTP;R;CRAN(起重机) 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
移动电话 1份文件引用(2022) 软件作者: 法布里西奥·克拉沃;福格尔,马提亚斯;托马斯,诺瓦克;加亚特里·普拉卡什 相关软件: github;PySB;COPASI… 主要字段: 生物学和其他自然科学(92-XX)
PyCG公司 在0个文档中引用 软件作者: Vitalis Salis、Thodoris Sotiropoulos、Panos Louridas、Diomidis Spinellis、Dimitris Mitropoulos 相关软件: ast;守门人;合成码… 主要字段: –
VarFish公司 在0个文档中引用 软件作者: M.Holtgrewe O.Stolpe M.Nieminen S.Mundlos A.Knaus U.Kornak D.Seelow L.Segebrecht M.Spielmann B.Fischer-Zirnsak F.Boschann U.Scholl N.Ehmke D.Beule先生 相关软件: DigestiFlow;Django;Python… 主要字段: –
维也纳IPD 1份文件引用(2015) 软件作者: 约瑟夫·温布布 相关软件: 数字Py;pugixml;SIUNITS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)
VNTR搜索 1份文件引用(2016) 软件作者: 叶夫根尼·盖尔芬德、约森·埃尔南德斯、约书亚·洛文、加里·本森 相关软件: 剂量;阿波罗;DBAli工具… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)