XPath(XPath) 205篇文献引用(2002年-2023年) 软件作者: w3.org网站 相关软件: XQuery;X标记;Oracle… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…
函数 69篇文献引用(2002年-2023年) 软件作者: w3.org网站 相关软件: XPath;X标记;Oracle… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…
X减少 53篇文献引用(2003–2020) 软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯) 相关软件: CDuce;XPath;PiDuce… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-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)…
CDuce公司 48篇文献引用(2003–2020) 软件作者: 本扎肯,维罗尼克;朱塞佩·卡斯塔尼亚;阿兰·弗里希 相关软件: XDouce;XQuery;XPath… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
阿斯毫升 45篇文献引用(2001–2023) 软件作者: 微软研究院;格里斯坎普,W。;古雷维奇·Y。 相关软件: 毫升;SpecExplorer;科拉特… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
PNML公司 30篇文献引用(1992–2022) 软件作者: 希拉,L.M。;Kordon,F。;佩特鲁奇,L。;Trèves,N。 相关软件: 沃夫兰;设计/CPN;CPN/工具… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)…
SMIL公司 10篇文献引用(2001–2016) 软件作者: W3.org网站 相关软件: XPath;Lua;SPARQL… 主要字段: 组合数学(05-XX);计算机科学(68-XX);数学教育(97-XX)
DAML+油 34份文件引用(2002–2009) 软件作者: 伊恩·霍洛克斯 相关软件: WordNet;swrl;三重… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
规则ML 22篇文献引用(2002–2022) 软件作者: 安德烈亚斯·埃伯哈特 相关软件: swrl;三重;Satallax… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
XS搜索 6篇文献引用(2009–2018) 软件作者: Cohen S、Mamou J、Kanza Y、Sagiv Y。 相关软件: XPath;XIRQL;XQuery… 主要字段: 计算机科学(68-XX)
CellML手机 17篇文献引用(2001–2021) 软件作者: 沃伦·赫德利。;梅兰妮·纳尔逊(Melanie R.Nelson)。;Bullivant,David P。;尼尔森,Poul F。 相关软件: 贞洁;日晷;COPASI… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
打开AD/F 23篇文献引用(2007–2022) 软件作者: Jean Utke;乌韦·诺曼;Mike Fagan;内森·塔伦特;米歇尔·米尔斯,斯特劳特;帕特里克·亨巴赫(Patrick Heimbach);克里斯·希尔(Chris Hill);卡尔·温施 相关软件: 锥体;ADIFR;ADOL-C… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-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)
Lore公司 6篇文献引用(2002–2010) 软件作者: McHugh J、Abiteboul S、Goldman R、Quass D、Widom J。 相关软件: XPath;XQuery;ViST… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
图形ML 14篇文献引用(2002–2021) 软件作者: 布兰德斯(Ulrik Brandes);马库斯·艾格尔斯佩格(Markus Eiglsperger);伊凡·赫尔曼;Michael Himsolt;马歇尔·M·斯科特 相关软件: CGAL;GXL;汤姆… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计学(62-XX)…
eXist公司 7份文件引用(2003–2017) 软件作者: 沃尔夫冈·迈尔 相关软件: XPath;XQuery;Globus工具包… 主要字段: 计算机科学(68-XX);量子理论(81-XX);生物学和其他自然科学(92-XX)
图拉法勒 12份文件引用(2004年至2012年) 软件作者: 卡尔蒂基扬·巴尔干;Fornet,塞德里克;安德鲁·戈登(Andrew D.Gordon)。;里卡多·普切拉 相关软件: Spi2Java;ProVerify;AVISPA… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
XIRQL公司 2份文件引用(2009–2012) 软件作者: 诺伯特·福尔(Norbert Fuhr),凯·格罗·约翰尼(Kai Großjohann) 相关软件: XSEarch;XPath;XQuery… 主要字段: 计算机科学(68-XX)
OSiL公司 10篇文献引用(2005–2022) 软件作者: 罗伯特·福勒;马军;基普·马丁 相关软件: AMPL;GAMS;LINDO… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
阿克拉 10篇文献引用(2005–2011) 软件作者: 乔瓦尼·佩祖洛(Giovanni Pezzulo);Gianguglielmo·卡尔维 相关软件: CUMODP;可可;戴恩… 主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-XX)…
数学Dox 10篇文献引用(2006–2014) 软件作者: A.M.Cohen、H.Cuypers、E.Reinaldo Barrero 相关软件: 动态数学;LeActiveMath;OMDoc… 主要字段: 几何(51-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…
RKWard公司 2份文件引用(2010年至2012年) 软件作者: Stefan Rödiger、Thomas Friedrichsmeier、Prasenjit Kapat、Meik Michalke 相关软件: R;Rcmdr;除尘器… 主要字段: 统计学(62-XX);计算机科学(68-XX)
取消QL 10篇文献引用(2006年至2018年) 软件作者: 彼得·布内曼(Peter Buneman)、玛丽·费尔南德斯(Mary Fernandez)、丹·苏西乌(Dan Suciu) 相关软件: XPath;XQuery;减少… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
维基百科矿工 4份文件引用(2012–2019) 软件作者: 大卫·米尔恩(David Milne);伊恩·维滕 相关软件: DBpedia;曼陀罗;BabelNet… 主要字段: 统计学(62-XX);计算机科学(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)
POEM公司 8份文件引用(2006–2022) 软件作者: 普罗旺斯大学;彼得·尼伯特(Peter Niebert);曲洪阳 相关软件: Uppaal公司;自旋蛋白;IF-2.0… 主要字段: 计算机科学(68-XX)
Qbox公司 5份文件引用(2010–2019) 软件作者: F.吉吉 相关软件: 量子浓缩咖啡;蟒蛇;西北化工… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);量子理论(81-XX)…
ToXgene公司 4份文件引用(2011–2019) 软件作者: Barbosa,D.,Mendelzon,A.O.,Keenleyside,J.,Lyons,K.A。 相关软件: X标记;漏洞;Matlab… 主要字段: 统计学(62-XX);计算机科学(68-XX)
X中心 5份文件引用(2013-2021) 软件作者: Coelho,J.、Florido,M。 相关软件: CLP(柔性);莫德;数学… 主要字段: 数学逻辑与基础(03-XX);特殊功能(33-XX);计算机科学(68-XX)
图形XML 5份文件引用(2001–2009) 软件作者: 伊凡·赫尔曼;马歇尔·M·斯科特 相关软件: 进度;GXL;MANET… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)
预测模型标记语言 3份文件引用(2011–2016) 软件作者: Graham Williams、Tridivesh Jena、Wen Qing Lin、Michael Hahsler(arules)、Zementis Inc、Hemant Ishwaran、Udaya B.Kogalur、Rajarshi Guha、Dmitriy Bolotov 相关软件: github;R;Apache Spark… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
俄罗斯DML 4份文件引用(2003–2010) 软件作者: 柏林技术大学、哥廷根州立大学图书馆、汉诺威技术信息图书馆。俄罗斯合作伙伴是莫斯科国家公共学术技术图书馆。 相关软件: —— 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)
X乌干达 4份文件引用(2005–2018) 软件作者: 布拉布兰德,克劳斯;莫勒,安德斯;迈克尔·施瓦茨巴赫。 相关软件: 放松NG;biXid;dk.brics.automon… 主要字段: 计算机科学(68-XX)
库xml2 2份文件引用(2007–2015) 软件作者: 丹尼尔·维拉德 相关软件: SWIG;数字Py;pugixml… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
LPFML公司 4份文件引用(2005–2016) 软件作者: 罗伯特·福勒;利奥·洛佩斯;基普·马丁 相关软件: AMPL;林多;近地天体… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
马科牌手表 3份文件引用(2013-2021) 软件作者: 迈克尔·拜耳 相关软件: PyCUDA;赛马拉松;Python… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
phyloXML 1份文件引用(2012) 软件作者: Han,M.V。;C.M.兹马塞克。 相关软件: RAxML;野兽;ATV… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
糖J 2份文件引用(2015–2020) 软件作者: Erdweg,S.、Rendel,T.、Kastner,C.、Ostermann,K。 相关软件: 孢子虫;JastAdd;Twelf… 主要字段: 计算机科学(68-XX)
转录器 2份文件引用(2001) 软件作者: 克劳德·巴拉斯;爱德华·杰弗里斯(Edouard Geoffrois);吴志彪;马克·利伯曼 相关软件: C4.5;S-PLUS;爵士乐… 主要字段: 计算机科学(68-XX)
玻璃钢 2份文件引用(2021–2022) 软件作者: 拉拉·里扎;克里斯托夫·伯格迈尔(Christoph Bergmeir);弗朗西斯科·埃雷拉;何塞·贝尼特斯 相关软件: R;fugeR;模糊R… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX)
HepML公司 2份文件引用(2010–2013) 软件作者: 贝洛夫,S。;杜德科,L。;Kekelidze,D。;A.谢尔斯特涅夫。 相关软件: 利庚醇;MadEvent;HELAC… 主要字段: 量子理论(81-XX);统计力学,物质结构(82-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;谷胱甘肽;spacetime… 主要字段: 统计学(62-XX)
JSBML公司 3份文件引用(2012–2021) 软件作者: Dräger,A.,Rodriguez,N.,Dumousseau,M.,Dörr,A.,Wrzodek,C.,Novère,N.L.,Zell,A.,Hucka,M。 相关软件: KEGG;MetaCyc;聚乙烯… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
KSACI公司 2份文件引用(2002–2009) 软件作者: Ryan L.阿尔伯克基。;Hübner,Jomi F。;德保拉(de Paula),古斯塔沃(Gustavo E.)。;Jaime S.Sichman。;Geber L.Ramalho。 相关软件: 跳跃 主要字段: 计算机科学(68-XX)
利庚醇 2份文件引用(2010–2013) 软件作者: 贝洛夫,S。;杜德科,L。;Kekelidze,D。;A.谢尔斯特涅夫。 相关软件: HepML;MadEvent;HELAC… 主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)
日志ML 3份文件引用(2002–2010) 软件作者: 约翰·普宁(John R.Punin)。;Krishnamoorthy,Mukkai S。;穆罕默德·扎基。 相关软件: gSpan;冲刺;SLIQ… 主要字段: 统计学(62-XX);计算机科学(68-XX)
开放式COR 3份文件引用(2020–2021) 软件作者: 艾伦·加尼;彼得·亨特 相关软件: 数学建模语言;MATCONT;CESE… 主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)
PiXL系列 1份文件引用(2007) 软件作者: 玛丽亚·德尔马·加拉多(del Mar Gallardo);马丁内斯,杰苏斯;佩德罗·梅里诺;努涅斯,巴勃罗;埃内斯托·皮门特尔 相关软件: 凯撒;CAESAR_SOLVE公司;班德拉… 主要字段: 计算机科学(68-XX)
SBRML公司 1份文件引用(2013) 软件作者: JO达达;斯帕西奇,I;巴顿,西北部;门德斯,P 相关软件: 虚拟细胞;KEGG;COPASI… 主要字段: 动力系统与遍历理论(37-XX);生物学和其他自然科学(92-XX)
调试工具 3份文件引用(2020–2021) 软件作者: Tikhomirov,S.等人。 相关软件: github;蓄意破坏;LLVM… 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
SXSLT公司 3份文件引用(2002–2005) 软件作者: 奥列格·基塞利约夫(Oleg Kiselyov);克里希纳穆提,施莱姆 相关软件: XPath;XQuery;Bigloo… 主要字段: 计算机科学(68-XX)
TeXOR公司 1份文件引用(2020) 软件作者: 科杰蒂尔·诺瓦格;Marit Limstrand;莱恩·米克勒伯斯特 相关软件: MongoDB;MS SQL Server;XPath… 主要字段: 计算机科学(68-XX)
PDE工具 1份文件引用(2005) 软件作者: Ali Khalili;阿米尔·贾拉利·比多利;穆罕默德·阿卜杜拉希·阿兹戈米 相关软件: Matlab公司 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…
RGG公司 在0个文档中引用 软件作者: Visne I、Dilaveroglu E、Vierlinger K、Lauss M、Yildiz A、Weinhaeusel A、Noehammer C、Leisch F、Kriegner A 相关软件: tcltk2;R;教学演示… 主要字段: ——
有线 2份文件引用(2001) 软件作者: Ballaminut,A。;Colonello,C。;Dönszelmann,M。;van Herwijnen,E。;科珀,D。;Korhonen,J。;利特马特,M。;Perl,J。;Theodorou,A。;怀特森,D。;E.沃尔夫。 相关软件: HepODBMS;根;GEANT4系列 主要字段: 计算机科学(68-XX);量子理论(81-XX)
XPTO公司 2份文件引用(2011) 软件作者: 弗拉维奥·费雷拉(Flávio Ferreira)、雨果·帕切科(Hugo Pacheco) 相关软件: XPath;哈斯克尔;Stratego… 主要字段: 计算机科学(68-XX)
ASDeX公司 1份文件引用(2018) 软件作者: 马明宇(Mingyu Ma)、拉尔斯·赫德里奇(Lars Hedrich)、克里斯汀·斯波勒(Christian Sporrer) 相关软件: MiniSat;通过;AMT… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
生物克隆 1份文件引用(2019) 软件作者: Plieskat J.、Rinaldi G.、Brindley P.J.、Jia X.、Potriquet J.、Bethony J.、Mulvenna J。 相关软件: BamTools;生物红宝石 主要字段: 生物学和其他自然科学(92-XX)
FAIMS移动 在0个文档中引用 软件作者: Brian Ballsun-Stanton、Shawn A.Ross、Adela Sobotkova、Penny Crook 相关软件: KoBo工具箱 主要字段: ——
GAPDoc公司 1份文件引用(2016) 软件作者: 弗兰克·吕贝克;Max Neunhöffer公司 相关软件: OpenDreamKit;github;LMFDB… 主要字段: 计算机科学(68-XX)
千兆比特 1份文件引用(2010) 软件作者: M.K.Satish、R.R.Joshi 相关软件: 爆破;包BLAST;GridBlast… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
基因环绕 1份文件引用(2002) 软件作者: Junko Tanoue;Noboru的Matoba;吉川,Masatoshi;植村顺介 相关软件: —— 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
KeLP公司 在0个文档中引用 软件作者: 西蒙·菲利斯;朱塞佩·卡斯特卢奇;乔瓦尼·达圣马蒂诺;亚历山德罗·莫希蒂;克罗齐,达尼洛;罗伯托·巴西利 相关软件: JKernelmachines;Scikit;JMLR MLOSS… 主要字段: ——