Faceted search is one of the most practical ways to browse a large corpus of information. Information is categorized automatically for a given query and the user is given the opportunity to further refine his/her query. Many search engines offer a powerful faceted search engine, but only on the textual level. Faceted Search in the context of Math Search is still unexplored territory. In this paper, we describe one way of solving the faceted search problem in mathematics: by extracting recognizable formula schemata from a given set of formulae and using these schemata to divide the initial set into formula classes. Also, we provide a direct application by integrating this solution with existing services.
展开▼
机译:多面搜索是浏览大量信息集的最实用方法之一。针对给定查询自动对信息进行分类,并且为用户提供了进一步完善其查询的机会。许多搜索引擎提供了功能强大的多面搜索引擎,但仅在文本级别上。 Math Search上下文中的分面搜索仍然是未开发的领域。在本文中,我们描述了一种解决数学方面的多面搜索问题的方法:通过从给定的一组公式中提取可识别的公式模式,然后使用这些模式将初始集合划分为多个公式类。另外,我们通过将此解决方案与现有服务集成来提供直接的应用程序。
展开▼