法鲁兹卡马雷丁;罗伯特·拉马尔;曼努埃尔·马雷克;威尔斯，J.B。 将自然语言还原为计算机化的数学输入方法。 （英语） Zbl 1202.68383号 Kauers，Manuel（编辑）等人，《走向机械化数学助手》。2007年6月27日至30日，第14次研讨会，2007年Calculemus，第6次国际会议，2007年MKM，奥地利哈根堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73083-5/pbk）。计算机科学课堂讲稿4573。《人工智能课堂讲稿》，280-295（2007）。 摘要：计算机化数学的方法在数学家中几乎没有吸引力，因为它们需要典型数学家所没有的额外技能。我们在此建议通过恢复自然语言作为数学创作的主要媒介，使计算机化数学与数学家相协调。我们的方法将文本的部分内容与语法论证角色相关联，并将数学家的非正式数学风格计算机化。通常不接受典型的缩写，如方程的聚合（a=b>c），作为计算机语言的输入。我们提出了具体的注释来解释这种自然语言风格的形态，接受这种风格的输入，并在计算机中扩展这种输入以获得预期的表示（即，\（a=b\）和\（b>c\））。我们将此方法命名为syntax-souring，而不是通常的语法加糖。所有结果都在基于吨E类X（X）\（_{text{MACS}}）作为MathLang核心语法方面的GUI，这是一个由ULTRA小组开发的用于计算机化和形式化数学的框架。有关整个系列，请参见[Zbl 1119.68011号]. 引用于2文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 第68页第50页 自然语言处理 68单位15 文本处理的计算方法；数学排版 软件：伊萨尔;米扎尔 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}等人，Lect。注释计算。科学。4573280-295（2007年；Zbl 1202.68383） 全文： 内政部