马塞姆 swMATH ID: 18579 软件作者： 罗斯·摩尔 描述： 通过“工具提示”丰富数学的语义。pdf-LaTex的包mathsem实现了一种为符号提供语义意义的方法，而不会给数学表达式的规范增加很大的语法负担。 主页： http://link.springer.com/chapter/10.1007%2F978-3-319-20615-8_24 相关软件： sTeX公司;乳胶;CTAN公司;pdf注释 引用于： 1文件 1位作者引用 1 罗斯·摩尔 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文