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）