我们将提供一个语法库,用不同的语言(自然语言或人工语言)表达数学。后一种情况发生在与计算机代数系统或自动推理机等数学软件交互时。
将介绍这种接口的两个应用程序,另一个应用程序是数学内容的多语言协作编辑。
找不到反向链接。