MathSeer: A Math-Aware Search Interface with Intuitive Formula Editing, Reuse, and Lookup
MathSeer: A Math-Aware Search Interface with Intuitive Formula Editing, Reuse, and Lookup
复制标题
DOI：
10.1007/978-3-030-45442-5_60
复制
发表时间：
2020-03-24
期刊：
影响因子：
--
通讯作者：
Zanibbi R
中科院分区：
文献类型：
--
作者：
Nishizawa G;Liu J;Diaz Y;Dmello A;Zhong W;Zanibbi R
对使用公式和关键词支持的数学意识搜索引擎的兴趣越来越多也存储在自动生成的URL中，可以保存所有芯片及其编辑历史记录，以避免重新输入公式，可以在用户输入其他公式时重复使用，编辑或用于创建其他公式。
There has been growing interest in math-aware search engines that support retrieval using both formulas and keywords. An important unresolved issue is the design of search interfaces: for wide adoption, they must be engaging and easy-to-use, particularly for non-experts. The MathSeer interface addresses this with straightforward formula creation, editing, and lookup. Formulas are stored in ‘chips’ created using handwriting, , and images. MathSeer sessions are also stored at automatically generated URLs that save all chips and their editing history. To avoid re-entering formulas, chips can be reused, edited, or used in creating other formulas. As users enter formulas, our novel autocompletion facility returns entity cards searchable by formula or entity name, making formulas easy to (re)locate, and descriptions of symbols and notation available before queries are issued.