卢卡·帕多瓦尼;里卡多·索尔米 数学直接操作编辑的动态调查。 (英语) Zbl 1108.68599号 Asperti,Andrea(编辑)等人,《数学知识管理》。第三届国际会议,2004年MKM,2004年9月19日至21日,波兰比亚奥维埃。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23029-7/pbk)。计算机科学讲稿3119,302-316(2004)。 摘要:数学表达式是结构化信息的一部分,可以从文档创作的直接操作方法中受益。然而,不仅在创作工具的行为上存在分歧,而且这些行为往往设计不当,实现不当。这种情况导致了喜欢更经典编辑方法的用户的不满。在本文中,我们比较了几种最先进的数学内容编辑的行为,并尝试综合一套规则和原则,以使创作体验愉快而有效。关于整个系列,请参见[Zbl 1053.68003号]. 引用于2文件 MSC公司: 68立方英尺 知识表示 软件:数学类型;Aplusix-编辑器 PDF格式BibTeX公司 XML格式引用 \textit{L.Padovani}和\textit{R.Solmi},莱克特。注释计算。科学。3119302-316(2004;Zbl 1108.68599) 全文: DOI程序