Vlasov,D.Yu。 Smm,简化的元数学。 (俄语。英文摘要) Zbl 1289.68129号 维斯特。新西卜。戈斯。州立大学。马特·梅赫。通知。 12,第2期,13-25(2012). 小结:Smm是一种用于形式数学的计算机语言,旨在在形式层次上表示现代数学,并提供可信的证明验证。Smm是语言元数学的简化版本。描述了Smm的语法和语义。 MSC公司: 68吨15 定理证明(演绎、解析等)(MSC2010) 03B35型 证明和逻辑操作的机械化 68立方英尺 知识表示 关键词:形式数学;数学知识的呈现;自动校对 软件:小米;元数学 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Vlasov},维斯特恩。新西卜。戈斯。州立大学。马特·梅赫。通知。12、第2、13-25号(2012;Zbl 1289.68129)