A lattice-based approach for mathematical search using Formal Concept Analysis
Mathematical (or math) search is a challenging problem as math expressions are highly symbolic and structured. The vast majority of math search systems that adopt conventional text retrieval techniques are ineffective in searching math expressions. In this paper, we propose a lattice-based approach...
Main Authors: | Nguyen, Tam T., Hui, Siu Cheung, Chang, Kuiyu |
---|---|
Other Authors: | School of Computer Engineering |
Format: | Journal Article |
Language: | English |
Published: |
2013
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/97798 http://hdl.handle.net/10220/11240 |
Similar Items
-
A math-aware search engine for math question answering system
by: Chang, Kuiyu, et al.
Published: (2013) -
Formalizing mathematics in LEAN
by: Liu, Yufei
Published: (2024) -
Server-aided revocable predicate encryption : formalization and lattice-based instantiation
by: Ling, San, et al.
Published: (2021) -
Reverse mathematics in lattice theory
by: Ru, Junren
Published: (2018) -
Web-based mathematics assessment system
by: Loh, Mun Wah
Published: (2014)