XPath(XPath) 205篇文献引用(2002–2023) 软件作者: w3.org网站 相关软件: XQuery;X标记;Oracle… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…
DAML+油 34份文件引用(2002–2009) 软件作者: 伊恩·霍洛克斯 相关软件: WordNet;swrl;三重… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
打开AD/F 23篇文献引用(2007–2022) 软件作者: Jean Utke;乌韦·诺曼;Mike Fagan;内森·塔伦特;米歇尔·米尔斯(Michelle Mills),斯特劳特(Strout);帕特里克·海姆巴赫;克里斯·希尔(Chris Hill);卡尔·温施 相关软件: 锥体;ADIFR;ADOL-C… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
密码数据库 22篇文献引用(2013–2023) 软件作者: Raluca Ada Popa、Catherine M.S.Redfield、Nickolai Zeldovich、Hari Balakrishnan 相关软件: github;卡桑德拉;HBase… 主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
三倍的 16篇文献引用(2002–2015) 软件作者: Michael Sintek;斯特凡·戴克 相关软件: SPARQL;平滑;XSB… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…
转换PDE-UQ 引用于20份文件(2019–2024) 软件作者: 韦诺维奇,N。;拉马尼,K。;Lin,G。 相关软件: 亚当;DeepONet;DGM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
放松NG 18篇文献引用(2003–2018) 软件作者: J.Clark,M.Murata 相关软件: XPath;PERL;XSugar… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子和系统力学(70-XX)
GXL公司 10篇文献引用(2002–2020) 软件作者: 理查德·霍尔特(Richard C.Holt)。;安迪·舒尔(Andy Schürr);Sim,Susan Elliott;安德烈亚斯·温特 相关软件: 进步;凹槽;AGG… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
洛尔 6篇文献引用(2002–2010) 软件作者: McHugh J、Abiteboul S、Goldman R、Quass D、Widom J。 相关软件: XPath;XQuery;ViST… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
立方agda 17篇文献引用(2020–2023) 软件作者: 安德烈亚·维佐西(Andrea Vezzosi);Mörtberg,安德斯;安德烈亚斯·亚贝尔 相关软件: 立方体;github;Coq… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
vg(vg) 16篇文献引用(2017–2024) 软件作者: E.Garrison等人。 相关软件: HISAT;BWA;r-指数… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
SEMINT公司 引用于9份文件(2000–2009) 软件作者: 李,W.-S。;克利夫顿,C。 相关软件: WordNet;Etuner;阿达·布斯特。MH… 主要字段: 一般代数系统(08-XX);计算机科学(68-XX)
MYSTIQ公司 6篇文献引用(2007–2021) 软件作者: Boulos,J。;Dalvi,N.N。;Mandhani,B。;马图尔,S。;关于C。;苏西乌(D.Suciu)。 相关软件: 三重奏;ProbView;MayBMS… 主要字段: 计算机科学(68-XX)
OSiL公司 10篇文献引用(2005–2022) 软件作者: 罗伯特·福勒;马军;基普·马丁 相关软件: AMPL;GAMS;LINDO… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
哥伦布 8份文件引用(2002年至2012年) 软件作者: Ferenc,R.M Beszedes,A。;Tarkiainen,M。;T·吉莫西。 相关软件: 麦沙;代码爬虫;古普罗… 主要字段: 计算机科学(68-XX)
XPERANTO公司 4份文件引用(2005–2010) 软件作者: M.J.Carey、D.Florescu、Z.G.Ives、Y.Lu、J.Shanmugasundaram、E.J.Shekita、S.N.Subramanian 相关软件: DB2;神谕;XQuery… 主要字段: 计算机科学(68-XX)
全球采购自由度 8份文件引用(2005–2015) 软件作者: Gilles Trombettoni;马尔塔·威尔茨科维亚克 相关软件: 实摊铺机;CPLEX;SBA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
架构SQL 3份文件引用(2001–2017) 软件作者: 印第安纳州苏布拉曼尼亚Sadri F Lakshmanan LVS 相关软件: PostgreSQL;R;格子… 主要字段: 计算机科学(68-XX)
ToX基因 4份文件引用(2011–2019) 软件作者: Barbosa,D.,Mendelzon,A.O.,Keenleyside,J.,Lyons,K.A。 相关软件: X标记;漏洞;Matlab… 主要字段: 统计学(62-XX);计算机科学(68-XX)
FactorBase公司 6篇文献引用(2014–2020) 软件作者: Khosravi H、Man T、Hu J、Gao E、Mar R、Schulte O 相关软件: ProbLog;CrossMine;Aleph… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
ASSAM公司 3份文件引用(2004–2010) 软件作者: 安德烈亚斯·赫;埃迪·约翰斯顿;尼古拉斯·库什梅里克 相关软件: JAsCo;泡沫;WordNet… 主要字段: 计算机科学(68-XX)
资料收集库 6篇文献引用(2006–2011) 软件作者: Walsh,N.,Muellner,L。 相关软件: LeActiveMath;OMDoc;ActiveMath… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);数学教育(97-XX)
NeMa公司 6篇文献引用(2014–2022) 软件作者: A.Khan、Y.Wu、C.C.Aggarwal、X.Yan 相关软件: Fg指数;TALE公司;Freebase… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
XML监视 3份文件引用(2005–2016) 软件作者: 阿尔托瓦 相关软件: OSiL;GAMS;AMPL… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
ProGen公司 5份文件引用(2008–2009) 软件作者: 张晓;王珊;莉安(Lian,Na) 相关软件: PSPLIB;禁忌搜索 主要字段: 积分方程(45-XX);数值分析(65-XX);计算机科学(68-XX)…
X苏加 4份文件引用(2005–2018) 软件作者: 布拉布兰德,克劳斯;莫勒,安德斯;迈克尔·施瓦茨巴赫。 相关软件: 放松NG;biXid;dk.brics.automon… 主要字段: 计算机科学(68-XX)
蒸馏水 3份文件引用(2001–2006) 软件作者: Sudha Ram、Richard T.Snodgrass、Vijay Khatri和Yousub Hwang 相关软件: OMT-G公司 主要字段: 计算机科学(68-XX)
科梅特 4份文件引用(2002–2005) 软件作者: Calmet,J.,Jekutsch,S.,Kullmann,P.,Schü,J。 相关软件: FRIL;PVS;SPASS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LPFML公司 4份文件引用(2005–2016) 软件作者: 罗伯特·福勒;利奥·洛佩斯;基普·马丁 相关软件: AMPL;林多;近地天体… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
系统XML 1份文件引用(2012年) 软件作者: Han,M.V。;C.M.兹马塞克。 相关软件: RAxML;野兽;ATV… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
RDL公司 4份文件引用(2001–2005) 软件作者: 阿曼多,亚历山德罗;卢卡·孔帕尼亚(Luca Compagna);西尔维奥·兰伊斯 相关软件: NQTHM;ACL2;剑桥LCF… 主要字段: 计算机科学(68-XX)
糖J 2份文件引用(2015–2020) 软件作者: Erdweg,S.、Rendel,T.、Kastner,C.、Ostermann,K。 相关软件: 孢子虫;JastAdd;Twelf… 主要字段: 计算机科学(68-XX)
i基准 2份文件引用(2021) 软件作者: P.C.Arocena、B.Glavic、R.Ciucanu、R.J.Miller 相关软件: LUBM;SPARQL;HyperBench… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
k-邻居 3份文件引用(2014–2016) 软件作者: Denis D.Mauá。;法比奥·科兹曼。 相关软件: 冰雹探测器;ElemStatLearn(电子状态学习) 主要字段: 统计学(62-XX);计算机科学(68-XX)
KagNet公司 3份文件引用(2020–2023) 软件作者: Bill Yuchen Lin、Xinyue Chen、Jamin Chen、Xiang Ren 相关软件: GPT-3;Tensor2传感器;BERT… 主要字段: 计算机科学(68-XX)
开放式入职培训 3份文件引用(1988–2022) 软件作者: 小川瑞之;克里斯蒂安·斯特纳格尔 相关软件: 存档正式证据;数学溢出;递减图II… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
质量保证代 2份文件引用(2014–2016) 软件作者: C.Binnig、D.Kossmann、E.Lo、M.T.Özsu 相关软件: 萨齐拉;PicoSAT;小脚… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
威诺格兰德 2份文件引用(2021–2023) 软件作者: Keisuke Sakaguchi、Ronan Le Bras、Chandra Bhagavatula、Yejin Choi 相关软件: Tensor2传感器;ChatGPT;NLTK… 主要字段: 计算机科学(68-XX)
CPACS公司 2份文件引用(2016–2019) 软件作者: M.Alder、E.Moerland、J.Jepsen、B.Nagel 相关软件: github;TiGL;CEASIOM… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
F2/XML 2份文件引用(2002–2020) 软件作者: 利纳·阿尔·贾迪尔;El Moukaddem,法特姆 相关软件: MongoDB;MS SQL Server;XPath… 主要字段: 计算机科学(68-XX)
光学卫星 2份文件引用(2006–2013) 软件作者: 恩里科·金奇利亚(Enrico Giunchiglia);马可·马拉提亚 相关软件: MiniSat;鸦片;MSUnCore… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
R2D(R2D) 2份文件引用(2009–2010) 软件作者: 苏尼萨·拉马努贾姆(Sunitha Ramanujam);阿努巴·古普塔;拉蒂弗·汗;巴瓦尼·图赖辛厄姆;史蒂文·赛达 相关软件: SPARQL;DataVision;D2RQ… 主要字段: 计算机科学(68-XX)
夏洛克 2份文件引用(2023年) 软件作者: Madelon Hulsebos、Kevin Hu、Michiel Bakker、Emanuel Zgraggen、Arvind Satyanarayan、Tim Kraska、圣迭戈Demiralp、塞萨尔·伊达尔戈 相关软件: Scikit;GPT-3;UCI-ml… 主要字段: 统计学(62-XX);计算机科学(68-XX)
++辣味 2份文件引用(2014–2021) 软件作者: 马内特,B。;麦加,G。;帕波蒂,P。;劳尼奇,S。;桑托罗,D 相关软件: i工作台;VizCurator;MostoDEx… 主要字段: 计算机科学(68-XX)
SQL化器 2份文件引用(2021–2023) 软件作者: Yaghmazadeh,N。;Wang,Y。;迪利格,I。;T·迪利格。 相关软件: 稳健填充;NLTK;aplore3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ASDeX公司 1份文件引用(2018) 软件作者: 马明宇(Mingyu Ma)、拉尔斯·赫德里奇(Lars Hedrich)、克里斯汀·斯波勒(Christian Sporrer) 相关软件: MiniSat;通过;AMT… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
雅典 1份文件引用(2019) 软件作者: Saha,D.、A.Floratou、K.Sankaranarayanan、U.F.Minhas、A.R.Mittal、F.Özcan 相关软件: BabelNet;吊索;StanfordCoreNLP… 主要字段: 计算机科学(68-XX)
EDSL公司 1份文件引用(2011) 软件作者: Alex Bain;约翰·米切尔(John Mitchell);拉胡尔·夏尔马(Rahul Sharma);德伊安·斯特凡(Deian Stefan);乔·齐默尔曼 相关软件: 分享者;哈斯克尔 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
FAIMS移动 在0个文档中引用 软件作者: Brian Ballsun-Stanton、Shawn A.Ross、Adela Sobotkova、Penny Crook 相关软件: KoBo工具箱 主要字段: –
g标记 1份文件引用(2018) 软件作者: 巴根,G。;Bonifati,A。;乔卡努(Ciucanu,R.)。;弗莱彻,G.H.L。;A.勒梅。;Advokaat,N。 相关软件: OCaml;OEuf;HoTTSQL… 主要字段: 计算机科学(68-XX)
HeteSpaceyWalk公司 1份文件引用(2021) 软件作者: 于赫、宋阳秋、李建新、程吉、健鹏、郝鹏 相关软件: 单词2vec;DeepWalk;线路… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)
贾克尔 1份文件引用(2019) 软件作者: Beyer,K.、Ercegovac,V.、Gemulla,R.、Balmin,A.、Eltabakh,M.、Kanne,C.-C.等人。 相关软件: 蜂巢;MapReduce 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
json验证 在0个文档中引用 软件作者: Rich FitzJohn、Rob Ashton、Alex Hill、Alicia Schep、Kara Woo、Mathias Buus、Evgeny Poberezkin 相关软件: github;码元;R、 … 主要字段: –
洛德克斯 在0个文档中引用 软件作者: 法比奥·贝内德蒂(Fabio Benedetti)、索尼娅·贝加马斯基(Sonia Bergamaschi)、劳拉·波(Laura Po) 相关软件: R2RML;RDF123;查询VOWL… 主要字段: –
MostoDEx公司 1份文件引用(2021) 软件作者: 里韦罗,CR;埃尔南德斯,I。;鲁伊斯,D。;R·科丘勒。 相关软件: i工作台;++辣味;VizCurator… 主要字段: 计算机科学(68-XX)
生物体Dbi 1份文件引用(2016) 软件作者: Carlson M、Pages H、Morgan M、Obenchain V。 相关软件: knitr;烤面包;银河… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
psRNA目标 1份文件引用(2019) 软件作者: 戴新斌;赵学春(Patrick Xuechun Zhao) 相关软件: 塔皮尔;LncmiRSRN公司 主要字段: 生物学和其他自然科学(92-XX)
PyTorrent公司 在0个文档中引用 软件作者: Mehdi Bahrami、N.C.Shrikanth、Shade Ruangwan、Lei Liu、Yuji Mizobuchi、Masahiro Fukuyori、Wei-Peng Chen、Kazuki Munakata、Tim Menzies 相关软件: github;PyMT5;毒物… 主要字段: –
SCIFIO公司 在0个文档中引用 软件作者: Mark C.Hiner、Curtis T.Rueden、Kevin W.Eliceiri 相关软件: scikit-image;OpenCV;BigDataViewer… 主要字段: –
Viz策展人 1份文件引用(2021) 软件作者: 加迪里·巴沙杜斯特(Ghadiri Bashardoost,B.)、克里斯托乌拉基斯(Christodulakis,C.)、哈萨斯·叶加内赫(Hassas Yeganeh,S.)、哈桑扎德(Hassanzadeh,O.)、米勒(Miller,R.J.)、里昂(Lyons,K.)。 相关软件: i工作台;++辣味;MostoDEx… 主要字段: 计算机科学(68-XX)
DBPal(数据库管理员) 在0个文档中引用 软件作者: Basik,F.、B.Hättasch、A.Ilkhechi、A.Usta、S.Ramaswamy、P.Utama、N.Weir、C.Binnig、U.Jontentemel 相关软件: – 主要字段: –