数学ML swMATH ID: 30867 软件作者: Ausbrooks,R。;Buswell,S。;Dalmas,S。;德维特,S。;迪亚兹,A。;亨特·R。;B.史密斯。;Soiffer,N。;Sutor,R。;瓦特,S。 描述: MathML是一种用于Web及其他领域的数学和科学内容的低级规范。 主页: https://www.w3.org/数学/ 相关软件: MMT公司;OMDoc公司;Twelf公司;伊莎贝尔;拉丁语;质量管理团队;Coq公司;乳胶;米扎尔;数学软件;IMPS公司;STEXIDE公司;TNT基地;自动化;TPTP公司;PVS公司;CASL公司;LaTeXML;Isabelle/j编辑;数学溢出 引用于: 14文件 全部的 前5名被27位作者引用 7 佛罗里达州拉贝 6 迈克尔·科尔哈斯 3 富利亚·霍罗扎尔 1 拉兹万·阿里尼 1 Akiko N.Aizawa。 1 博格丹阿穆泽斯库 1 雅克·卡雷特 1 弗洛林·博格丹·埃普鲁阿努 1 Farmer,William M。 1 阿林·艾科布 1 君士坦丁·朱科维奇 1 北卡罗来纳州加里宁。 1 Fairouz D.卡马雷丁。 1 托马斯·诺特 1 安德烈亚·科尔哈斯 1 克雷奇·弗拉斯蒂米尔 1 克里斯蒂亚托、乔瓦尼·洋子 1 斯特凡·曼恩(Stefan A.Mann)。 1 布鲁斯·米勒。 1 明戈省Nghiem 1 迪·昆兰 1 拉杜·比阿特丽斯·米哈埃拉 1 米查尔·鲁齐卡 1 尼古拉·斯科沃尔佐夫(Nikolay A.Skvortsov)。 1 彼得·索伊卡 1 戈兰·托皮奇 1 Wells,Joe B。 全部的 前5名6篇连载文章中引用 1 数学生物科学 1 数学信使 1 信息与计算 1 洛巴切夫斯基数学杂志 1 计算机科学中的数学 1 泛逻辑 在5个字段中引用 12 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文