Skip to content
Snippets Groups Projects
abstract.tex 619 B
Newer Older
  • Learn to ignore specific revisions
  • Andreas Schärtl's avatar
    Andreas Schärtl committed
    Organizational data extracted from mathematical libraries has the
    potential to be usable in the design of a universal search engine for
    mathematical knowledge. However, it is not enough to only extract this
    
    data into a unified format, it is also necessary to make this information
    easily available and queryable. The project \emph{ulo-storage}, which this report
    documents, aims to lay out the groundwork. We collect various pieces of
    
    Andreas Schärtl's avatar
    Andreas Schärtl committed
    exported data sets into a centralized and efficient store, make that
    storage engine available as a publicly available endpoint and then
    evaluate different ways of querying that store.