MPTP 0.2 55份文件引用(2006–2021) 软件作者: 约瑟夫·乌尔班 相关软件: 米扎尔;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
eXist公司 7份文件引用(2003–2017) 软件作者: 沃尔夫冈·迈尔 相关软件: XPath;XQuery;Globus工具包… 主要字段: 计算机科学(68-XX);量子理论(81-XX);生物学和其他自然科学(92-XX)
XMLTK(XMLTK) 7份文件引用(2003–2011) 软件作者: Avila Campillo I、Green TJ、Gupta A、Onizuka M、Raven D、Suciu D 相关软件: XPath;无DoSE;石灰… 主要字段: 计算机科学(68-XX)
数学的计算机工具 3份文件引用(2018–2020) 软件作者: 安德烈·格雷纳-佩特;莫里茨·舒博茨(Moritz Schubotz);霍华德·S·科尔。;吉普,贝拉 相关软件: 乳胶;dh段;Mathoid… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
NFB标签 1份文件引用(2021) 软件作者: 斯梅塔宁、N.、Volkova、K.、Zabodaev、S.、Lebedev、M.、Ossadtchi、A 相关软件: 传奇;MNE;头脑风暴… 主要字段: 生物学和其他自然科学(92-XX)
SCRIBO公司 在0个文档中引用 软件作者: Lazzara,G.,Levillain,R.,Geraud,T.,Jacquelet,Y.,Marquegnies,J.,Crepin-Leblond,A 相关软件: AGORA;LAREX公司 主要字段: –
htm整齐 在0个文档中引用 软件作者: Bob Rudis、Dave Raggett、Charles Reitzel、Björn Höhrmann、Kenton Russell、Vadim Kiryukhin、Ivan Sagalaev、Julian Gruber 相关软件: – 主要字段: –