×

虚假消歧错误检测。 (英语) Zbl 1202.68410号

Kauers,Manuel(编辑)等人,《走向机械化数学助手》。2007年6月27日至30日,第14次研讨会,微积分2007,第6次国际会议,MKM 2007,奥地利哈根贝格。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73083-5/pbk)。计算机科学课堂讲稿4573。人工智能课堂讲稿,381-392(2007)。
摘要:公式输入的消歧方法使用户能够以简洁的语法键入正确的公式,接近于通常的模糊数学符号。当涉及到不正确的公式时,我们只想显示与用户所指的解释相关的错误,隐藏与其他解释有关的错误(虚假错误)。
我们提出了一种识别虚假错误的启发式方法,该方法已与[C.Sacerdoti科恩S.扎奇罗利,“数学公式的高效歧义解析”,Lect。注释计算。科学。3119, 347–362 (2004;Zbl 1108.68602号)].
关于整个系列,请参见[Zbl 1119.68011号].

MSC公司:

68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用
全文: 内政部