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）