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)…
MPTP 0.2 55份文件引用(2006–2021) 软件作者: 约瑟夫·乌尔班 相关软件: 米扎尔;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
GGobi公司 38篇文献引用(2003–2023) 软件作者: 黛比·斯韦恩;迪库克;邓肯寺朗;安德烈亚斯·布贾 相关软件: R;XGobi;ggplot2… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
分级环数据库 55份文件引用(2002–2024) 软件作者: 加文·布朗(Gavin Brown),亚历山大·卡斯普日克(Alexander Kasprzyk) 相关软件: 岩浆;麦考利2;聚乙烯… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-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)…
生物网格 33篇文献引用(2008–2023) 软件作者: C.Stark、B.Breitkreutz、T.Reguly、L.Boucher、A.Breitkreutz和M.Tyers 相关软件: KEGG;完整的;细胞景观… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
CDuce公司 48篇文献引用(2003–2020) 软件作者: 本扎肯,维罗尼克;朱塞佩·卡斯塔尼亚;阿兰·弗里希 相关软件: XDouce;XQuery;XPath… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
阿斯毫升 45篇文献引用(2001–2023) 软件作者: 微软研究;格里斯坎普,W。;古雷维奇·Y。 相关软件: 毫升;SpecExplorer;科拉特… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
FRGC公司 36篇文献引用(2006–2015) 软件作者: NIST标准 相关软件: 费雷特;AR面;CMU PIE… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-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;卢阿;SPARQL… 主要字段: 组合数学(05-XX);计算机科学(68-XX);数学教育(97-XX)
DAML+油 34份文件引用(2002–2009) 软件作者: 伊恩·霍洛克斯 相关软件: WordNet;swrl;三重… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
WSAT公司 29篇文献引用(2004–2019) 软件作者: 傅湘;布尔坦、特夫菲克;苏建文 相关软件: BPEL2PN;CADP;旋转… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
贾德克斯 22篇文献引用(2005–2023) 软件作者: Pokahr A.、Braubach L.、Lamersdorf W。 相关软件: 杰森;AgentSpeak;2APL… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
完整的 18篇文献引用(2006–2021) 软件作者: Hermjakob H、Montecchi-Palazzi L、Lewington C等人 相关软件: 细胞景观;生物网格;KEGG… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计学(62-XX)…
规则ML 22篇文献引用(2002–2022) 软件作者: 安德烈亚斯·埃伯哈特 相关软件: swrl;三重;沙达拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
X标记 8份文件引用(2003–2015) 软件作者: 阿尔布雷赫特·施密特(Albrecht Schmidt);Waas,Florian;马丁·克尔斯滕(Martin Kersten);迈克尔·凯里(Michael J.Carey)。;爱奥那州马诺莱斯库;拉尔夫·巴斯 相关软件: XPath;XQuery;被子… 主要字段: 组合数学(05-XX);计算机科学(68-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;内森·塔伦特;米歇尔·米尔斯(Michelle Mills),斯特劳特(Strout);帕特里克·亨巴赫(Patrick Heimbach);希尔,克里斯;卡尔·温施 相关软件: 锥体;ADIFR;ADOL-C… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
阿尔卑斯山 16篇文献引用(2009–2023) 软件作者: B.Bauer等人 相关软件: IT传感器;MCTDH;QuSpin… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
木材 7份文件引用(2002–2020) 软件作者: 贾加迪什,H.V。;Al-Khalifa,Shurug;查普曼(Adriane Chapman);Lakshmanan,Laks V.S。;安德鲁·尼尔曼;帕帕里佐斯(Paparizos)、斯特利奥斯(Stelios);吉格内什·M·帕特尔。;Srivastava,Divesh;努威Wiwatwattana;吴玉清;余聪 相关软件: XPath;XQuery;MS SQL Server… 主要字段: 计算机科学(68-XX)
VRPH公司 21篇文献引用(2010–2022) 软件作者: 克里斯·格罗尔;金色,布鲁斯;爱德华·瓦西尔 相关软件: VRP;LKH;禁忌搜索… 主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)
利克斯托 引用于9份文件(2001年至2022年) 软件作者: 罗伯特·鲍姆加特纳(Robert Baumgartner);塞尔吉奥·弗莱斯卡;乔治·戈特洛布 相关软件: 罗丹纳;XPath;数据日志… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-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)
托斯卡纳J 17篇文献引用(2004–2011) 软件作者: 彼得·贝克尔(Peter Becker);约阿希姆·赫雷斯 相关软件: 加利西亚;ConImp;JGraph… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…
TREX公司 19份文件引用(2003–2006) 软件作者: 詹姆斯·克拉克 相关软件: 小埃菲尔;Smalltalk;放松NG… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
XHSTT公司 19份文件引用(2014–2023) 软件作者: Post,Gerhard;杰弗里·金斯顿。;萨马德·艾哈迈迪;索菲亚·达斯卡拉基;克里斯托斯·戈戈斯;贾里·金加;努尔米(Nurmi)、西姆(Cimmo);穆斯利乌·奈斯雷特(Nysret Musliu);奈丽西娅·皮莱(Nelishia Pillay);哈罗德·桑托斯;安德烈亚·谢尔夫 相关软件: 目标;HSEval公司;RobinX… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
比尤蒂 16篇文献引用(2013–2022) 软件作者: Drummond AJ、Suchard MA、Xie D、Rambaut A 相关软件: 野兽;贝叶斯先生;猿… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
图形ML 14篇文献引用(2002–2021) 软件作者: 布兰德斯(Ulrik Brandes);艾格斯珀格,马库斯;伊凡·赫尔曼;Michael Himsolt;马歇尔·M·斯科特 相关软件: CGAL;GXL;汤姆… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计学(62-XX)…
InterProScan公司 6篇文献引用(2009–2022) 软件作者: E.Quevillon、V.Silventoinen、S.Pillai、N.Harte、N.Mulder、R.Apweiler、R.Lopez 相关软件: 爆炸;PSI-爆炸;UniProt… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
罗宾X 17篇文献引用(2020–2024) 软件作者: David van Bulck;鹅肉、干酪;Jörn Schönberger;马里奥·瓜亚尔多 相关软件: XHSTT;irace;古罗比… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
eXist(退出) 7份文件引用(2003–2017) 软件作者: 沃尔夫冈·迈尔 相关软件: XPath;XQuery;Globus工具包… 主要字段: 计算机科学(68-XX);量子理论(81-XX);生物学和其他自然科学(92-XX)
TreeRePair目录 15篇文献引用(2012–2023) 软件作者: 马库斯·洛伊、塞巴斯蒂安·马内斯、罗伊·门尼克 相关软件: X希尔;SDSL;github 主要字段: 组合数学(05-XX);计算机科学(68-XX)
图拉法勒 12份文件引用(2004–2012) 软件作者: 卡尔蒂基扬·巴尔干;Fornet,塞德里克;安德鲁·戈登(Andrew D.Gordon)。;里卡多·普切拉 相关软件: Spi2Java;ProVerify;AVISPA… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
拉马托 13份文件引用(2012–2021) 软件作者: 比约恩·盖勒;奥利弗·科尔布;安东尼奥·穆尔西 相关软件: 拉马托++;天然气液化气;古罗比… 主要字段: 总体主题;藏品(00-XX);变分法与最优控制;优化(49-XX);流体力学(76-XX)…
拉马托++ 13份文件引用(2016–2021) 软件作者: 安东尼奥·莫尔西、比约恩·盖勒、奥利弗·科尔布 相关软件: 天然气液化气;拉马托;SCIP… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);流体力学(76-XX)…
XIRQL公司 引用于2份文件(2009–2012) 软件作者: 诺伯特·福尔(Norbert Fuhr),凯·格罗·约翰尼(Kai Großjohann) 相关软件: XSEarch;XPath;XQuery… 主要字段: 计算机科学(68-XX)
ICENI公司 4份文件引用(2002–2010) 软件作者: Nathalie Furmento;安东尼·迈尔;斯蒂芬·麦高(Stephen McGough);史蒂文·纽豪斯(Steven Newhouse);托尼·菲尔德(Tony Field);约翰·达林顿 相关软件: Condor-G;仙人掌;网格信息软件… 主要字段: 计算机科学(68-XX)
梅西奥 5份文件引用(2022–2024) 软件作者: 尼科·施勒默;等。 相关软件: Gmsh;蟒蛇;FEniCS… 主要字段: 算子理论(47-XX);数值分析(65-XX);变形固体力学(74-XX)…
OSiL公司 10篇文献引用(2005–2022) 软件作者: 罗伯特·福勒;马军;基普·马丁 相关软件: AMPL;GAMS;LINDO… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
ADO公司。净值 6篇文献引用(2002–2012) 软件作者: 微软 相关软件: VisualStudio。网络;MySQL;ASP。NET… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…
iDynoR公司 11份文件引用(2014–2022) 软件作者: 基兰·奥尔登,Jan-Ulrich Kreft 相关软件: BiofilmSim;BacSim;Matlab… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
棱镜 4份文件引用(2009–2014) 软件作者: P.Rao、B.Moon 相关软件: ViST;XPath;XQuery… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
税务 6篇文献引用(2002–2013) 软件作者: 贾加迪什,H.V。;Lakshmanan,Laks V.S。;Srivastava,Divesh;基思·汤普森 相关软件: XPath;XQuery;XSEarch… 主要字段: 计算机科学(68-XX)
XMLTK(XMLTK) 7份文件引用(2003–2011) 软件作者: Avila-Campillo I、Green TJ、Gupta A、Onizuka M、Raven D、Suciu D 相关软件: XPath;无DoSE;石灰… 主要字段: 计算机科学(68-XX)
阿克拉 10篇文献引用(2005–2011) 软件作者: 乔瓦尼·佩祖洛(Giovanni Pezzulo);Gianguglielmo·卡尔维 相关软件: 古巴国防部;可可;黛安娜… 主要字段: 总体主题;藏品(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)
rneos公司 引用于9份文件(2013–2021) 软件作者: 伯恩哈德·普法夫 相关软件: 戈加奇;cccp;urca… 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
取消QL 10篇文献引用(2006–2018) 软件作者: 彼得·布内曼(Peter Buneman)、玛丽·费尔南德斯(Mary Fernandez)、丹·苏西乌(Dan Suciu) 相关软件: XPath;XQuery;减少… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
维基百科矿工 4份文件引用(2012–2019) 软件作者: 大卫·米尔恩(David Milne);伊恩·维滕 相关软件: 数据库;曼陀罗;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)
X规则 8份文件引用(2006–2018) 软件作者: 穆罕默德·扎基。;查鲁·C·阿加瓦尔。 相关软件: LIBSVM;CloseGraph;gSpan… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
数据包lib2 引用于9份文件(2007–2020) 软件作者: 萨恩多·费科特。;Jan C.Van,Der Veen 相关软件: Ts2pack;OR-库;SATO… 主要字段: 运筹学、数学规划(90-XX)
对象Py 在0个文档中引用 软件作者: 莫里茨·贝鲁瑟(Moritz Beyruther)、罗伯特·巴什(Robert Barsch)、利昂·克里斯彻(Lion Krischer)、托比亚斯·梅吉斯(Tobias Megies)、扬尼克·贝尔(Yannik Behr)、约阿希姆·沃瑟曼 相关软件: 蟒蛇;大熊猫;Ge0-计算… 主要字段: –
POEM公司 8份文件引用(2006–2022) 软件作者: 普罗旺斯大学;彼得·尼伯特(Peter Niebert);曲洪阳 相关软件: Uppaal;自旋蛋白;IF-2.0… 主要字段: 计算机科学(68-XX)
Qbox公司 5份文件引用(2010–2019) 软件作者: F.吉吉 相关软件: Quantum浓缩咖啡;蟒蛇;西北化工… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);量子理论(81-XX)…
QMCPACK(质量管理确认) 8份文件引用(2008–2022) 软件作者: J.Kim等人。 相关软件: 西北化工;S3D军团;KKRnano… 主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);数值分析(65-XX)…
服务器 5份文件引用(2014–2023) 软件作者: 哈德利·威克姆 相关软件: R;R工作室;knitr… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
ToX基因 4份文件引用(2011–2019) 软件作者: Barbosa,D.,Mendelzon,A.O.,Keenleyside,J.,Lyons,K.A。 相关软件: X标记;漏洞;Matlab… 主要字段: 统计学(62-XX);计算机科学(68-XX)
CLP(柔性) 7份文件引用(2007–2021) 软件作者: J.科埃略;M.弗洛里多 相关软件: 定理;Mathematica;验证日志… 主要字段: 数学逻辑与基础(03-XX);特殊功能(33-XX);计算机科学(68-XX)
墨西哥ML 6篇文献引用(2001年至2004年) 软件作者: 米塔科斯、西奥多罗斯;格尔加特苏利斯(Gergatsoulis),马诺利斯(Manolis);斯塔夫拉科斯、亚尼斯;伊奥安尼迪斯,埃夫斯塔提奥斯五世。 相关软件: – 主要字段: 计算机科学(68-XX)
罗恩 5份文件引用(2013–2019) 软件作者: 杨郑荣、丽贝卡·汤姆森、菲利普·麦克尼尔、罗伯特·埃斯努夫 相关软件: IUPred;环球图;FoldUnfold… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
X中心 5份文件引用(2013–2021) 软件作者: Coelho,J.、Florido,M。 相关软件: CLP(弹性);莫德;数学… 主要字段: 数学逻辑与基础(03-XX);特殊功能(33-XX);计算机科学(68-XX)
arXMLiv公司 6篇文献引用(2008–2015) 软件作者: 德扬·基涅夫、康斯坦丁·朱科夫斯基、斯特凡·安卡、米海·格里戈尔、卡塔琳·戴维、迈克尔·科尔哈斯 相关软件: LaTeXML;乳胶;ActiveMath… 主要字段: 计算机科学(68-XX)
复选标记 3份文件引用(2001–2021) 软件作者: 谢尔比·佩雷拉;斯维亚托斯拉夫·沃洛希诺夫斯基;玛丽贝·马杜诺(Maribel Madueno);圣埃芬马尔坎德·梅利特;蒂埃里·潘恩 相关软件: Matlab;中兴;斯特马克 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)
资料收集库 6篇文献引用(2006–2011) 软件作者: Walsh,N.,Muellner,L。 相关软件: LeActiveMath;OMDoc;ActiveMath… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);数学教育(97-XX)
FIMO公司 5份文件引用(2016–2019) 软件作者: Grant CE、Bailey TL、Noble WS 相关软件: KEGG;R;UniPROBE… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计学(62-XX)…
XML间谍 3份文件引用(2005–2016) 软件作者: 阿尔托瓦 相关软件: OSiL;GAMS;AMPL… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
Xproj公司 3份文件引用(2010–2011) 软件作者: Aggarwal,C.C.,Ta,N.,Wang,J.,Feng,J..,Zaki,M.J。 相关软件: BIDE;PrefixSpan;CloSpan… 主要字段: 统计学(62-XX);计算机科学(68-XX)
ARIA公司 4份文件引用(2013年至2018年) 软件作者: Linge,J.P.、Habeck,M.、Rieping,W.、Nilges,M。 相关软件: 中枢神经系统;Xplor-NIH;CHARMM… 主要字段: 运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)