of papers as a unied mathematical knowledge space i.e. an interconnected graph of mathematical knowledge elements e.g. particular theorems or proofs in a paper that rely on (or refer to) dierent theorems , denitions , equations , or whichever elements described in the paper or elsewhere in the collection 4 / 16
logical structure: - Typical structural elements of scholarly papers in mathematics, and - relations between them, which are dened in the Mocassin ontology Resolving combinations of structured queries and full text queries e.g. - nd all the sections, each of which refers to a theorem that contains a keyword nite group Inference during query resolution - nd all the proofs, each of which depends (even transitively!) on a given lemma 5 / 16
VUZ. Matematika¿ in Russian from http://mathnet.ru Over 290K RDF triples Over 2300 theorems, 1700 proofs, 1400 lemmas, 500 denitions and other mathematical entities indexed 9 / 16