×

数学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文件

按年份列出的引文