In recent years, FCA has received significant attention from research communities of various
fields. Further, the theory of FCA is being extended into different frontiers and augmented …

Mathematical formulas are commonly used to demonstrate theories and basic fundamentals
in the Science, Technology, Engineering, and Mathematics (STEM) domain. The burgeoning …

When using a mathematical formula for search (query-by-expression), the suitability of
retrieved formulae often depends more upon symbol identities and layout than deep …

Formal concept analysis (FCA) is a mathematical framework for data analysis and
processing tasks. Based on the lattice and order theory, FCA derives the conceptual …

We report on the system design and NTCIR-Math-2 task results for the Tangent math-aware
search engine. Tangent uses a federated search over two indices: 1) a TF-IDF textual search …

Mathematical formulae in structural formats such as MathML and LaTeX are becoming
increasingly available. Moreover, repositories and websites, including ArXiv and Wikipedia …

Mathematical learning from digital libraries and the web is a challenging problem for people
with visual impairments and blindness. In this paper, we focus on developing the …

One of the first models to be proposed as a document index for retrieval purposes was a
lattice structure, decades before the introduction of Formal Concept Analysis. Nevertheless …

In recent years, the output of formal concept analysis has been widely spread in various
research fields for knowledge processing tasks. In this process, a major issues arises when …

Current mathematical search systems allow math expressions within a document to be
queried using math expressions and keywords. To accept such queries, math search …