弹丸 71篇文献引用(2006–2023) 软件作者: Sirin,E.,Parsia,B.,Grau,B.C.,Kalyanpur,A.,Katz,Y。;Clark&Parsia有限责任公司 相关软件: FaCT++;赛车手;埃尔米特… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
动态数学 32篇文献引用(2001–2018) 软件作者: DFKI&萨尔大学 相关软件: OMDoc;枫树;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
耶拿 19份文件引用(2002–2022) 软件作者: 麦卡锡,P。;布赖恩·麦克布莱德 相关软件: SPARQL;颗粒;保护… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
SegNet公司 46篇文献引用(2018–2024) 软件作者: V.Badrinarayanan、A.Kendall、R.Cipolla 相关软件: U-Net;亚当;深度实验室… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
旋转(swrl) 32篇文献引用(2005–2022) 软件作者: Horrocks,I.、Patel-Schneider,P.F.、Boley,H.、Tabet,S.、Grosof,B.、Dean,M。 相关软件: 颗粒;FaCT++;SPARQL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
Wolfram功能站点 42篇文献引用(2007–2023) 软件作者: Wolfram研究公司。 相关软件: DLMF;Mathematica;仲裁… 主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…
DAML+油 34份文件引用(2002–2009) 软件作者: 伊恩·霍洛克斯 相关软件: WordNet;swrl;三重… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
概念网 19份文件引用(2007–2023) 软件作者: Liu H,Singh P;哈瓦西,C.,斯佩尔,R.,阿隆索,J。 相关软件: WordNet;BERT;雅高… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
甘道夫 在35份文件中引用(1996–2018) 软件作者: 塔内尔·塔米特 相关软件: TPTP;Isabelle/HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
自由基 23篇文献引用(2014年-2023年) 软件作者: K.Bollacker、R.Cook、P.Tufts 相关软件: 雅高;DBpedia;WordNet… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX)…
OilEd公司 24篇文献引用(2001–2008) 软件作者: 肖恩·贝赫霍夫(Sean Bechhofer);伊恩·霍洛克斯(Ian Horrocks);卡罗尔·高布尔(Carole Goble);罗伯特·史蒂文斯 相关软件: OntoEdit;赛车手;保护… 主要字段: 数学逻辑与基础(03-XX);算子理论(47-XX);统计学(62-XX)…
ShapeNet公司 16篇文献引用(2018–2023) 软件作者: Angel X.Chang、Thomas Funkhouser、Leonidas Guibas、Pat Hanrahan、Qixing Huang、Zimo Li、Silvio Savarese、Manolis Savva、Shuran Song、Hao Su、Xiao、Li Yi、Fisher Yu 相关软件: PointNet;3D-R2N2;亚当… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
三倍的 16篇文献引用(2002–2015) 软件作者: Michael Sintek;斯特凡·戴克 相关软件: SPARQL;平滑;XSB… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…
SenticNet公司 6篇文献引用(2017–2022) 软件作者: 坎布里亚E.、斯佩尔R.、哈瓦西C.、侯赛因A。 相关软件: SentiWordNet;概念网;WordNet… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
MAFRA公司 14篇文献引用(2002–2015) 软件作者: 亚历山大·马德奇(Alexander Maedche);Boris Motik;努诺·席尔瓦;拉斐尔·沃尔兹 相关软件: 泡沫;及时;yOWL… 主要字段: 计算机科学(68-XX);量子理论(81-XX);相对论和引力理论(83-XX)
Swoogle标志 引用于2份文件(2011) 软件作者: Ding,L.,Finin,T.,Joshi,A.,Pan,R.,Cost,R.S.,Peng,Y.,Reddivari,P.,Doshi,V.C.,Sachs,J。 相关软件: WordNet;SPARQL;数据库… 主要字段: 计算机科学(68-XX)
S-CREAM系列 引用于8份文件(2002–2008) 软件作者: 齐格弗里德·汉德施(Siegfried Handschuh);斯特芬·斯塔布;法比奥·西拉维尼亚 相关软件: 锰锰;蛋白质;罗丹纳… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
打开以编辑 引用于8份文件(2002–2006) 软件作者: 当然,约克;Michael Erdmann;朱尔根·安吉尔;斯特芬·斯塔布;鲁迪·施图德(Rudi Studer);德克·温克 相关软件: 石油教育;蛋白质;WebODE… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
生物2RDF 3份文件引用(2010–2019) 软件作者: 弗兰克·科伊斯·贝洛;Nicole Tourigny;很好,本杰明;让·莫里塞特 相关软件: KEGG;DBpedia;ArrayExpress… 主要字段: 统计学(62-XX);计算机科学(68-XX)
维基百科矿工 4份文件引用(2012–2019) 软件作者: 大卫·米尔恩(David Milne);伊恩·维滕 相关软件: DBpedia;曼陀罗;BabelNet… 主要字段: 统计学(62-XX);计算机科学(68-XX)
DLog(数据日志) 引用于8份文件(2008–2020) 软件作者: 格格利·卢卡西(Gergely Lukácsy);佩特尔·塞雷迪 相关软件: 精益TAP;颗粒;接通DLV… 主要字段: 计算机科学(68-XX)
N3逻辑 7份文件引用(2008–2017) 软件作者: 蒂姆·伯纳斯-李(Tim Berners-Lee);Dan Connolly;拉拉纳·卡加尔;尤西·沙夫;吉姆·亨德勒 相关软件: 平滑;MWeb;SPARQL… 主要字段: 计算机科学(68-XX)
家禽 9份文件引用(2014–2021) 软件作者: 隆美尔·N·卡瓦略。;凯瑟琳·拉斯基。;保罗·科斯塔。 相关软件: IBAL;贝叶斯OWL;博客… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);统计学(62-XX)…
ToppGene套件 7份文件引用(2018–2022) 软件作者: Chen,J.、E.E.Bardes、B.J.Aronow、A.G.Jegga 相关软件: 玻璃;项目管理局;DEseq… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
网络PIE 引用于8份文件(2012–2022) 软件作者: Urbani,J.、Kotoulas,S.、Maassen,J.,van Harmelen,F.、Bal,H。 相关软件: XSB;数据日志;ELK… 主要字段: 计算机科学(68-XX)
贝叶斯OWL 7份文件引用(2008–2019) 软件作者: 钟立鼎;云鹏;Rong Pan公司 相关软件: 博客;PR-OWL;IBAL… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)
打开规则基准 7份文件引用(2011–2014) 软件作者: Liang,S.、Fodor,P.、Wan,H.、Kifer,M。 相关软件: XSB;SPARQL;OPTYap… 主要字段: 计算机科学(68-XX)
CAWICOMS公司 6篇文献引用(2001–2004) 软件作者: 亚历山大·费尔费尔尼格;格哈德·弗里德里希(Gerhard Friedrich);Dietmar Jannach;马库斯·赞克 相关软件: DAML+油;Matlab;SiMoL… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
SPARQ2L系列 5份文件引用(2009–2022) 软件作者: 科马福·安彦武;安吉拉·马杜科;阿米特·谢斯 相关软件: SPARQL;耶拿;XPath… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ASSAM公司 3份文件引用(2004–2010) 软件作者: 安德烈亚斯·赫;埃迪·约翰斯顿;尼古拉斯·库什梅里克 相关软件: JAsCo;泡沫;WordNet… 主要字段: 计算机科学(68-XX)
DR-预测 4份文件引用(2018–2019) 软件作者: 安东尼斯·比卡基斯;君士坦丁诺·帕帕西奥多罗;格里戈里斯·安东尼奥 相关软件: DELORES公司;高音;法律规则ML… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
密封 5份文件引用(2001–2006) 软件作者: 亚历山大·马德奇(Alexander Maedche);斯特芬·斯塔布;内纳德·斯托亚诺维奇;鲁迪·施图德(Rudi Studer);当然,约克 相关软件: —— 主要字段: 计算机科学(68-XX)
UDDI(UDDI) 1份文件引用(2002) 软件作者: 马西莫·保卢奇;高弘河村;佩恩(Terry R.Payne)。;卡蒂亚·西卡拉 相关软件: 商店2;swrl;ASSAM… 主要字段: 计算机科学(68-XX)
VMEXT公司 6篇文献引用(2017–2022) 软件作者: 莫里茨·舒博茨(Moritz Schubotz);诺曼·穆什克;托马斯·赫普(Thomas Hepp);霍华德·S·科尔。;吉普,贝拉 相关软件: DLMF;CiteFlag公司;LaTeXML… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)
AquaLog公司 在0个文档中引用 软件作者: Lopez V、Uren V、Motta E、Pasin M 相关软件: DBpedia;SPARQL;WordNet… 主要字段: 计算机科学(68-XX)
CDAO商店 4份文件引用(2011–2022) 软件作者: Brandon Chisham;恩里科·蓬泰利(Enrico Pontelli);儿子Tran Cao;本·赖特 相关软件: 阳光;AutoFolio;平滑… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
ClaiMaker公司 5份文件引用(2002–2007) 软件作者: 李刚敏;维多利亚州乌伦;恩里科·莫塔;西蒙·白金汉·舒姆;多明戈,约翰 相关软件: 奥斯卡;DIMACS公司 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
小伙子 3份文件引用(2007–2014) 软件作者: 米盖尔·阿巴纳德斯(Miguel A Abánades);杰苏斯·埃斯克里巴诺;弗朗西斯科·博塔纳 相关软件: GEX;几何画板;CoCoA… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
MnM公司 引用于2份文件(2002–2006) 软件作者: 玛丽亚·瓦尔加斯·维拉(Maria Vargas Vera);恩里科·莫塔;约翰·多明戈(John Domingue);马蒂亚·兰佐尼;亚瑟·斯图特;法比奥·塞拉维尼亚 相关软件: S-CREAM;AquaLog;数据库… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
地理SPARQL 3份文件引用(2015–2016) 软件作者: R.Battle、D.Kolas 相关软件: PelletSpatial;PostgreSQL;OrbisGIS… 主要字段: 计算机科学(68-XX)
SAMBO公司 引用于2份文件(2007–2022) 软件作者: 帕特里克·兰布里克斯;何坦 相关软件: WordNet;锚-项目;泡沫… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
斯泰克斯+ 3份文件引用(2010–2011) 软件作者: 安德烈亚·科尔哈斯(Andrea Kohlhase);迈克尔·科尔哈斯(Michael Kohlhase);克里斯托夫·兰格 相关软件: SPARQL;甾体;数学Dox… 主要字段: 计算机科学(68-XX)
验证日志 4份文件引用(2008–2018) 软件作者: 乔治·科埃略(Jorge Coelho),马里奥·弗洛里多(Mário Florido) 相关软件: CLP(柔性);定理;数学… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
AceRules公司 引用于2份文件(2013–2019) 软件作者: T·库恩。 相关软件: PENGASP;YACC;阿尔戈60 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
DRAGO公司 引用于2份文件(2009–2014) 软件作者: L.Serafini和A.Tamilin 相关软件: 赛车手;FaCT++;颗粒… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
国际航空航天局 3份文件引用(1996–2017) 软件作者: 唐杰;李娟子;陆红军;梁邦勇;黄晓彤;王克宏 相关软件: S-CREAM;引导数据库 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
ITTALKS公司 引用于2份文件(2001–2002) 软件作者: 佩里奇、菲利普;拉拉纳·卡加尔;陈,哈里;托利亚,苏夫林;邹有勇;蒂姆·菲宁(Tim Finin);Joshi,Anupam;彭云;成本,R.Scott;查尔斯·尼古拉斯 相关软件: —— 主要字段: 计算机科学(68-XX)
KAoS公司 引用于2份文件(2004) 软件作者: 安德烈·乌斯科(Andrzej Uszok);Jeffrey M.Bradshaw。;雷妮娅·杰弗斯 相关软件: —— 主要字段: 计算机科学(68-XX)
KnowledgeSeeker(知识搜索者) 引用于2份文件(1996–2011) 软件作者: Edward H.Y.Lim。;刘,James N.K。;Lee,Raymond S.T。 相关软件: Swoogle标志 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
LSCrawler(LS爬虫) 在0个文档中引用 软件作者: M.Yuvarani、N.C.S.N.Iyengar、A.Kannan 相关软件: Swoogle;SPARQL公司 主要字段: 系统论;控制(93-XX)
移动 3份文件引用(2006–2011) 软件作者: 梅胡尔·巴特(Mehul Bhatt);安德鲁·弗拉希夫;卡洛·沃特斯;温尼·拉哈尤;大卫·塔尼亚尔 相关软件: DAML+油 主要字段: 计算机科学(68-XX)
Ontobee公司 引用于2份文件(2014–2016) 软件作者: 左双祥、克里斯·蒙格尔、阿兰·拉特伯格、何永群 相关软件: 银河系;Aber-OWL;WebProtege… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
SemTrust公司 引用于2份文件(2006–2007) 软件作者: 王伟;曾国孙;袁璐来 相关软件: Globus工具包;行星实验室;Hypertool(超级工具) 主要字段: 计算机科学(68-XX)
森蒂洛 引用于2份文件(2017–2018) 软件作者: Recupero,D.R。;康索利,S。;Gangemi,A。;Nuzzolese,A.G。;D.斯帕帕尼亚托。 相关软件: NLTK;gensim;手套… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
阿伯OWL 1份文件引用(2016) 软件作者: Robert Hoehndorf、Luke Slater、Paul N Schofield、Georgios V Gkoutos 相关软件: 银河系;Ontobee;WebProtege… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
ARQ路径 引用于2份文件(2021) 软件作者: ARQMath实验室;扎尼比,R。;奥德,DW;阿加瓦尔,A。;Mansouri,B。;阿兰帕提斯,A。 相关软件: WebMIaS;Docker;sTeX… 主要字段: 计算机科学(68-XX)
HydroDesktop公司 在0个文档中引用 软件作者: 艾姆斯、D·P、霍斯堡、J·S、曹、Y、卡德莱克、J、怀特克、T、瓦伦丁、D 相关软件: WaterML;水云(HydroCloud) 主要字段: 计算机科学(68-XX)
R2D(R2D) 引用于2份文件(2009–2010) 软件作者: 拉马努贾姆,苏尼莎;阿努巴·古普塔;拉蒂弗·汗;巴瓦尼,图赖辛厄姆;史蒂文·赛达 相关软件: SPARQL;DataVision;D2RQ… 主要字段: 计算机科学(68-XX)
真实 引用于2份文件(2016年至2019年) 软件作者: 尼科斯·安杰洛普洛斯;萨默·阿卜杜拉;乔治·贾马斯 相关软件: 字符串;原苏铁岩;SWI-预测… 主要字段: 统计学(62-XX);计算机科学(68-XX)
Web主题 引用于2份文件(2002–2021) 软件作者: 马克·A·怀特(Mark A.Whiting)。;尼克·克莱默 相关软件: VOS查看器 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
dlvhex-sparql 1份文件引用(2013) 软件作者: Polleres,A.、Schindlauer,R。 相关软件: R2RML;乌龟;nSPARQL… 主要字段: 计算机科学(68-XX)
HybCore公司 1份文件引用(2020) 软件作者: 谢尔盖·冈查洛夫(Sergey Goncharov);内维斯(Neves)、雷纳托(Renato);何塞·普伦萨 相关软件: OCaml;GHCi;操作(U)… 主要字段: 计算机科学(68-XX)