PostgreSQL 55份文件引用(2000–2023) 软件作者: – 相关软件: 神谕;MySQL;MS SQL Server… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
BSPlib公司 41篇文献引用(1997–2020) 软件作者: 贾维斯,S.A。;希尔,J.M.D。;Siniolakis,C.J。;瓦西列夫。 相关软件: BSP备份;PVM;多核BSP… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);数值分析(65-XX)…
SQL摘要 16篇文献引用(1999–2017) 软件作者: 丹·拉斯穆森;罗纳德·雅格 相关软件: 圣蒂克;PostgreSQL;模糊夹 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
Ontop(顶部) 13份文件引用(2014–2021) 软件作者: 罗曼·孔查科夫(Roman Kontchakov);马丁·雷兹克;玛丽亚诺·罗德里格斯-穆罗;肖国辉;迈克尔·扎克哈里亚舍夫 相关软件: MASTRO公司;SPARQL;LUBM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
MYSTIQ公司 6篇文献引用(2007–2021) 软件作者: Boulos,J。;Dalvi,N.N。;Mandhani,B。;马图尔,S。;关于C。;苏西乌(D.Suciu)。 相关软件: 三重奏;ProbView;MayBMS… 主要字段: 计算机科学(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)
代码任务 4份文件引用(2007-2013) 软件作者: 埃尔纳尔·哈吉耶夫;马修·韦巴埃(Mathieu Verbaere);Oege De Moor公司 相关软件: 方面J;JHotDraw;XSB… 主要字段: 计算机科学(68-XX)
首选项SQL 5份文件引用(2012–2020) 软件作者: Kießling,W.,Endres,M.,Wenzel,F。 相关软件: 懒惰;TunePareto;ggplot2… 主要字段: 计算机科学(68-XX)
PSQL(PSQL) 4份文件引用(1998–2005) 软件作者: Dey,Debabrata;苏米特·萨卡尔 相关软件: ProbView;ProTDB公司 主要字段: 总体主题;藏品(00-XX);数论(11-XX);计算机科学(68-XX)
HoTTSQL 6篇文献引用(2018–2022) 软件作者: 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋 相关软件: Coq;链接;克莱斯利… 主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)
空标题 3份文件引用(2017–2022) 软件作者: Christopher R.Aberger、Susan Tu、Kunle Olukotun、Christophers Ré 相关软件: HyperBench;利格拉;图形X… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
瓶 3份文件引用(2010–2011) 软件作者: 大陆,G.、莫里塞特,G.,威尔士,M。 相关软件: MiniML;标签;Ynot… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)
洞穴堆积 5份文件引用(2010年至2022年) 软件作者: 玛格斯·维纳斯(Margus Veanes);尼古拉·蒂尔曼;乔纳森·德·哈勒克斯 相关软件: z3;Z3str3;陌生人… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
序列2SQL 4份文件引用(2018–2023) 软件作者: 维克多·钟(Victor Zhong)、熊才明(Caiming Xiong)、理查德·索彻(Richard Socher) 相关软件: GPT-3;BERT;RoBERTa… 主要字段: 计算机科学(68-XX);统计力学,物质结构(82-XX);运筹学,数学规划(90-XX)…
火焰 3份文件引用(2021–2022) 软件作者: 王天宇、马可·莫里奇、M.Usaid Awan、刘亚萌、苏迪帕·罗伊、辛西娅·鲁丁、亚历山大·沃尔福夫斯基 相关软件: 圣母火焰;GOSDT;CMAR… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
科学数据库 2份文件引用(2016–2023) 软件作者: Stonebraker,M.、Brown,P.、Zhang,D.、Becla,J。 相关软件: R;陆地卫星;dtw… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
泰美 2份文件引用(2020–2021) 软件作者: Heng Li(李恒) 相关软件: VCF工具;鲍蒂2;金属… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
Asterix数据库 1份文件引用(2023) 软件作者: 萨塔姆·阿尔苏拜埃、亚西尔·阿尔托维姆、霍瑟姆·阿尔特瓦伊里、亚历山大·贝姆、维纳亚克·博尔卡、英伊·布、迈克尔·凯里、印奇·塞丁迪尔、马都苏丹·奇朗吉、库拉姆·法拉兹、尤金妮亚·加布里埃洛娃、拉曼·格罗弗、扎卡里·海尔布伦、金永硕、陈丽、李光强、吉·马恩·奥克、尼古拉·奥诺泽、波里亚·皮尔扎德、瓦西里斯·茨拉斯、拉雷斯·维尼卡、建文,直到韦斯特曼 相关软件: DB2;MonetDB;Bigtable… 主要字段: 计算机科学(68-XX)
SociaLite公司 1份文件引用(2022年) 软件作者: Jiwon Seo;Stephen Guo;莫妮卡·S·林 相关软件: 普雷格尔;大数据日志;奈德… 主要字段: 计算机科学(68-XX)
SQL化器 2份文件引用(2021–2023) 软件作者: Yaghmazadeh,N。;Wang,Y。;Dillig,我。;Dillig,T。 相关软件: 稳健填充;NLTK;aplore3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
隐形数据库 2份文件引用(2021–2022) 软件作者: Alexey Gribov、Dhinakaran Vinayagamurthy、Sergey Gorbunov 相关软件: NuFHE;CryptDB;重新思考DB… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
雅典 1份文件引用(2019) 软件作者: Saha,D.、A.Floratou、K.Sankaranarayanan、U.F.Minhas、A.R.Mittal、F.Özcan 相关软件: BabelNet;吊索;StanfordCoreNLP… 主要字段: 计算机科学(68-XX)
OREX-J公司 1份文件引用(2013) 软件作者: 朗(Jan Christian);托马斯·威贾贾 相关软件: 北极星;BEAGLE公司;jMetal… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
Q*证书 1份文件引用(2018) 软件作者: 奥尔巴赫,J.S.、赫泽尔,M.、曼德尔,L.、辛纳,A.、西蒙,J。 相关软件: 序列;HoTTSQL;SQLCert… 主要字段: 计算机科学(68-XX)
SciHive公司 1份文件引用(2016) 软件作者: Y.Geng、X.Huang、M.Zhu、H.Ruan、G.Yang 相关软件: 火花;SciMATE公司;格雷克斯… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
TVQL公司 1份文件引用(2002) 软件作者: 莫拉·莫罗(Moura Moro)、米雷拉(Mirella);雪绒花,尼娜;佩雷拉·扎帕(Pereira Zaupa),阿格拉(Agla^e);克莱西奥·萨拉瓦·多斯·桑托斯 相关软件: – 主要字段: 计算机科学(68-XX)